Anne Etien
Le traçage des règles métier dans le code source
Génération Automatique de Chaînes d’Attaque pour la Détection et la Prévention des Vulnérabilités Logicielles.
Echo-Debugging : méthodes et outils pour identifier et comprendre les bogues des logiciels
DSL et cartes scriptables pour la cartographie de système patrimoniaux
Abstraction d’un profil de machine learning ou comment intégrer de la sémantique dans les analyses statiques