Pascale Le Gall

Publications :

• Communication dans un congrès - 54 documents
• • Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Pascale Le Gall. High-Level Program Properties in Frama-C: Definition, Verification and Deduction, 2024-10. (https://inria.hal.science/hal-04663406v1)
  • Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. A framework for optimisation based stochastic process discovery, 2024-09-09. (https://hal.science/hal-04720353v1)
  • Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Finite Automata synthesis from interactions, 2024-04-14. (https://cea.hal.science/cea-04604956v1)
  • Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen. Symbolic Path-guided Test Cases for Models with Data and Time, 2023-10-19. (https://hal.science/hal-04486318v1)
  • Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould. Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique, 2023-06-05. (https://hal.science/hal-04185658v1)
  • Lionel Blatter, Nikolai Kosmatov, V. Prevosto, Pascale Le Gall. An efficient VCGen-based modular verification of relational properties, 2022-10-22. (https://cea.hal.science/cea-03768250v1)
  • Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. Certified verification of relational properties, 2022-06-07. (https://cea.hal.science/cea-03714381v1)
  • 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://cea.hal.science/cea-03179670v1)
  • Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. A small-step approach to multi-trace checking against interactions, 2021-03-22. (https://cea.hal.science/cea-04224612v1)
  • Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution, 2020-06-03. (https://cea.hal.science/cea-04486240v1)
  • 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://cea.hal.science/cea-02301892v1)
  • 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-02421125v1)
  • Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. MetAcsl: Specification and Verification of High-Level Properties, 2019-04-08. (https://cea.hal.science/cea-02019790v1)
  • 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://cea.hal.science/cea-01835470v1)
  • 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://cea.hal.science/cea-01835491v1)
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies, 2018-04-14. (https://centralesupelec.hal.science/hal-02539534v1)
  • Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall. Constraint-Based Oracles for Timed Distributed Systems, 2017-10-09. (https://inria.hal.science/hal-01678964v1)
  • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Symbolic execution of transition systems with function summaries, 2017-07-19. (https://cea.hal.science/cea-01810693v1)
  • 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-01817827v1)
  • L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto. RPP: Automatic proof of relational properties by self-composition, 2017-04-22. (https://cea.hal.science/cea-01808885v1)
  • 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://cea.hal.science/cea-01302826v1)
  • J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: Sound verification on relaxed slices, 2016-04-02. (https://cea.hal.science/cea-01808894v1)
  • 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-01333605v1)
  • 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://cea.hal.science/cea-01810689v1)
  • 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-01812121v1)
  • 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-01819841v1)
  • 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-01110747v1)
  • 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-01819866v1)
  • 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-01012851v1)
  • 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-01812124v1)
  • Christophe Gaston, Robert M. Hierons, Pascale Le Gall. An implementation relation and test framework for timed distributed systems, 2013-11-13. (https://cea.hal.science/cea-01810746v1)
  • 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://inria.hal.science/hal-01482398v1)
  • 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-00936743v1)
  • Thomas Bellet, Agnès Arnould, Pascale Le Gall. Rule-based transformations for geometric modeling, 2011-04. (https://hal.science/hal-00865432v1)
  • 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-01306744v1)
  • 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-00488171v1)
  • 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-01360755v1)
  • 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-00488533v1)
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling., 2008-09. (https://hal.science/hal-00341176v1)
  • Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil. Testing of Software and Communicating Systems, 2008-06-06. (https://centralesupelec.hal.science/hal-00289229v1)
  • 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://centralesupelec.hal.science/hal-00812184v1)
  • Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall. Generation of All-Paths Unit Test with Function Calls, 2008. (https://hal.science/hal-01810199v1)
  • 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-00348154v1)
  • 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-00353787v1)
  • 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-00348152v1)
  • Marc Aiguier, Karim Berkani, Pascale Le Gall. Feature specification and static analysis for interaction resolution, 2006-08-21. (https://hal.science/hal-00341977v1)
  • Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil. Symbolic execution techniques for test purpose definition, 2006. (https://hal.science/hal-00342082v1)
  • 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-00341980v1)
  • Pascale Le Gall. Testing from Abstract Data Type Specifications, 2005. (https://hal.science/hal-00342088v1)
  • 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-00341964v1)
  • 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-00342087v1)
  • Assia Touil, Christophe Gaston, Pascale Le Gall. Automatic generation of symbolic test purposes, 2005. (https://hal.science/hal-00342173v1)
  • 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-00342150v1)
  • F. Ledoux, Jean-Marc Mota, A. Arnould, Catherine Dubois, P. Le Gall, Yves Bertrand. Spécifications formelles du chanfreinage, 2001-01-01. (https://hal.science/hal-01124624v1)
• Article dans une revue - 21 documents
• • Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation, 2024. (https://cea.hal.science/cea-04604825v1)
  • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Efficient computation of arbitrary control dependencies, 2023-08. (https://hal.science/hal-04490333v1)
  • Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Interaction-based offline runtime verification of distributed systems, 2023. (https://cea.hal.science/cea-04228010v1)
  • Erwan Mahe, Christophe Gaston, Pascale Le Gall. Denotational and operational semantics for interaction languages : application to trace analysis, 2023. (https://cea.hal.science/cea-04258909v1)
  • Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall. Inferring topological operations on generalized maps: application to subdivision schemes, 2022-05-14. (https://hal.science/hal-03491856v2)
  • Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari. Topological consistency preservation with graph transformation schemes, 2022-02. (https://hal.science/hal-03380327v1)
  • Erwan Mahe, Christophe Gaston, Pascale Le Gall. Equivalence of denotational and operational semantics for interaction languages, 2022. (https://cea.hal.science/cea-04060492v1)
  • 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-03821122v1)
  • Erwan Mahe, Christophe Gaston, Pascale Le Gall. Revisiting semantics of interactions for trace validity analysis, 2020-04-17. (https://cea.hal.science/cea-04224596v1)
  • J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: certifiably sound verification on relaxed slices, 2018. (https://cea.hal.science/cea-01801601v1)
  • I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto. Symbolic execution of transition systems with function summaries, 2017. (https://cea.hal.science/cea-01808888v1)
  • Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specification correctness, 2016-06. (https://hal.science/hal-01318362v1)
  • 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-01819818v1)
  • Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation, 2011-04-01. (https://centralesupelec.hal.science/hal-00782867v1)
  • Delphine Longuet, Marc Aiguier, Pascale Le Gall. Proof-Guided Test Selection from First-Order Specifications with Equality, 2010-12-01. (https://centralesupelec.hal.science/hal-00782871v1)
  • 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-01137358v1)
  • Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki. Complex software systems : Formalization and Applications, 2009-01-01. (https://centralesupelec.hal.science/hal-00782879v1)
  • 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-00352003v1)
  • Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall. Symbolic modeling of genetic regulatory networks, 2007. (https://hal.science/hal-00293530v1)
  • 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-00352083v1)
  • Agnès Arnould, Pascale Le Gall. Test de conformité : une approche algébrique, 2002. (https://hal.science/hal-00352131v1)
• Chapitre d'ouvrage - 5 documents
• • Pascale Le Gall, Romain Pascual. Transformations de graphes décorés, 2023-06. (https://hal.science/hal-04187816v1)
  • 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://inria.hal.science/hal-01470156v1)
  • C. Gaston, P. Le Gall, N. Rapin, A. Touil. Symbolic Execution-Based Techniques for Conformance Testing, 2013. (https://cea.hal.science/cea-01818541v1)
  • Marie-Claude Gaudel, Pascale Le Gall. Testing data types implementations from algebraic specifications, 2008-04-07. (https://hal.science/hal-00270574v1)
  • 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-00353755v1)
• POSTER - 2 documents
• • Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall. Inference of geometric modeling operations, 2023-04-04. (https://hal.science/hal-04068329v1)
  • 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-03664618v1)
• Autre publication - 4 documents
• • Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Editorial, 2022-03. (https://cea.hal.science/cea-04129929v1)
  • 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-00341981v1)
  • 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-00342083v1)
  • Marc Aiguier, Christophe Gaston, Pascale Le Gall. Feature specification: a logic-independent approach, 2005. (https://hal.science/hal-00341979v1)
• Ouvrage - 1 document
• • Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Testing Software and Systems, 2019. (https://inria.hal.science/hal-02526347v1)
• Rapport - 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-01476860v1)
  • 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-01509832v1)
  • 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-01191890v1)
• 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://inria.hal.science/hal-01155626v1)