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

Publications (33)

Communication dans un congrè 17/04/2025

Automatic generation of symbolic test purposes

Assia Touil , Christophe Gaston , Pascale Le Gall

Chapitre d'ouvrage 17/04/2025

Testing data types implementations from algebraic specifications

Marie-Claude Gaudel , Pascale Le Gall

Communication dans un congrè 17/04/2025

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

Daniel Mateus , Jean-Pierre Gallois , Pascale Le Gall

Article dans une revue 17/04/2025

Complex software systems : Formalization and Applications

Marc Aiguier , Pascale Le Gall , Mbarka Mabrouki

Communication dans un congrè 17/04/2025

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

Communication dans un congrè 17/04/2025

Testing from Abstract Data Type Specifications

Pascale Le Gall

Autre publication scientifique 17/04/2025

Feature specification: a logic-independent approach

Marc Aiguier , Christophe Gaston , Pascale Le Gall

Communication dans un congrè 17/04/2025

Feature specification and static analysis for interaction resolution

Marc Aiguier , Karim Berkani , Pascale Le Gall

Communication dans un congrè 17/04/2025

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

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

Communication dans un congrè 13/03/2025

Testing of Software and Communicating Systems

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