Pierre-Alain Masson

	2011
14		Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson: Association of Under-Approximation Techniques for Generating Tests from Models. TAP 2011: 51-68
13		Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué: Generating tests from B specifications and dynamic selection criteria. Formal Asp. Comput. 23(1): 3-19 (2011)
	2010
12		Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: B Model Abstraction Combining Syntactic and Semantic Methods. ASM 2010: 408
11		Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson: Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops 2010: 54-61
10		Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: Syntactic Abstraction of B Models to Generate Tests. TAP 2010: 151-166
9		Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson: Syntactic Abstraction of B Models to Generate Tests CoRR abs/1004.1262: (2010)
	2009
8		Jacques Julliand, Pierre-Alain Masson, Emilie Oudot: Partitioned PLTL model-checking for refined transition systems. Inf. Comput. 207(6): 681-698 (2009)
	2008
7		Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152
6		Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Security Tests in Addition to Functional Tests. AST 2008: 41-44
	2007
5		Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois: Automatic generation of model based tests for a class of security properties. A-MOST 2007: 12-22
	2006
4		Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde: PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions CoRR abs/cs/0602040: (2006)
	2005
3		Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde: PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embedded Comput. Syst. 4(2): 267-301 (2005)
	2000
2		Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand: Modular Verification for a Class of PLTL Properties. IFM 2000: 398-419
	1999
1		Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir: Modular Verification of Dynamic Properties for Reactive Systems. IFM 1999: 89-108

Coauthor Index

1	Françoise Bellegarde (Françoise Bellegarde-Webb)	[3] [4]
2	Fabrice Bouquet	[11]
3	Pierre-Christophe Bué	[9] [10] [11] [12] [13] [14]
4	Samir Chouali	[3] [4]
5	Georges Debois	[5]
6	Eddie Jaffuel	[5]
7	Jacques Julliand	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
8	Hassan Mountassir	[1] [2]
9	Emilie Oudot	[8]
10	Jean-Chritophe Plessis	[5]
11	Nicolas Stouls	[9] [10] [12]
12	Régis Tissot	[6] [7] [13]

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