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

Communication dans un congrès 27/06/2018

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

Lionel Blatter , Nikolai Kosmatov , 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 , 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

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 , 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

Rapport 26/02/2017

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

Thomas Bellet , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 01/01/2017

RPP: Automatic proof of relational properties by self-composition

L. Blatter , N. Kosmatov , P. Le Gall , V. Prevosto , 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

Article dans une revue 01/01/2017

Symbolic execution of transition systems with function summaries

I. Boudhiba , C. Gaston , P. Le Gall , V. Prevosto , 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

Article dans une revue 01/06/2016

Exhaustive test sets for algebraic specification correctness

Agnès Arnould , Delphine Longuet , Pascale Le Gall

Communication dans un congrès 17/05/2016

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Gabriel Pedroza , Christophe Gaston , Fabrice Bersey , Pascale Le Gall

Communication dans un congrès 01/01/2016

Cut branches before looking for bugs: Sound verification on relaxed slices

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

Communication dans un congrès 01/01/2016

Coq a dit : fromage tranché ne peut cacher ses trous *

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

Communication dans un congrès 23/11/2015

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

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

Article dans une revue 30/10/2015

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

Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini

Proceedings 01/05/2015

Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Frédéric Dadeau , Pascale Le Gall

Rapport 01/01/2015

Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine

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

Communication dans un congrès 01/12/2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Boutheina Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Gabriel Pedroza , Pascale Le Gall

Communication dans un congrès 03/11/2014

An LTL Model Checking Approach for Biological Parameter Inference

E Gallet , M Manceny , P Le Gall , Pascale Le Gall , Paolo Ballarini

Communication dans un congrès 08/10/2014

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Emmanuelle Gallet , Matthieu Manceny , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 01/07/2014

JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling

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

Communication dans un congrès 31/03/2014

Designing Sequence Diagram Models for Robustness to Attacks

Boutheina Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Gabriel Pedroza , Pascale Le Gall

Chapitre d'ouvrage 01/01/2014

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

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

Communication dans un congrès 01/01/2014

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

Emmanuelle Gallet , Matthieu Manceny , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 13/11/2013

An implementation relation and test framework for timed distributed systems

Christophe Gaston , Robert M. Hierons , Pascale Le Gall

Chapitre d'ouvrage 01/01/2013

Symbolic Execution-Based Techniques for Conformance Testing

C. Gaston , P. Le Gall , N. Rapin , A. Touil , Pascale Le Gall

Communication dans un congrès 11/01/2012

JERBOA : un modeleur géométrique à base de règles

Thomas Bellet , Agnès Arnould , Pascale Le Gall