Thèses en cours

Co-Verification of Parametric Timed Automata and Event-B Models
GWEUGNA Gibris
Directeur(s) : PETRUCCI Laure, MALLET Frédéric
Date debut : 2025

Efficient lightweight verification of cyberphysical systems
TA QUANG Minh
Directeur(s) : ANDRE Etienne, PETRUCCI Laure
Date debut : 2025

Thèses soutenues