Pascale Le Gall

	2009
33		Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès: Spatial Information and Boolean Genetic Regulatory Networks. BICoB 2009: 270-281
32		Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli: Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES 2009: 217-222
	2008
31		Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall: Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138
30		Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: Emergent Properties in Reactive Systems. APSEC 2008: 273-280
29		Marie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239
28		Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall: Graph Transformation for Topology Modelling. ICGT 2008: 147-161
27		Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: A Formal Definition of Complex Software. ICSEA 2008: 415-420
26		Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall: Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41
25		Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
24		Marie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications CoRR abs/0804.0970: (2008)
	2007
23		Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
22		Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Refinement Testing. TAP 2007: 131-148
21		Alain Faivre, Christophe Gaston, Pascale Le Gall: Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106
20		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)
	2006
19		Marc Aiguier, Karim Berkani, Pascale Le Gall: Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379
18		Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18
	2005
17		Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil: A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50
16		Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217
15		Helene Jouve, Pascale Le Gall, Sophie Coudert: An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. FIW 2005: 131-146
	2003
14		Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier: An Environment for Interactive Service Specification. FIW 2003: 25-41
	2002
13		Marc Aiguier, Christophe Gaston, Pascale Le Gall: Feature Logics and Refinement. APSEC 2002: 385-
12		Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand: Spécifications formelles du chanfreinage. Technique et Science Informatiques 21(8): 1073-1098 (2002)
11		Agnès Arnould, Pascale Le Gall: Test de conformité : une approche algébrique. Technique et Science Informatiques 21(9): 1219-1242 (2002)
	2001
10		Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand: Geometric Modelling with CASL. WADT 2001: 176-200
	2000
9		Sophie Coudert, Pascale Le Gall: A Reuse-Oriented Framework for Hierarchical Specifications. AMAST 2000: 438-453
	1998
8		Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121
	1997
7		Gilles Bernot, Laurent Bouaziz, Pascale Le Gall: A Theory of Probabilistic Functional Testing. ICSE 1997: 216-226
	1996
6		Gilles Bernot, Sophie Coudert, Pascale Le Gall: Towards Heterogeneous Formal Specification. AMAST 1996: 458-472
5		Agnès Arnould, Pascale Le Gall, Bruno Marre: Dynamic Testing from Bounded Data Type Specifications. EDCC 1996: 285-302
	1995
4		Pascale Le Gall, Agnès Arnould: Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT 1995: 342-358
	1994
3		Gilles Bernot, Pascale Le Gall, Marc Aiguier: Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994)
	1993
2		Gilles Bernot, Pascale Le Gall: Exception Handling and Term Labelling. TAPSOFT 1993: 421-436
	1991
1		Gilles Bernot, Pascale Le Gall: Label Algebras: A Systematic Use of Terms. COMPASS/ADT 1991: 144-163

Coauthor Index

1	Marc Aiguier	[3] [13] [16] [17] [19] [23] [27] [30] [31] [33]
2	Agnès Arnould	[4] [5] [10] [11] [12] [16] [23] [28]
3	Karim Berkani	[14] [19]
4	Gilles Bernot	[1] [2] [3] [6] [7] [8]
5	Yves Bertrand	[10] [12]
6	Clément Boin	[16]
7	Laurent Bouaziz	[7]
8	Ana R. Cavalli	[32]
9	Rémy Cave	[14]
10	Jean-Paul Comet	[20] [28] [31]
11	Sophie Coudert	[6] [8] [9] [14] [15]
12	Catherine Dubois	[12]
13	Jose Pablo Escobedo	[32]
14	Alain Faivre	[21] [25]
15	Jean-Pierre Gallois	[20]
16	Christophe Gaston	[13] [18] [21] [25] [32]
17	Marie-Claude Gaudel	[24] [29]
18	Joan Hérisson	[33]
19	Helene Jouve	[15]
20	Ivan Junier	[33]
21	François Képès	[33]
22	Francis Klay	[14]
23	Franck Ledoux	[10] [12]
24	Delphine Longuet	[17] [23]
25	Mbarka Mabrouki	[27] [30] [31]
26	Matthieu Manceny	[33]
27	Bruno Marre	[5] [16] [26]
28	Daniel Mateus	[20]
29	Jean-Marc Mota	[12]
30	Patricia Mouy	[26]
31	Farid Ouabdesselam	[14]
32	Mathieu Poudret	[28]
33	Nicolas Rapin	[18] [22]
34	Jean-Luc Richier	[14]
35	Assia Touil	[17] [18] [22] [25]
36	Nicky Williams	[26]