Thèmes de recherche

Mes travaux portent sur la modélisation et l'analyse de systèmes réactifs, critiques ou embarqués, comportant des aspects quantitatifs, notamment liés à l'écoulement du temps.

• Etude de modèles comme les automates temporisés ou hybrides, ou comme les réseaux de Petri temporels, en particulier pour les questions d'expressivité et de décidabilité. Modèles quantitatifs pour la sécurité. Problèmes de contrôle et de synthèse, problèmes de robustesse. Applications aux systèmes de transport automatisés.
• Etude des langages de spécification utilisés pour énoncer les propriétés de correction des systèmes. Ces langages sont étendus pour prendre en compte les informations quantitatives liées au temps, comme par exemple dans les propriétés de temps de réponse.

Sujet de stage de M2 - 2012-2013

Sécurité des systèmes : mesures de l'opacité et des fuites d'information, proposé avec J. Mullins, Ecole Polytechnique de Montréal.