Pascale Le Gall

Laboratoire

MICS

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

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

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

Communication dans un congrès 30/04/2011

Rule-based transformations for geometric modeling

Thomas Bellet , Agnès Arnould , Pascale Le Gall

Article dans une revue 01/04/2011

Embedding of biological regulatory networks and property preservation

Mbarka Mabrouki , Jean-Paul Comet , Adrien Richard , Pascale Le Gall

Article dans une revue 01/12/2010

Proof-Guided Test Selection from First-Order Specifications with Equality

Delphine Longuet , Pascale Le Gall

Article dans une revue 01/01/2010

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 01/01/2010

Designing a Topological Modeler Kernel: A Rule-Based Approach

Thomas Bellet , Mathieu Poudret , Agnès Arnould , Laurent Fuchs , Pascale Le Gall

Communication dans un congrès 01/01/2010

Testing web service orchestrators in context : a symbolic approach

Jose Pablo Escobedo , Christophe Gaston , Ana Rosa Cavalli , Pascale Le Gall

Communication dans un congrès 01/11/2009

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 01/04/2009

Spatial Information and Boolean Genetic Regulatory Networks.

Matthieu Manceny , Joan Hérisson , Ivan Junier , François Képès , Pascale Le Gall

Communication dans un congrès 01/01/2009

Observability and controllability issues in conformance testing of Web service compositions

Jose Pablo Escobedo , Christophe Gaston , Ana Rosa Cavalli , Pascale Le Gall

Article dans une revue 01/01/2009

Complex software systems : Formalization and Applications

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

Communication dans un congrès 06/06/2008

Testing of Software and Communicating Systems

Alain Faivre , Christophe Gaston , 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 , 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

Chapitre d'ouvrage 01/01/2008

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

Mathieu Poudret , Jean-Paul Comet , 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

Communication dans un congrès 01/10/2007

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Mathieu Poudret , Jean-Paul Comet , 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

Agnès Arnould , 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 , Agnès Arnould , Philippe Meseure , Pascale Le Gall

Article dans une revue 01/01/2007

Symbolic modeling of genetic regulatory networks

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

Communication dans un congrès 01/08/2006

Feature specification and static analysis for interaction resolution

Karim Berkani , Pascale Le Gall

Communication dans un congrès 01/01/2006

Symbolic execution techniques for test purpose definition

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

Communication dans un congrès 01/12/2005

A Temporal Logic for Input Output Symbolic Transition Systems

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

Autre publication scientifique 01/01/2005

A temporal logic for input output symbolic transition systems

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

Autre publication scientifique 01/01/2005

Generating test case from symbolic transition systems based on constrained unfolding

Christophe Gaston , 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 , Sophie Coudert , Pascale Le Gall

Communication dans un congrès 01/01/2005

Automatic generation of symbolic test purposes

Assia Touil , Christophe Gaston , Pascale Le Gall

Communication dans un congrès 01/01/2005

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

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

Autre publication scientifique 01/01/2005

Feature specification: a logic-independent approach

Christophe Gaston , Pascale Le Gall