Philippe Dhaussy

	2011
14		Amine Raji, Philippe Dhaussy: Use Cases Modeling for Scalable Model-Checking. APSEC 2011: 65-72
13		Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol: Reducing State Explosion with Context Modeling for Model-Checking. HASE 2011: 130-137
12		Amine Raji, Philippe Dhaussy: Use Cases for Context Aware Model-Checking. MoDELS Workshops 2011: 202-216
11		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
10		Amine Raji, Philippe Dhaussy: User Context Models - A Framework to Ease Software Formal Verifications. ICEIS (3) 2010: 380-383
9		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
	2009
8		Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS 2009: 438-452
	2008
7		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
6		Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel: Un langage de contexte de preuve pour la validation formelle de modèles logiciels. CAL 2008: 173-189
5		Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger: AADL Execution Semantics Transformation for Formal Verification. ICECCS 2008: 263-268
	2007
4		Philippe Dhaussy, Frédéric Boniol: Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. Ingénierie des Systèmes d'Information 12(5): 133-157 (2007)
3		W. Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti: Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. L'OBJET 13(2-3): 79-110 (2007)
	2002
2		Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux: Extending the Translation from SDL to Promela. SPIN 2002: 79-94
	2001
1		Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote: Object Framework for Mission Control. ISAS-SCI (1) 2001: 100-105

Coauthor Index

1	Thomas Abdoul	[5]
2	Julien Auvray	[6]
3	Benoit Baudry	[8]
4	Stéphane de Belloy	[6]
5	Pierre Bieber	[7]
6	Frédéric Boniol	[3] [4] [6] [9] [11] [13]
7	Eric Bonnafous	[9] [11]
8	Franck Cassez	[2]
9	Joël Champeau	[1] [5]
10	Stephen Creff	[8]
11	Fabien Degroote	[1]
12	Xavier Dumas	[7] [9] [11]
13	Eric Landel	[6]
14	Laurent Latreille	[1]
15	Claire Pagetti	[3] [7]
16	Pierre Yves Pillain	[5] [8]
17	Armelle Prigent	[2]
18	Amine Raji	[8] [10] [12] [14]
19	Jean-Charles Roger	[5] [13]
20	Olivier H. Roux (Olivier Roux)	[2]
21	Laurent Sagaspe	[7]
22	W. Theurer	[3]
23	Yves Le Traon	[8]

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