Anne Etien
Le traçage des règles métier dans le code source
Automatic Generation of Attack Chains for Detecting and Preventing Software Vulnerability
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 of a Machine Learning Profile, or How to Integrate Semantics into Static Analyses