Jean-Pierre Gallois

	2008
6		Sébastien Labbé, Jean-Pierre Gallois: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Asp. Comput. 20(6): 563-595 (2008)
	2007
5		Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200
4		Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall: Symbolic Modeling of Genetic Regulatory Networks. J. Bioinformatics and Computational Biology 5(2b): 627-640 (2007)
	2004
3		David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut: Automated Functional Test Case Synthesis from THALES industrial Requirements. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 104-111
2		David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier: Validation and automatic test generation on UML models: the AGATHA approach. STTT 5(2-3): 124-139 (2004)
	2003
1		Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin: Automatic Test Generation with AGATHA. TACAS 2003: 591-596

Coauthor Index

1	Céline Bigot	[1] [2]
2	Jean-Paul Comet	[4]
3	Hubert Dubois	[3]
4	Alain Faivre	[1]
5	Pascale Le Gall	[4]
6	Sébastien Gérard (Sebastien Gerard)	[2]
7	Sébastien Labbé	[5] [6]
8	Arnault Lapitre	[1]
9	David Lugato	[1] [2] [3]
10	Frédéric Maraux	[3]
11	Daniel Mateus	[4]
12	Clémentine Nebut	[3]
13	Véronique Normand	[3]
14	Jean-Yves Pierron	[1] [3]
15	Marc Pouzet	[5]
16	Nicolas Rapin	[1]
17	François Terrier	[2]
18	Yves Le Traon	[3]
19	Yannick Valot	[2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page