Thèmes de recherche

 

  • Adaptation et reconfiguration dynamique de systèmes complexes
     
    • Systèmes à composants et reconfiguration dynamique guidée par des propriétés
    • Feature Models et variabilité de systèmes logiciels
  • Vérification et validation symboliques et à contraintes

    • 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