Pascale Le Gall

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 44

Top Topics

Distributed Systems

Symbolic Execution

Graph Transformation

Top Venues

Publications

Erwan Mahe, Christophe Gaston, Pascale Le Gall
Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. 232 (2024)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
An Efficient VCGen-based Modular Verification of Relational Properties. CoRR (2024)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR (2023)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN (2023)
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
Efficient computation of arbitrary control dependencies. Theor. Comput. Sci. 969 (2023)
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen
Symbolic Path-guided Test Cases for Models with Data and Time. CoRR (2023)
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
Symbolic Path-Guided Test Cases for Models with Data and Time. FACS (2023)
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
Inferring topological operations on generalized maps: Application to subdivision schemes. Graph. Vis. Comput. 6 (2022)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
Certified Verification of Relational Properties. IFM (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
An Efficient VCGen-Based Modular Verification of Relational Properties. ISoLA (1) (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
Certified Verification of Relational Properties. CoRR (2022)
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
Preserving consistency in geometric modeling with graph transformations. Math. Struct. Comput. Sci. 32 (3) (2022)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE (2022)
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari
Topological consistency preservation with graph transformation schemes. Sci. Comput. Program. 214 (2022)
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
Editorial. Softw. Qual. J. 30 (1) (2022)
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE@ICSE (2021)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
A structural operational semantics for interactions with a look at loops. CoRR (2021)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
A small-step approach to multi-trace checking against interactions. SAC (2021)
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops (2021)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Revisiting Semantics of Interactions for Trace Validity Analysis. FASE (2020)
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS (2020)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
A small-step approach to multi-trace checking against interactions. CoRR (2020)
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. ICST Workshops (2019)
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. TAP@FM (2019)
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
MetAcsl: Specification and Verification of High-Level Properties. TACAS (1) (2019)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Revisiting Semantics of Interactions for Trace Validity Analysis. CoRR (2019)
A. Joëlle Compaoré, Pascale Le Gall
A Proposal for a Language Combining Biochemical Rules and Topological Structure for Systems Biology. BIOINFORMATICS (2019)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
Self-composition to Prove Relational Properties in Annotated C Program. CoRR (2018)
Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
MetAcsl: Specification and Verification of High-Level Properties. CoRR (2018)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
Static and Dynamic Verification of Relational Properties on Self-composed C Code. TAP@STAF (2018)
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Formal Aspects Comput. 30 (1) (2018)
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
Fast Computation of Arbitrary Control Dependencies. FASE (2018)
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
Constraint-Based Oracles for Timed Distributed Systems. ICTSS (2017)
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF (2017)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
RPP: Automatic Proof of Relational Properties by Self-composition. TACAS (1) (2017)
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. ICGT (2017)
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. FASE (2016)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
Deductive Verification with Relational Properties. CoRR (2016)
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC (2016)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. 26 (4) (2016)
Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 320 (2016)
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. ICTSS (2015)
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. Tech. Sci. Informatiques 34 (5) (2015)
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) (2014)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops (2014)
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. ICGT (2014)
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
An LTL Model Checking Approach for Biological Parameter Inference. ICFEM (2014)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) (2014)
Christophe Gaston, Robert M. Hierons, Pascale Le Gall
An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS (2013)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS (2012)
Thomas Bellet, Agnès Arnould, Pascale Le Gall
Rule-based transformations for geometric modelling TERMGRAPH (2011)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
Timed Conformance Testing for Orchestrated Service Discovery. FACS (2011)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5 (3) (2011)
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)
Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu
Handling State-Machines Specifications with GATeL. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Delphine Longuet, Marc Aiguier, Pascale Le Gall
Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. 45 (4) (2010)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM (2010)
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)
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)
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
Graph Transformation for Topology Modelling. ICGT (2008)
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
A Formal Definition of Complex Software. ICSEA (2008)
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
Generation of All-Paths Unit Test with Function Calls. ICST (2008)
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES (2008)
Marie-Claude Gaudel, Pascale Le Gall
Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing (2008)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall
Property Preservation along Embedding of Biological Regulatory Networks. AB (2008)
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 Biosci. 127 (2) (2008)
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
Emergent Properties in Reactive Systems. APSEC (2008)
Marie-Claude Gaudel, Pascale Le Gall
Testing data types implementations from algebraic specifications CoRR (2008)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN (2007)
Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Refinement Testing. TAP (2007)
Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall
Modelling genetic regulatory networks from specified behaviours. BMC Syst. Biol. 1 (S-1) (2007)
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure
Topology-based Geometric Modelling for Biological Cellular Processes. LATA (2007)
Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall
Symbolic Modeling of Genetic Regulatory Networks. J. Bioinform. Comput. Biol. 5 (2b) (2007)
Alain Faivre, Christophe Gaston, Pascale Le Gall
Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES (2007)
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Test Purpose Definition. TestCom (2006)
Marc Aiguier, Karim Berkani, Pascale Le Gall
Feature Specification and Static Analysis for Interaction Resolution. FM (2006)
Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
A Temporal Logic for Input Output Symbolic Transition Systems. APSEC (2005)
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)
Helene Jouve, Pascale Le Gall, Sophie Coudert
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. FIW (2005)
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)
Agnès Arnould, Pascale Le Gall
Test de conformité : une approche algébrique. Tech. Sci. Informatiques 21 (9) (2002)
Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
Spécifications formelles du chanfreinage. Tech. Sci. Informatiques 21 (8) (2002)
Marc Aiguier, Christophe Gaston, Pascale Le Gall
Feature Logics and Refinement. APSEC (2002)
Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
Geometric Modelling with CASL. WADT (2001)
Sophie Coudert, Pascale Le Gall
A Reuse-Oriented Framework for Hierarchical Specifications. AMAST (2000)
Christophe Gaston, Marc Aiguier, Pascale Le Gall
Algebraic Treatment of Feature-oriented Systems. FIREworks (2000)
Karim Berkani, Pascale Le Gall, Francis Klay
An incremental method for the design of feature-oriented systems. FIREworks (2000)
Sophie Coudert, Gilles Bernot, Pascale Le Gall
Hierarchical Heterogeneous Specifications. WADT (1998)
Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
A Theory of Probabilistic Functional Testing. ICSE (1997)
Agnès Arnould, Pascale Le Gall, Bruno Marre
Dynamic Testing from Bounded Data Type Specifications. EDCC (1996)
Gilles Bernot, Sophie Coudert, Pascale Le Gall
Towards Heterogeneous Formal Specification. AMAST (1996)
Pascale Le Gall, Agnès Arnould
Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT (1995)
Gilles Bernot, Pascale Le Gall, Marc Aiguier
Label Algebras and Exception Handling. Sci. Comput. Program. 23 (2-3) (1994)
Gilles Bernot, Pascale Le Gall
Exception Handling and Term Labelling. TAPSOFT (1993)
Gilles Bernot, Pascale Le Gall
Label Algebras: A Systematic Use of Terms. COMPASS/ADT (1991)