Formal Methods for Systems Engineering Behavior Models
IEEE Transactions on Industrial Informatics (special issue on Formal Methods for Embedded Systems Design)
vol. 4(4), p. 280-291, novembre 2008

Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE
20^th International Symposium of the INCOSE (IS2010)
Chicago, IL, juillet 2010 (à paraître)

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
15^th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
York, UK, mars 2009

Formal Verification in System Design Process: from EFFBDs to Petri nets
18^th International Symposium of the INCOSE (IS2008)
Utrecht, juin 2008

Behavior Diagrams Model-Checking: Formal Methods Applied to Systems Engineering and Design
6^th Annual Conference on Systems Engineering Research (CSER08)
Los Angeles, CA, avril 2008

Usability of formal verification on EFFBD models: Applying Petri nets to Systems Engineering issues
17^th International Symposium of the INCOSE (IS2007)
San Diego, CA, juin 2007

Model checking for systems engineering: from EFFBDs to time Petri nets
8^e Journée des Doctorants (J-DOC08)
Nantes, avril 2008

Vérification dynamique et formelle d'un système décrit par son architecture fonctionnelle à l'aide de réseaux de Petri temporels (TPN) : promesses et perspectives
4^e Conférence de l'AFIS
Toulouse, France, mai 2006

On the formal verification of EFFBD models using a structural translation to time Petri nets
Rapport interne RI2007-3-3695, IRCCyN
Nantes, octobre 2007 (révisé en avril 2008)

Vérification des EFFBDs : Model checking en Ingénierie Système
Thèse de doctorat
Université de Nantes, novembre 2009

Étude de la traduction de diagrammes de type EFFBD en réseaux de Petri temporels
Rapport de master
École Centrale de Nantes, septembre 2006

Étude des représentations haut-niveau en Ingénierie Système et de leur aptitude à supporter des vérifications formelles
Séminaire bibliographique
École Centrale de Nantes, mai 2006