Pascale Le Gall

Sci. Comput. Program., 2025

Statistical Bayesian Inference for Stochastic Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

Program Synthesis for Geometric Modeling.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025

2024

Denotational and operational semantics for interaction languages: Application to trace analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., January, 2024

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.

[BibT_eX]

[DOI]

J. Object Technol., 2024

A Framework for Optimisation Based Stochastic Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

High-Level Program Properties in Frama-C: Definition, Verification and Deduction.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Finite Automata synthesis from Interactions.

[BibT_eX]

[DOI]

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Efficient computation of arbitrary control dependencies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., August, 2023

A Term-based Approach for Generating Finite Automata from Interaction Diagrams.

[BibT_eX]

[DOI]

CoRR, 2023

Interaction-Based Offline Runtime Verification of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Symbolic Path-Guided Test Cases for Models with Data and Time.

[BibT_eX]

[DOI]

Ngo Minh Thang Nguyen

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022

Preserving consistency in geometric modeling with graph transformations.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., March, 2022

Editorial.

[BibT_eX]

[DOI]

Softw. Qual. J., 2022

Topological consistency preservation with graph transformation schemes.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Inferring topological operations on generalized maps: Application to subdivision schemes.

[BibT_eX]

[DOI]

Graph. Vis. Comput., 2022

Equivalence of Denotational and Operational Semantics for Interaction Languages.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

An Efficient VCGen-Based Modular Verification of Relational Properties.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Certified Verification of Relational Properties.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

A structural operational semantics for interactions with a look at loops.

[BibT_eX]

[DOI]

CoRR, 2021

A small-step approach to multi-trace checking against interactions.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Methodology for Specification and Verification of High-Level Requirements with MetAcsl.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Revisiting Semantics of Interactions for Trace Validity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

MetAcsl: Specification and Verification of High-Level Properties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks.

[BibT_eX]

[DOI]

Ngo Minh Thang Nguyen

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

A Proposal for a Language Combining Biochemical Rules and Topological Structure for Systems Biology.

[BibT_eX]

[DOI]

A. Joëlle Compaoré

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

Cut branches before looking for bugs: certifiably sound verification on relaxed slices.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Self-composition to Prove Relational Properties in Annotated C Program.

[BibT_eX]

[DOI]

CoRR, 2018

Static and Dynamic Verification of Relational Properties on Self-composed C Code.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Fast Computation of Arbitrary Control Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Symbolic Execution of Transition Systems with Function Summaries.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 11th International Conference, 2017

RPP: Automatic Proof of Relational Properties by Self-composition.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Constraint-Based Oracles for Timed Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Exhaustive test sets for algebraic specifications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Deductive Verification with Relational Properties.

[BibT_eX]

[DOI]

CoRR, 2016

Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2015

Preface.

[BibT_eX]

[DOI]

Alexander K. Petrenko

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

2014

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Designing Sequence Diagram Models for Robustness to Attacks.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

An LTL Model Checking Approach for Biological Parameter Inference.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 7th International Conference, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

An Implementation Relation and Test Framework for Timed Distributed Systems.

[BibT_eX]

[DOI]

Robert M. Hierons

Proceedings of the Testing Software and Systems, 2013

2012

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2012

2011

Embedding of Biological Regulatory Networks and Property Preservation.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2011

Rule-based transformations for geometric modelling

[BibT_eX]

[DOI]

Thomas Bellet

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Timed Conformance Testing for Orchestrated Service Discovery.

[BibT_eX]

[DOI]

Jose Pablo Escobedo

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Proof-Guided Test Selection from First-Order Specifications with Equality.

[BibT_eX]

[DOI]

Delphine Longuet

J. Autom. Reason., 2010

Handling State-Machines Specifications with GATeL.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Designing a Topological Modeler Kernel: A Rule-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the SMI 2010, 2010

Testing Web Service Orchestrators in Context: A Symbolic Approach.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Observability and Controllability Issues in Conformance Testing of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communication Systems, 2009

Spatial Information and Boolean Genetic Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics and Computational Biology, 2009

2008

Topology-based abstraction of complex biological systems: application to the Golgi apparatus.

[BibT_eX]

[DOI]

Theory Biosci., 2008

Test Purpose Concretization through Symbolic Action Refinement.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

Generation of All-Paths Unit Test with Function Calls.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

A Formal Definition of Complex Software.

[BibT_eX]

[DOI]

Mbarka Mabrouki

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Graph Transformation for Topology Modelling.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Testing Data Types Implementations from Algebraic Specifications.

[BibT_eX]

[DOI]

Marie-Claude Gaudel

Proceedings of the Formal Methods and Testing, 2008

Emergent Properties in Reactive Systems.

[BibT_eX]

[DOI]

Mbarka Mabrouki

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Property Preservation along Embedding of Biological Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

Symbolic Modeling of Genetic Regulatory Networks.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2007

Modelling genetic regulatory networks from specified behaviours.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2007

Symbolic Execution Techniques for Refinement Testing.

[BibT_eX]

[DOI]

Nicolas Rapin

Assia Touil

Proceedings of the Tests and Proofs - 1st International Conference, 2007

Symbolic Model Based Testing for Component Oriented Systems.

[BibT_eX]

[DOI]

Alain Faivre

Proceedings of the Testing of Software and Communicating Systems, 2007

Topology-based Geometric Modelling for Biological Cellular Processes.

[BibT_eX]

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Test Selection Criteria for Quantifier-Free First-Order Specifications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Symbolic Execution Techniques for Test Purpose Definition.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Feature Specification and Static Analysis for Interaction Resolution.

[BibT_eX]

[DOI]

Karim Berkani

Proceedings of the FM 2006: Formal Methods, 2006

2005

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.

[BibT_eX]

Helene Jouve

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

A Temporal Logic for Input Output Symbolic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

An Environment for Interactive Service Specification.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2002

Spécifications formelles du chanfreinage.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2002

Test de conformité : une approche algébrique.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2002

Feature Logics and Refinement.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Geometric Modelling with CASL.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Algebraic Treatment of Feature-oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Language Constructs for Describing Features, 2000

An incremental method for the design of feature-oriented systems.

[BibT_eX]

[DOI]

Karim Berkani

Francis Klay

Proceedings of the Language Constructs for Describing Features, 2000

A Reuse-Oriented Framework for Hierarchical Specifications.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1998

Hierarchical Heterogeneous Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

A Theory of Probabilistic Functional Testing.

[BibT_eX]

[DOI]

Laurent Bouaziz

Proceedings of the Pulling Together, 1997

1996

Dynamic Testing from Bounded Data Type Specifications.

[BibT_eX]

[DOI]

Bruno Marre

Proceedings of the Dependable Computing, 1996

Towards Heterogeneous Formal Specification.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Formal Specifications and Test: Correctness and Oracle.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Label Algebras and Exception Handling.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1994

1993

Exception Handling and Term Labelling.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1991

Label Algebras: A Systematic Use of Terms.

[BibT_eX]

[DOI]