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/2009

Complex software systems : Formalization and Applications

Marc Aiguier , Pascale Le Gall , Mbarka Mabrouki , Pascale Le Gall

Communication dans un congrès 01/09/2008

Graph Transformation for Topology Modelling.

Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 06/06/2008

Testing of Software and Communicating Systems

Alain Faivre , Christophe Gaston , Pascale Le Gall , Assia Touil , Pascale Le Gall

Article dans une revue 01/06/2008

Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus

Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall , Philippe Meseure , François Képès , Pascale Le Gall

Chapitre d'ouvrage 07/04/2008

Testing data types implementations from algebraic specifications

Marie-Claude Gaudel , Pascale Le Gall , Pascale Le Gall

Chapitre d'ouvrage 01/01/2008

Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould , Philippe Meseure , Jean-Marc Verbavatz , Alain Rambourg , Pascale Le Gall

Communication dans un congrès 01/01/2008

Generation of All-Paths Unit Test with Function Calls

Patricia Mouy , Bruno Marre , Nicky Williams , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 01/10/2007

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould , Philippe Meseure , Pascale Le Gall

Communication dans un congrès 01/04/2007

Test selection criteria for quantifier-free first-order specifications

Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet , Pascale Le Gall

Communication dans un congrès 01/03/2007

Topology-based Geometric Modelling for Biological Cellular Processes

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , Agnès Arnould , Philippe Meseure , Pascale Le Gall