Xavier Dumas (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

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

Selection of 3 from 3 records - Xavier Dumas has 6 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous: Application of partial-order methods for the verification of closed-loop SDL systems. SAC 2011: 1666-1673
2		Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous: Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. SIES 2010: 197-200
1		Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy: Vers la génération de modèles de sûreté de fonctionnement. CAL 2008: 157-172