Recherche

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