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 (29)

Communication dans un congrè 06/12/2024

Fast Computation of Arbitrary Control Dependencies

Jean-Christophe Léchenet , Nikolai Kosmatov , Pascale Le Gall

Autre publication scientifique 19/11/2024

Feature specification: a logic-independent approach

Marc Aiguier , Christophe Gaston , Pascale Le Gall

Communication dans un congrè 19/11/2024

Feature specification and static analysis for interaction resolution

Marc Aiguier , Karim Berkani , Pascale Le Gall

Communication dans un congrè 19/11/2024

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è 19/11/2024

Automatic generation of symbolic test purposes

Assia Touil , Christophe Gaston , Pascale Le Gall

Communication dans un congrè 19/11/2024

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

Daniel Mateus , Jean-Pierre Gallois , Pascale Le Gall

Communication dans un congrè 19/11/2024

Testing from Abstract Data Type Specifications

Pascale Le Gall

Article dans une revue 26/10/2024

Efficient computation of arbitrary control dependencies

Jean-Christophe Léchenet , Nikolai Kosmatov , Pascale Le Gall

Communication dans un congrè 11/10/2024

A framework for optimisation based stochastic process discovery

Pierre Cry , Paolo Ballarini , Andras Horvath , Pascale Le Gall

Communication dans un congrè 03/09/2024

Generation of All-Paths Unit Test with Function Calls

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