Pascale Le Gall

pascale.legall [at] centralesupelec.fr

Résumé :

  • Professeur des Universités, Département Informatique, Section CNU 27
  • Directrice de l'ED Interfaces (573)

Mots clés :

  • Génie Logiciel, Méthodes formelles, Validation et vérification, Test de conformité, Modélisation des systèmes communicants temps-réel distribués, Modélisation géométrique à base topologique, Transformations de graphes

Publications :

  • Communication on a congress - 49 documents
    • 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-04185658)
    • 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-03768250)
    • Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. Certified verification of relational properties, 2022-06-07. (https://cea.hal.science/cea-03714381)
    • 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-03179670)
    • 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-04224612)
    • 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-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://cea.hal.science/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://cea.hal.science/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://cea.hal.science/cea-01835491)
    • Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies, 2018-04-14. (https://centralesupelec.hal.science/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://inria.hal.science/hal-01678964)
    • 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-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://cea.hal.science/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://cea.hal.science/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://cea.hal.science/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://cea.hal.science/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://cea.hal.science/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://inria.hal.science/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://centralesupelec.hal.science/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://centralesupelec.hal.science/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.science/hal-01124624)
  • Work chapter - 5 documents
    • Pascale Le Gall, Romain Pascual. Transformations de graphes décorés, 2023-06. (https://hal.science/hal-04187816)
    • 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-01470156)
    • C. Gaston, P. Le Gall, N. Rapin, A. Touil. Symbolic Execution-Based Techniques for Conformance Testing, 2013. (https://cea.hal.science/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)
  • 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-04068329)
    • 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 - 17 documents
    • 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-04228010)
    • Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari. Topological consistency preservation with graph transformation schemes, 2022-02. (https://hal.science/hal-03380327)
    • Erwan Mahe, Christophe Gaston, Pascale Le Gall. Equivalence of denotational and operational semantics for interaction languages, 2022. (https://cea.hal.science/cea-04060492)
    • 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)
    • Erwan Mahe, Christophe Gaston, Pascale Le Gall. Revisiting semantics of interactions for trace validity analysis, 2020-04-17. (https://cea.hal.science/cea-04224596)
    • 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-01801601)
    • I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto. Symbolic execution of transition systems with function summaries, 2017. (https://cea.hal.science/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://centralesupelec.hal.science/hal-00782867)
    • 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-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://centralesupelec.hal.science/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)
  • Other submission - 4 documents
  • Work - 1 document
  • 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