Pascale Le Gall

Available identifiers

zbMath Open le-gall.pascaleMaRDI QIDQ359894

List of research outcomes

Publication	Date of Publication	Type
Interaction-based offline runtime verification of distributed systems	2024-05-03	Paper
Efficient computation of arbitrary control dependencies	2023-08-01	Paper
Preserving consistency in geometric modeling with graph transformations	2022-12-23	Paper
Exception handling and term labelling	2022-11-02	Paper
Revisiting Semantics of Interactions for Trace Validity Analysis	2022-10-13	Paper
Certified verification of relational properties	2022-08-19	Paper
Symbolic Execution of Transition Systems with Function Summaries	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4964702	2021-03-03	Paper
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions	2019-11-22	Paper
Cut branches before looking for bugs: certifiably sound verification on relaxed slices	2018-02-02	Paper
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices	2016-04-21	Paper
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling	2014-09-26	Paper
Embedding of biological regulatory networks and property preservation	2013-08-23	Paper
Proof-guided test selection from first-order specifications with equality	2011-01-12	Paper
Property Preservation along Embedding of Biological Regulatory Networks	2009-02-03	Paper
Graph Transformation for Topology Modelling	2008-11-20	Paper
Test Selection Criteria for Quantifier-Free First-Order Specifications	2008-07-01	Paper
Symbolic Execution Techniques for Refinement Testing	2007-10-31	Paper
Symbolic Execution Techniques for Test Purpose Definition	2007-05-02	Paper
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4817050	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4817053	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4471719	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767193	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4941929	2000-07-09	Paper
Label algebras and exception handling	1995-04-10	Paper

Research outcomes over time

This page was built for person: Pascale Le Gall