Pascale Le Gall

Laboratoire

Mathématiques et Informatique pour la Complexité et les Systèmes

Mots cles

informatique - méthodes formelles - test de conformité - transformations de graphes - exécution symbolique - modèles des systèmes distribués et temporisés - modélisation géométrique

Site WEB

Publications (95)

Ouvrage 01/01/2019

Testing Software and Systems

Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 27/06/2018

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

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto , Guillaume Petiot , Pascale Le Gall

Communication dans un congrès 13/06/2018

RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto , Pascale Le Gall

Communication dans un congrès 04/04/2018

Fast Computation of Arbitrary Control Dependencies

Jean-Christophe Léchenet , Nikolai Kosmatov , Pascale Le Gall , Pascale Le Gall

Article dans une revue 01/01/2018

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

J.-C. Léchenet , N. Kosmatov , P. Le Gall , Pascale Le Gall

Communication dans un congrès 19/07/2017

Symbolic execution of transition systems with function summaries

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto , Pascale Le Gall

Communication dans un congrès 21/06/2017

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall , Pascale Le Gall

Rapport 26/02/2017

Constraint-preserving labeled graph transformations for topology-based geometric modeling

Thomas Bellet , Agnès Arnould , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 01/01/2017

Constraint-Based Oracles for Timed Distributed Systems

Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall , Pascale Le Gall

Rapport 01/01/2017

Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)

Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall , Pascale Le Gall