Xavier Dumas

According to our database, Xavier Dumas authored at least 3 papers between 2008 and 2011.

Collaborative distances:

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

2011

Application of partial-order methods for the verification of closed-loop SDL systems.

Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.

Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

2008

Vers la génération de modèles de sûreté de fonctionnement.

Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy

Proceedings of the Langages et Modèles à Objets, 2008