Pascale Le Gall

Publications :

• Communication on a congress - 46 documents
• • Lionel Blatter, Nikolai Kosmatov, V. Prevosto, Pascale Le Gall. An efficient VCGen-based modular verification of relational properties, 2022-10-22. (https://hal-cea.archives-ouvertes.fr/cea-03768250)
  • Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Methodology for Specification and Verification of High-Level Requirements with MetAcsl, 2021-05-17. (https://hal-cea.archives-ouvertes.fr/cea-03179670)
  • Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties, 2019-10-09. (https://hal-cea.archives-ouvertes.fr/cea-02301892)
  • Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks, 2019-04-22. (https://hal.science/hal-02421125)
  • Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. MetAcsl: Specification and Verification of High-Level Properties, 2019-04-08. (https://hal-cea.archives-ouvertes.fr/cea-02019790)
  • Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot. Static and Dynamic Verification of Relational Properties on Self-Composed C Code, 2018-06-27. (https://hal-cea.archives-ouvertes.fr/cea-01835470)
  • Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto. RPP : Preuve automatique de propriétés relationnelles par Self-Composition, 2018-06-13. (https://hal-cea.archives-ouvertes.fr/cea-01835491)
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies, 2018-04-14. (https://hal-centralesupelec.archives-ouvertes.fr/hal-02539534)
  • Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall. Constraint-Based Oracles for Timed Distributed Systems, 2017-10-09. (https://hal.inria.fr/hal-01678964)
  • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Symbolic execution of transition systems with function summaries, 2017-07-19. (https://hal-cea.archives-ouvertes.fr/cea-01810693)
  • Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions, 2017-07-18. (https://hal.science/hal-01817827)
  • L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto. RPP: Automatic proof of relational properties by self-composition, 2017-04-22. (https://hal-cea.archives-ouvertes.fr/cea-01808885)
  • Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey. Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems, 2016-05-17. (https://hal-cea.archives-ouvertes.fr/cea-01302826)
  • J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: Sound verification on relaxed slices, 2016-04-02. (https://hal-cea.archives-ouvertes.fr/cea-01808894)
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Coq a dit : fromage tranché ne peut cacher ses trous *, 2016-01-27. (https://hal.science/hal-01333605)
  • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts, 2015-11-23. (https://hal-cea.archives-ouvertes.fr/cea-01810689)
  • Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza. Security Weaknesses Detection by Symbolic Analysis of Scenarios, 2014-12-01. (https://hal.science/hal-01812121)
  • E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference, 2014-11-03. (https://hal.science/hal-01819841)
  • Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking, 2014-10-08. (https://hal.science/hal-01819866)
  • Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking, 2014-10-08. (https://hal.science/hal-01110747)
  • Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling, 2014-07-22. (https://hal.science/hal-01012851)
  • Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza. Designing Sequence Diagram Models for Robustness to Attacks, 2014-03-31. (https://hal.science/hal-01812124)
  • Christophe Gaston, Robert M. Hierons, Pascale Le Gall. An implementation relation and test framework for timed distributed systems, 2013-11-13. (https://hal-cea.archives-ouvertes.fr/cea-01810746)
  • Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall. Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, 2012-11-19. (https://hal.inria.fr/hal-01482398)
  • Thomas Bellet, Agnès Arnould, Pascale Le Gall. JERBOA : un modeleur géométrique à base de règles, 2012-01-11. (https://hal.science/hal-00936743)
  • Thomas Bellet, Agnès Arnould, Pascale Le Gall. Rule-based transformations for geometric modeling, 2011-04. (https://hal.science/hal-00865432)
  • Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Testing web service orchestrators in context : a symbolic approach, 2010-09-13. (https://hal.science/hal-01306744)
  • Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall. Designing a Topological Modeler Kernel: A Rule-Based Approach, 2010-06-21. (https://hal.science/hal-00488171)
  • Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Observability and controllability issues in conformance testing of Web service compositions, 2009-11-02. (https://hal.science/hal-01360755)
  • Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall. Transformations de graphes pour les opérations topologiques en modélisation géométrique, 2009-11. (https://hal.science/hal-00488533)
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling., 2008-09. (https://hal.science/hal-00341176)
  • Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil. Testing of Software and Communicating Systems, 2008-06-06. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00289229)
  • Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès. Spatial Information and Boolean Genetic Regulatory Networks., 2008-04-08. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00812184)
  • Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall. Generation of All-Paths Unit Test with Function Calls, 2008. (https://hal.science/hal-01810199)
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, Philippe Meseure. Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics, 2007-10. (https://hal.science/hal-00348154)
  • Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Test selection criteria for quantifier-free first-order specifications, 2007-04-17. (https://hal.science/hal-00353787)
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure. Topology-based Geometric Modelling for Biological Cellular Processes, 2007-03. (https://hal.science/hal-00348152)
  • Marc Aiguier, Karim Berkani, Pascale Le Gall. Feature specification and static analysis for interaction resolution, 2006-08-21. (https://hal.science/hal-00341977)
  • Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. Symbolic execution techniques for test purpose definition, 2006. (https://hal.science/hal-00342082)
  • Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A Temporal Logic for Input Output Symbolic Transition Systems, 2005-12-15. (https://hal.science/hal-00341980)
  • Hélène Jouve, Pascale Le Gall, Sophie Coudert. An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications, 2005. (https://hal.science/hal-00342087)
  • Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms, 2005. (https://hal.science/hal-00341964)
  • Assia Touil, Christophe Gaston, Pascale Le Gall. Automatic generation of symbolic test purposes, 2005. (https://hal.science/hal-00342173)
  • Daniel Mateus, Jean-Pierre Gallois, Pascale Le Gall. Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique, 2005. (https://hal.science/hal-00342150)
  • Pascale Le Gall. Testing from Abstract Data Type Specifications, 2005. (https://hal.science/hal-00342088)
  • F. Ledoux, Jean-Marc Mota, A. Arnould, Catherine Dubois, P. Le Gall, Yves Bertrand. Spécifications formelles du chanfreinage, 2001-01-01. (https://hal.archives-ouvertes.fr/hal-01124624)
• POSTER - 1 document
• • Romain Pascual, Hakim Belhaouari, Agnès Arnould, P Le Gall. A first step towards the inference of geological topological operations, 2022-04-25. (https://hal.science/hal-03664618)
• Article in a review - 14 documents
• • Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari. Topological consistency preservation with graph transformation schemes, 2022-02. (https://hal.science/hal-03380327)
  • Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual. Preserving consistency in geometric modeling with graph transformations, 2022. (https://hal.science/hal-03821122)
  • J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: certifiably sound verification on relaxed slices, 2018. (https://hal-cea.archives-ouvertes.fr/cea-01801601)
  • I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto. Symbolic execution of transition systems with function summaries, 2017. (https://hal-cea.archives-ouvertes.fr/cea-01808888)
  • Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specification correctness, 2016-06. (https://hal.science/hal-01318362)
  • Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa, 2015-10-30. (https://hal.science/hal-01819818)
  • Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation, 2011-04-01. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00782867)
  • Delphine Longuet, Marc Aiguier, Pascale Le Gall. Proof-Guided Test Selection from First-Order Specifications with Equality, 2010-12-01. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00782871)
  • Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall. Transformations de graphes pour les opérations topologiques en modélisation géométrique, 2010. (https://hal.science/hal-01137358)
  • Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki. Complex software systems : Formalization and Applications, 2009-01-01. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00782879)
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès. Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus, 2008-06. (https://hal.science/hal-00352003)
  • Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall. Symbolic modeling of genetic regulatory networks, 2007. (https://hal.science/hal-00293530)
  • Agnès Arnould, Pascale Le Gall. Test de conformité : une approche algébrique, 2002. (https://hal.science/hal-00352131)
  • Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand. Spécifications formelles du chanfreinage, 2002. (https://hal.science/hal-00352083)
• Work - 1 document
• • Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Testing Software and Systems, 2019. (https://hal.inria.fr/hal-02526347)
• Report - 3 documents
• • Thomas Bellet, Agnès Arnould, Pascale Le Gall. Constraint-preserving labeled graph transformations for topology-based geometric modeling, 2017-02-26. (https://hal.science/hal-01476860)
  • Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric modeling: consistency preservation using two-layered variable substitutions (extended version), 2017. (https://hal.science/hal-01509832)
  • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine, 2015. (https://hal.science/hal-01191890)
• PROCEEDINGS - 1 document
• • Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 2015-05. (https://hal.inria.fr/hal-01155626)
• Work chapter - 4 documents
• • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts, 2014. (https://hal.inria.fr/hal-01470156)
  • C. Gaston, P. Le Gall, N. Rapin, A. Touil. Symbolic Execution-Based Techniques for Conformance Testing, 2013. (https://hal-cea.archives-ouvertes.fr/cea-01818541)
  • Marie-Claude Gaudel, Pascale Le Gall. Testing data types implementations from algebraic specifications, 2008-04-07. (https://hal.science/hal-00270574)
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, Philippe Meseure, Jean-Marc Verbavatz, Alain Rambourg. Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus, 2008-01. (https://hal.science/hal-00353755)
• Other submission - 3 documents
• • Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A temporal logic for input output symbolic transition systems, 2005. (https://hal.science/hal-00341981)
  • Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. Generating test case from symbolic transition systems based on constrained unfolding, 2005. (https://hal.science/hal-00342083)
  • Marc Aiguier, Christophe Gaston, Pascale Le Gall. Feature specification: a logic-independent approach, 2005. (https://hal.science/hal-00341979)