Méthodes formelles de modélisation et vérification des systèmes dynamiques complexes
 
Automates temporisés et réseaux de Petri temporels ainsi que leurs extensions hybrides et paramétriques
 
 
Thèmes de recherche
 
Méthodes formelles de modélisation et vérification des systèmes dynamiques complexes