Pascale Le Gall

2009
31	EE	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
2008
30	EE	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall: Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138
29	EE	Marie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239
28	EE	Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall: Graph Transformation for Topology Modelling. ICGT 2008: 147-161
27	EE	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: A Formal Definition of Complex Software. ICSEA 2008: 415-420
26	EE	Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall: Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41
25	EE	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
24	EE	Marie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications CoRR abs/0804.0970: (2008)
2007
23	EE	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
22	EE	Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Refinement Testing. TAP 2007: 131-148
21	EE	Alain Faivre, Christophe Gaston, Pascale Le Gall: Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106
20	EE	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	EE	Marc Aiguier, Karim Berkani, Pascale Le Gall: Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379
18	EE	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18
2005
17	EE	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil: A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50
16	EE	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	EE	Marc Aiguier, Christophe Gaston, Pascale Le Gall: Feature Logics and Refinement. APSEC 2002: 385-
12	EE	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	EE	Agnès Arnould, Pascale Le Gall: Test de conformité : une approche algébrique. Technique et Science Informatiques 21(9): 1219-1242 (2002)
2001
10	EE	Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand: Geometric Modelling with CASL. WADT 2001: 176-200
2000
9	EE	Sophie Coudert, Pascale Le Gall: A Reuse-Oriented Framework for Hierarchical Specifications. AMAST 2000: 438-453
1998
8	EE	Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121
1997
7	EE	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]
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	Rémy Cave	[14]
9	Jean-Paul Comet	[20] [28] [30]
10	Sophie Coudert	[6] [8] [9] [14] [15]
11	Catherine Dubois	[12]
12	Alain Faivre	[21] [25]
13	Jean-Pierre Gallois	[20]
14	Christophe Gaston	[13] [18] [21] [25]
15	Marie-Claude Gaudel	[24] [29]
16	Joan Hérisson	[31]
17	Helene Jouve	[15]
18	Ivan Junier	[31]
19	François Képès	[31]
20	Francis Klay	[14]
21	Franck Ledoux	[10] [12]
22	Delphine Longuet	[17] [23]
23	Mbarka Mabrouki	[27] [30]
24	Matthieu Manceny	[31]
25	Bruno Marre	[5] [16] [26]
26	Daniel Mateus	[20]
27	Jean-Marc Mota	[12]
28	Patricia Mouy	[26]
29	Farid Ouabdesselam	[14]
30	Mathieu Poudret	[28]
31	Nicolas Rapin	[18] [22]
32	Jean-Luc Richier	[14]
33	Assia Touil	[17] [18] [22] [25]
34	Nicky Williams	[26]