New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. - Alexandre Hamez; Lom Hillah; Fabrice Kordon; Alban Linard; Emmanuel Paviot-Adet; Xavier Renault; Yann Thierry-Mieg (ACSD, 2006)

Design, modeling and analysis of ITS using UML and Petri Nets. - Fabien Bonnefoi; Lom-Messan Hillah; Fabrice Kordon; Xavier Renault (ITSC, 2007)

Formal Modeling of a Generic Middleware to Ensure Invariant Properties. - Xavier Renault; Jérôme Hugues; Fabrice Kordon (FMOODS, 2008)

From Model Driven Engineering to Verification Driven Engineering. - Fabrice Kordon; Jérôme Hugues; Xavier Renault (SEUS, 2008)

From AADL Architectural Models to Petri Nets: Checking Model Viability. - Xavier Renault; Fabrice Kordon; Jérôme Hugues (ISORC, 2009)

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. - Xavier Renault; Fabrice Kordon; Jérôme Hugues (IEEE International Workshop on Rapid System Prototyping, 2009)

Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis. (Using standardized, formal and semi-formal notations to design distributed real-time and embedded systems). - Xavier Renault (2009)