Thèmes de recherche
- Vérification et validation symboliques et à contraintes
- Systèmes à composants : reconfiguration et adaptation dynamique
- Vérification de workflows fondée sur la résolution de contraintes
- Abstraction et raffinement, préservation de propriétés temporelles
- Vérification de systèmes paramétrés
- Combinaison d'Approches pour la Sécurité des Systèmes Infinis
(notamment au sein de l'équipe-projet CASSIS, Inria/Nancy-Grand Est)- Analyse d'atteignabilité de systèmes infinis : réécriture et model-checking régulier
- Vérification de protocoles de sécurité
- Analyse de Web services