Home > Verimag > personal pages > Catherine Vigouroux

Research

Timing analysis (WCET)
CAOTIC project
W-SEPT project
Real-time and embedded systems

New publications

Some Recent Publications
- Akram Idani, Yves Ledru, German Vega: Formal model-driven security combining B-method and process algebra: The B4MSecure platform
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier: Function Synthesis for Maximizing Model Counting
- Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin: Specification and model-checking of space systems in the TASTE toolset

Contact | Site Map | Site powered by SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5236881

UGA

CNRS

INP Grenoble