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)

Article dans une revue 01/01/2007

Symbolic modeling of genetic regulatory networks

Daniel Mateus , Jean-Pierre Gallois , Jean-Paul Comet , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 01/08/2006

Feature specification and static analysis for interaction resolution

Marc Aiguier , Karim Berkani , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 01/01/2006

Symbolic execution techniques for test purpose definition

Christophe Gaston , Pascale Le Gall , Nicolas Rapin , Assia Touil , Pascale Le Gall

Communication dans un congrès 01/12/2005

A Temporal Logic for Input Output Symbolic Transition Systems

Marc Aiguier , Christophe Gaston , Pascale Le Gall , Delphine Longuet , Assia Touil , Pascale Le Gall

Communication dans un congrès 01/01/2005

Testing from Abstract Data Type Specifications

Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 01/01/2005

Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique

Daniel Mateus , Jean-Pierre Gallois , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 01/01/2005

Testing from algebraic specifications: test data set selection by unfolding axioms

Marc Aiguier , Agnès Arnould , Clément Boin , Pascale Le Gall , Bruno Marre , Pascale Le Gall

Autre publication scientifique 01/01/2005

Feature specification: a logic-independent approach

Marc Aiguier , Christophe Gaston , Pascale Le Gall , Pascale Le Gall

Autre publication scientifique 01/01/2005

Generating test case from symbolic transition systems based on constrained unfolding

Christophe Gaston , Pascale Le Gall , Nicolas Rapin , Assia Touil , Pascale Le Gall

Communication dans un congrès 01/01/2005

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications

Hélène Jouve , Pascale Le Gall , Sophie Coudert , Pascale Le Gall