Après des études de Mathématiques à l'Université de Rennes1,
j'ai obtenu un DEA en Informatique, puis effectué une thèse en
Informatique de l'Université de Rennes 1, à l'Irisa sous la direction
de Claude Jard et Michel Raynal, et soutenue en 1991.
J'ai ensuite séjourné une année en tant qu'ingénieur de recherche au
Laboratoire de Recherche d'Alcatel à Marcoussis, en région Parisienne.
Au début 1993, je suis revenu à l'IRISA en obtenant un poste de Chargé
de Recherche INRIA dans l'équipe Pampa
où je suis resté 8 ans.
Depuis 2001, je suis responsable scientifique du projet Inria VerTeCS.
J'ai obtenu mon Habilitation à Diriger les Recherches en mars 2004. Le
document peut être téléchargé ici .
Une vidéo
et les
transparents sont également disponibles.
Mes travaux de recherche actuels concernent la vérification et
la
validation de systèmes réactifs:
Model-based
testing : modèles et théories du test de conformité de systèmes
réactifs,
synthèse automatique de tests par des techniques enumeratives ou
symboliques.
Diagnostic de Systèmes à Événements
Discrets :
modèles, théories, algorithmes pour la construction de diagnostiqueurs,
vérification de la diagnosabilité.
Sécurité: test de la sécurité,
diagnostic
pour la détection d'intrusion.
Vérification de systèmes communicants
asynchrones par analyse approchée.
TGV est un outil de génération de tests pour des modèles
de systèmes de transition étiquetés (LTS). La génération est guidée par
un objectif de test (automate) et basée sur une analyse de
co-accessibilité "à la volée" sur des LTS énumérés.
STG est un outil de génération de tests pour des modèles
de systèmes de transitions étendus par des variables et paramètres
(STS).
La génération de tests depuis un modèle de système et un objectif de
test est basée sur des transformations syntaxiques de modèles utilisant
une analyse approchée fournie par l'outil NBAC.