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, November 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 (to appear)

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, March 2009

Formal Verification in System Design Process: from EFFBDs to Petri nets
18^th International Symposium of the INCOSE (IS2008)
Utrecht, June 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, April 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, June 2007

Model checking for systems engineering: from EFFBDs to time Petri nets
8^e Journée des Doctorants (J-DOC08)
Nantes, April 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, May 2006

On the formal verification of EFFBD models using a structural translation to time Petri nets
Internal report RI2007-3-3695, IRCCyN
Nantes, October 2007 (revised April 2008)

Vérification des EFFBDs : Model checking en Ingénierie Système
Ph.D. thesis
University of Nantes, November 2009

Étude de la traduction de diagrammes de type EFFBD en réseaux de Petri temporels
Master's thesis
École Centrale of Nantes, September 2006

Étude des représentations haut-niveau en Ingénierie Système et de leur aptitude à supporter des vérifications formelles
Literature review and synthesis
École Centrale of Nantes, May 2006