Pierre Yves Pillain

	2009
2		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
1		Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger: AADL Execution Semantics Transformation for Formal Verification. ICECCS 2008: 263-268

Coauthor Index

1	Thomas Abdoul	[1]
2	Benoit Baudry	[2]
3	Joël Champeau	[1]
4	Stephen Creff	[2]
5	Philippe Dhaussy	[1] [2]
6	Amine Raji	[2]
7	Jean-Charles Roger	[1]
8	Yves Le Traon	[2]