Xavier Dumas

	2011
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
	2010
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
	2008
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

Coauthor Index

1	Pierre Bieber	[1]
2	Frédéric Boniol	[2] [3]
3	Eric Bonnafous	[2] [3]
4	Philippe Dhaussy	[1] [2] [3]
5	Claire Pagetti	[1]
6	Laurent Sagaspe	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page