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)

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

Article dans une revue 01/01/2002

Spécifications formelles du chanfreinage

Franck Ledoux , Jean-Marc Mota , Agnès Arnould , Catherine Dubois , Pascale Le Gall , Yves Bertrand , Pascale Le Gall

Article dans une revue 01/01/2002

Test de conformité : une approche algébrique

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

Communication dans un congrès 01/01/2001

Spécifications formelles du chanfreinage

F. Ledoux , Jean-Marc Mota , A. Arnould , Catherine Dubois , P. Le Gall , Yves Bertrand , Pascale Le Gall