Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pascale Le Gall
2010 – today
- 2012
[c34]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall: Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS 2012: 119-135- 2011
- [j8]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)
- [c33]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall: Timed Conformance Testing for Orchestrated Service Discovery. FACS 2011: 133-150
- [c32]Thomas Bellet, Agnès Arnould, Pascale Le Gall: Rule-based transformations for geometric modelling. TERMGRAPH 2011: 20-37
- 2010
- [j7]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)
- [j6]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)
- [c31]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli: Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM 2010: 257-267
- [c30]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
2000 – 2009
- 2009
- [c29]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
- [c28]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
- [j5]Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès: Topology-based abstraction of complex biological systems: application to the Golgi apparatus. Theory in Biosciences 127(2): 79-88 (2008)
- [c27]Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall: Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138
- [c26]Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: Emergent Properties in Reactive Systems. APSEC 2008: 273-280
- [c25]Marie-Claude Gaudel, Pascale Le Gall: Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239
- [c24]Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall: Graph Transformation for Topology Modelling. ICGT 2008: 147-161
- [c23]Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: A Formal Definition of Complex Software. ICSEA 2008: 415-420
- [c22]Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall: Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41
- [c21]Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
- [i1]Marie-Claude Gaudel, Pascale Le Gall: Testing data types implementations from algebraic specifications. CoRR abs/0804.0970 (2008)
- 2007
- [j4]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)
- [c20]Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
- [c19]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
- [c18]Alain Faivre, Christophe Gaston, Pascale Le Gall: Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106
- [c17]Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Refinement Testing. TAP 2007: 131-148
- 2006
- [c16]Marc Aiguier, Karim Berkani, Pascale Le Gall: Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379
- [c15]Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18
- 2005
- [c14]Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil: A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50
- [c13]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
- [c12]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
- [c11]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
- [j3]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)
- [j2]Agnès Arnould, Pascale Le Gall: Test de conformité : une approche algébrique. Technique et Science Informatiques 21(9): 1219-1242 (2002)
- [c10]
- 2001
- [c9]Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand: Geometric Modelling with CASL. WADT 2001: 176-200
- 2000
- [c8]Sophie Coudert, Pascale Le Gall: A Reuse-Oriented Framework for Hierarchical Specifications. AMAST 2000: 438-453
1990 – 1999
- 1998
- [c7]Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121
- 1997
- [c6]Gilles Bernot, Laurent Bouaziz, Pascale Le Gall: A Theory of Probabilistic Functional Testing. ICSE 1997: 216-226
- 1996
- [c5]Gilles Bernot, Sophie Coudert, Pascale Le Gall: Towards Heterogeneous Formal Specification. AMAST 1996: 458-472
- [c4]Agnès Arnould, Pascale Le Gall, Bruno Marre: Dynamic Testing from Bounded Data Type Specifications. EDCC 1996: 285-302
- 1995
- [c3]Pascale Le Gall, Agnès Arnould: Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT 1995: 342-358
- 1994
- [j1]Gilles Bernot, Pascale Le Gall, Marc Aiguier: Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994)
- 1993
- [c2]
- 1991
- [c1]Gilles Bernot, Pascale Le Gall: Label Algebras: A Systematic Use of Terms. COMPASS/ADT 1991: 144-163
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-07 21:06 CET by the dblp team