Pascale Le Gall
Orcid: 0000-0002-8955-6835
According to our database1,
Pascale Le Gall
authored at least 94 papers
between 1991 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal.
Sci. Comput. Program., 2025
2024
Denotational and operational semantics for interaction languages: Application to trace analysis.
Sci. Comput. Program., January, 2024
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.
J. Object Technol., 2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2023
Theor. Comput. Sci., August, 2023
CoRR, 2023
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023
2022
Math. Struct. Comput. Sci., March, 2022
Sci. Comput. Program., 2022
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.
CoRR, 2022
Inferring topological operations on generalized maps: Application to subdivision schemes.
Graph. Vis. Comput., 2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
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.
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.
Proceedings of the Networked Systems - 8th International Conference, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
2019
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.
Proceedings of the Tests and Proofs - 13th International Conference, 2019
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.
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.
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.
Formal Aspects Comput., 2018
Proceedings of the Tests and Proofs - 12th International Conference, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Testing Software and Systems, 2017
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions.
Proceedings of the Graph Transformation - 10th International Conference, 2017
2016
Softw. Test. Verification Reliab., 2016
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016
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.
Tech. Sci. Informatiques, 2015
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.
Proceedings of the Testing Software and Systems, 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Proceedings of the Testing Software and Systems, 2013
2012
Proceedings of the Testing Software and Systems, 2012
2011
Math. Comput. Sci., 2011
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
2010
J. Autom. Reason., 2010
Proceedings of the Sixth Workshop on Model-Based Testing, 2010
Proceedings of the SMI 2010, 2010
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.
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the Bioinformatics and Computational Biology, 2009
2008
Topology-based abstraction of complex biological systems: application to the Golgi apparatus.
Theory Biosci., 2008
Proceedings of the Testing of Software and Communicating Systems, 2008
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the Third International Conference on Software Engineering Advances, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Formal Methods and Testing, 2008
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008
Proceedings of the Algebraic Biology, Third International Conference, 2008
2007
BMC Syst. Biol., 2007
Proceedings of the Tests and Proofs - 1st International Conference, 2007
Proceedings of the Testing of Software and Communicating Systems, 2007
Topology-based Geometric Modelling for Biological Cellular Processes.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2006
Proceedings of the Testing of Communicating Systems, 2006
Proceedings of the FM 2006: Formal Methods, 2006
2005
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2003
An Environment for Interactive Service Specification.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003
2002
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2001
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
2000
Proceedings of the Language Constructs for Describing Features, 2000
Proceedings of the Language Constructs for Describing Features, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
1997
Proceedings of the Pulling Together, 1997
1996
Proceedings of the Dependable Computing, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
Proceedings of the Recent Trends in Data Type Specification, 1995
1994
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
1991
Proceedings of the Recent Trends in Data Type Specification, 1991