Recherche

Intérêts de recherche

• Modélisation et vérification de systèmes temps réel, de politiques de sécurité, de systèmes d'édition collaborative et de workflow.
• Model-checking de modèles temporisés
• Techniques d'ordre partiel
• Techniques d'abstraction
• Software model-checking, synthèse de contrôleurs

Unité(s) de recherche

• SQUIRREL, membre

Sujets CRSNG

• 2706  Génie logiciel
• 2720  Logiciel de systèmes informatiques
• 2705  Logiciels et développement
• 2714  Mathématiques de l'informatique