Pascale Le Gall

	2011
40		Thomas Bellet, Agnès Arnould, Pascale Le Gall: Rule-based transformations for geometric modelling TERMGRAPH 2011: 20-37
39		Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard: Embedding of Biological Regulatory Networks and Property Preservation. Mathematics in Computer Science 5(3): 263-288 (2011)
	2010
38		Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli: Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM 2010: 257-267
37		Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall: Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International 2010: 100-112
36		Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu: Handling State-Machines Specifications with GATeL. Electr. Notes Theor. Comput. Sci. 264(3): 3-17 (2010)
35		Delphine Longuet, Marc Aiguier, Pascale Le Gall: Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reasoning 45(4): 437-473 (2010)
	2009
34		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
33		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
32		Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall: Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138
31		Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: Emergent Properties in Reactive Systems. APSEC 2008: 273-280
30		Marie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239
29		Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall: Graph Transformation for Topology Modelling. ICGT 2008: 147-161
28		Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: A Formal Definition of Complex Software. ICSEA 2008: 415-420
27		Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall: Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41
26		Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
25		Marie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications CoRR abs/0804.0970: (2008)
	2007
24		Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
23		Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure: Topology-based Geometric Modelling for Biological Cellular Processes. LATA 2007: 497-508
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] [24] [28] [31] [32] [34] [35] [39]
2	Olivier Andrieu	[36]
3	Agnès Arnould	[4] [5] [10] [11] [12] [16] [23] [24] [29] [37] [40]
4	Thomas Bellet	[37] [40]
5	Karim Berkani	[14] [19]
6	Gilles Bernot	[1] [2] [3] [6] [7] [8]
7	Yves Bertrand	[10] [12]
8	Benjamin Blanc	[36]
9	Clément Boin	[16]
10	Laurent Bouaziz	[7]
11	Ana R. Cavalli	[33] [38]
12	Rémy Cave	[14]
13	Jean-Paul Comet	[20] [23] [29] [32] [39]
14	Sophie Coudert	[6] [8] [9] [14] [15]
15	Catherine Dubois	[12]
16	Jose Pablo Escobedo	[33] [38]
17	Alain Faivre	[21] [26]
18	Laurent Fuchs	[37]
19	Jean-Pierre Gallois	[20]
20	Christophe Gaston	[13] [18] [21] [26] [33] [38]
21	Marie-Claude Gaudel	[25] [30]
22	Joan Hérisson	[34]
23	Helene Jouve	[15]
24	Ivan Junier	[34]
25	Christophe Junke	[36]
26	François Képès	[34]
27	Francis Klay	[14]
28	Franck Ledoux	[10] [12]
29	Delphine Longuet	[17] [24] [35]
30	Mbarka Mabrouki	[28] [31] [32] [39]
31	Matthieu Manceny	[34]
32	Bruno Marre	[5] [16] [27] [36]
33	Daniel Mateus	[20]
34	Philippe Meseure	[23]
35	Jean-Marc Mota	[12]
36	Patricia Mouy	[27]
37	Farid Ouabdesselam	[14]
38	Mathieu Poudret	[23] [29] [37]
39	Nicolas Rapin	[18] [22]
40	Adrien Richard	[39]
41	Jean-Luc Richier	[14]
42	Assia Touil	[17] [18] [22] [26]
43	Nicky Williams	[27]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page