Domaine de recherche

• Méthodes formelles
• Test et vérification à base de modèles
• Cybersécurité
• Systèmes évolutifs
• Systèmes à base d'apprentissage automatique
• Logiques temporelles et machine à états-finis

Publications

Outils

DfsmExtractor est un outil interactif qui assiste un expert dans la tache d'extraction d'un oracle précis à d'un oracle imprecis qui représente grand nombre d'oracles précis potentiels.