Recherche

 

Thèmes de recherche

  • Vérification et validation symboliques et à contraintes
    • Abstraction et raffinement, préservation de propriétés temporelles
    • Vérification de systèmes paramétrés
    • Systèmes à composants : reconfiguration et adaptation dynamique
    • Vérification de workflows fondée sur la résolution de contraintes

  • 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