Xavier Renault

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Xavier Renault, Fabrice Kordon, Jérôme Hugues
From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC (2009)
Xavier Renault, Fabrice Kordon, Jérôme Hugues
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. IEEE International Workshop on Rapid System Prototyping (2009)
Fabrice Kordon, Jérôme Hugues, Xavier Renault
From Model Driven Engineering to Verification Driven Engineering. SEUS (2008)
Xavier Renault, Jérôme Hugues, Fabrice Kordon
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS (2008)
Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault
Design, modeling and analysis of ITS using UML and Petri Nets. ITSC (2007)
Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD (2006)