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)

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

Article dans une revue 01/06/2016

Exhaustive test sets for algebraic specification correctness

Marc Aiguier , Agnès Arnould , Pascale Le Gall , 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 , Pascale Le Gall , Christophe Gaston , Fabrice Bersey , 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 , 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 23/11/2015

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

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , 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 , 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 , 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 , Pascale Le Gall , Virgile Prévosto , Pascale Le Gall