Xavier Renault

According to our database, Xavier Renault authored at least 7 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

PhD thesis, 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

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

From AADL Architectural Models to Petri Nets: Checking Model Viability.

Xavier Renault, Fabrice Kordon, Jérôme Hugues

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008

From Model Driven Engineering to Verification Driven Engineering.

Fabrice Kordon, Jérôme Hugues, Xavier Renault

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Formal Modeling of a Generic Middleware to Ensure Invariant Properties.

Xavier Renault, Jérôme Hugues, Fabrice Kordon

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Design, modeling and analysis of ITS using UML and Petri Nets.

Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault

Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006