Pascale Le Gall

111 papers A* 1A 1B 9C 14Misc 3Journal 37Unranked 45

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. Sci. Comput. Program. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2025	J	`jnl`	Path-guided conformance test case generation for models with data and time using symbolic execution techniques. Sci. Comput. Program. Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2025	C	`conf`	Program Synthesis for Geometric Modeling. LOPSTR Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould
2025	J	`jnl`	Specializing anti-unification for interaction models composition via gate connections. CoRR Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe
2025	—	`conf`	Statistical Bayesian Inference for Stochastic Process Discovery. QEST+FORMATS Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
2025	J	`jnl`	Statistical process discovery. CoRR Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
2024	—	`conf`	A Framework for Optimisation Based Stochastic Process Discovery. QEST+FORMATS Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
2024	J	`jnl`	A framework for optimisation based stochastic process discovery. CoRR Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
2024	J	`jnl`	An Efficient VCGen-based Modular Verification of Relational Properties. CoRR Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
2024	J	`jnl`	Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. Erwan Mahe, Christophe Gaston, Pascale Le Gall
2024	J	`jnl`	Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2024	—	`conf`	Finite Automata synthesis from Interactions. FormaliSE@ICSE Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024	—	`conf`	High-Level Program Properties in Frama-C: Definition, Verification and Deduction. ISoLA (3) Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
2024	J	`jnl`	Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024	J	`jnl`	Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. J. Object Technol. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	J	`jnl`	A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	J	`jnl`	Efficient computation of arbitrary control dependencies. Theor. Comput. Sci. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
2023	—	`conf`	Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	—	`conf`	Symbolic Path-Guided Test Cases for Models with Data and Time. FACS Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
2023	J	`jnl`	Symbolic Path-guided Test Cases for Models with Data and Time. CoRR Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
2022	—	`conf`	An Efficient VCGen-Based Modular Verification of Relational Properties. ISoLA (1) Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
2022	B	`conf`	Certified Verification of Relational Properties. IFM Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
2022	J	`jnl`	Certified Verification of Relational Properties. CoRR Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
2022	J	`jnl`	Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2022	J	`jnl`	Editorial. Softw. Qual. J. Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
2022	Misc	`conf`	Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE Erwan Mahe, Christophe Gaston, Pascale Le Gall
2022	J	`jnl`	Inferring topological operations on generalized maps: Application to subdivision schemes. Graph. Vis. Comput. Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
2022	J	`jnl`	Preserving consistency in geometric modeling with graph transformations. Math. Struct. Comput. Sci. Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
2022	J	`jnl`	Topological consistency preservation with graph transformation schemes. Sci. Comput. Program. Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari
2021	Misc	`conf`	A small-step approach to multi-trace checking against interactions. SAC Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2021	J	`jnl`	A structural operational semantics for interactions with a look at loops. CoRR Erwan Mahe, Christophe Gaston, Pascale Le Gall
2021	—	`conf`	Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2021	—	`conf`	Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE@ICSE Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
2020	J	`jnl`	A small-step approach to multi-trace checking against interactions. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2020	—	`conf`	Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2020	B	`conf`	Revisiting Semantics of Interactions for Trace Validity Analysis. FASE Erwan Mahe, Christophe Gaston, Pascale Le Gall
2019	—	`conf`	A Proposal for a Language Combining Biochemical Rules and Topological Structure for Systems Biology. BIOINFORMATICS A. Joëlle Compaoré, Pascale Le Gall
2019	—	`conf`	Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. ICST Workshops Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2019	—	`conf`	MetAcsl: Specification and Verification of High-Level Properties. TACAS (1) Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
2019	J	`jnl`	Revisiting Semantics of Interactions for Trace Validity Analysis. CoRR Erwan Mahe, Christophe Gaston, Pascale Le Gall
2019	—	`conf`	Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. TAP@FM Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
2019	C	`ed.`	Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings ICTSS Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
2018	J	`jnl`	Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Formal Aspects Comput. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
2018	B	`conf`	Fast Computation of Arbitrary Control Dependencies. FASE Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
2018	J	`jnl`	MetAcsl: Specification and Verification of High-Level Properties. CoRR Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
2018	J	`jnl`	Self-composition to Prove Relational Properties in Annotated C Program. CoRR Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
2018	—	`conf`	Static and Dynamic Verification of Relational Properties on Self-composed C Code. TAP@STAF Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
2017	C	`conf`	Constraint-Based Oracles for Timed Distributed Systems. ICTSS Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
2017	B	`conf`	Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. ICGT Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
2017	—	`conf`	RPP: Automatic Proof of Relational Properties by Self-composition. TACAS (1) Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
2017	—	`conf`	Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
2016	—	`ed.`	1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015 USE@FM Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
2016	B	`conf`	Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. FASE Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
2016	J	`jnl`	Deductive Verification with Relational Properties. CoRR Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
2016	J	`jnl`	Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
2016	C	`conf`	Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
2015	C	`conf`	Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. ICTSS Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
2015	—	`conf`	Preface. USE@FM Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
2015	J	`jnl`	Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Tech. Sci. Informatiques Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
2014	C	`conf`	An LTL Model Checking Approach for Biological Parameter Inference. ICFEM Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
2014	—	`conf`	Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2014	—	`conf`	Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
2014	B	`conf`	Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. ICGT Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
2014	—	`conf`	Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2013	C	`conf`	An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS Christophe Gaston, Robert M. Hierons, Pascale Le Gall
2012	C	`conf`	Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
2011	J	`jnl`	Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
2011	—	`conf`	Rule-based transformations for geometric modelling TERMGRAPH Thomas Bellet, Agnès Arnould, Pascale Le Gall
2011	—	`conf`	Timed Conformance Testing for Orchestrated Service Discovery. FACS Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
2010	—	`conf`	Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall
2010	—	`conf`	Handling State-Machines Specifications with GATeL. MBT@ETAPS Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu
2010	J	`jnl`	Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. Delphine Longuet, Marc Aiguier, Pascale Le Gall
2010	B	`conf`	Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
2009	—	`conf`	Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
2009	—	`conf`	Spatial Information and Boolean Genetic Regulatory Networks. BICoB Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès
2008	C	`conf`	A Formal Definition of Complex Software. ICSEA Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
2008	C	`conf`	Emergent Properties in Reactive Systems. APSEC Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
2008	A	`conf`	Generation of All-Paths Unit Test with Function Calls. ICST Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
2008	B	`conf`	Graph Transformation for Topology Modelling. ICGT Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
2008	—	`conf`	Property Preservation along Embedding of Biological Regulatory Networks. AB Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall
2008	—	`conf`	Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
2008	—	`conf`	Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing Marie-Claude Gaudel, Pascale Le Gall
2008	J	`jnl`	Testing data types implementations from algebraic specifications CoRR Marie-Claude Gaudel, Pascale Le Gall
2008	J	`jnl`	Topology-based abstraction of complex biological systems: application to the Golgi apparatus. Theory Biosci. Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès
2007	J	`jnl`	Modelling genetic regulatory networks from specified behaviours. BMC Syst. Biol. Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall
2007	C	`conf`	Symbolic Execution Techniques for Refinement Testing. TAP Pascale Le Gall, Nicolas Rapin, Assia Touil
2007	—	`conf`	Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES Alain Faivre, Christophe Gaston, Pascale Le Gall
2007	J	`jnl`	Symbolic Modeling of Genetic Regulatory Networks. J. Bioinform. Comput. Biol. Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall
2007	—	`conf`	Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
2007	C	`conf`	Topology-based Geometric Modelling for Biological Cellular Processes. LATA Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure
2006	B	`conf`	Feature Specification and Static Analysis for Interaction Resolution. FM Marc Aiguier, Karim Berkani, Pascale Le Gall
2006	—	`conf`	Symbolic Execution Techniques for Test Purpose Definition. TestCom Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
2005	C	`conf`	A Temporal Logic for Input Output Symbolic Transition Systems. APSEC Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
2005	—	`conf`	An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. FIW Helene Jouve, Pascale Le Gall, Sophie Coudert
2005	—	`conf`	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
2003	—	`conf`	An Environment for Interactive Service Specification. FIW Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
2002	C	`conf`	Feature Logics and Refinement. APSEC Marc Aiguier, Christophe Gaston, Pascale Le Gall
2002	J	`jnl`	Spécifications formelles du chanfreinage. Tech. Sci. Informatiques Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
2002	J	`jnl`	Test de conformité : une approche algébrique. Tech. Sci. Informatiques Agnès Arnould, Pascale Le Gall
2001	—	`conf`	Geometric Modelling with CASL. WADT Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
2000	—	`conf`	A Reuse-Oriented Framework for Hierarchical Specifications. AMAST Sophie Coudert, Pascale Le Gall
2000	—	`conf`	Algebraic Treatment of Feature-oriented Systems. FIREworks Christophe Gaston, Marc Aiguier, Pascale Le Gall
2000	—	`conf`	An incremental method for the design of feature-oriented systems. FIREworks Karim Berkani, Pascale Le Gall, Francis Klay
1998	—	`conf`	Hierarchical Heterogeneous Specifications. WADT Sophie Coudert, Gilles Bernot, Pascale Le Gall
1997	A*	`conf`	A Theory of Probabilistic Functional Testing. ICSE Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
1996	Misc	`conf`	Dynamic Testing from Bounded Data Type Specifications. EDCC Agnès Arnould, Pascale Le Gall, Bruno Marre
1996	—	`conf`	Towards Heterogeneous Formal Specification. AMAST Gilles Bernot, Sophie Coudert, Pascale Le Gall
1995	—	`conf`	Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT Pascale Le Gall, Agnès Arnould
1994	J	`jnl`	Label Algebras and Exception Handling. Sci. Comput. Program. Gilles Bernot, Pascale Le Gall, Marc Aiguier
1993	—	`conf`	Exception Handling and Term Labelling. TAPSOFT Gilles Bernot, Pascale Le Gall
1991	—	`conf`	Label Algebras: A Systematic Use of Terms. COMPASS/ADT Gilles Bernot, Pascale Le Gall