Jean-François Molderez

	2007
5		Gautier Dallons, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Alvaro Arenas: An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations. SecureComm 2007: 217-222
4		Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van: Early verification and validation of mission critical systems. Formal Methods in System Design 30(3): 233-247 (2007)
	2005
3		Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van: Early Verification and Validation of Mission Critical Systems. Electr. Notes Theor. Comput. Sci. 133: 237-254 (2005)
	2004
2		Jean-François Molderez, Christophe Ponsard: Deriving Acceptance Tests from Goal Requirements. MOZ 2004: 78-88
	2003
1		André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van: FAUST: Formal Analysis Using Specification Tools. RE 2003: 350

Coauthor Index

1	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[5]
2	Gautier Dallons	[5]
3	Axel van Lamsweerde	[1] [3] [4]
4	Philippe Massonet	[1] [3] [4] [5]
5	Christophe Ponsard	[1] [2] [3] [4] [5]
6	André Rifaut	[1] [3] [4]
7	Pierre Stadnik	[1]
8	Hung Tran Van	[1] [3] [4]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page