Pascale Le Gall

Available identifiers

zbMath Open le-gall.pascaleMaRDI QIDQ359894

List of research outcomes

Publication	Date of Publication	Type
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
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms	2007-05-02	Paper
Symbolic Execution Techniques for Test Purpose Definition	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pascale Le Gall