Vers la génération de modèles de sûreté de fonctionnement. - Xavier Dumas; Claire Pagetti; Laurent Sagaspe; Pierre Bieber; Philippe Dhaussy (CAL, 2008)

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. - Xavier Dumas; Frédéric Boniol; Philippe Dhaussy; Eric Bonnafous (SIES, 2010)

Application of partial-order methods for the verification of closed-loop SDL systems. - Xavier Dumas; Philippe Dhaussy; Frédéric Boniol; Eric Bonnafous (SAC, 2011)

Application des méthodespar ordres-partielsà la vérification formellede systèmes asynchronesclos par un contexte :application à SDL. (Application des méthodespar ordres-partielsà la vérification formellede systèmes asynchronesclos par un contexte :application à SDL). - Xavier Dumas (2011)