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)

Article dans une revue 05/03/2024

Complex software systems : Formalization and Applications

Marc Aiguier , Pascale Le Gall , Mbarka Mabrouki

Communication dans un congrè 05/03/2024

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è 31/01/2024

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è 31/01/2024

JERBOA : un modeleur géométrique à base de règles

Thomas Bellet , Agnès Arnould , Pascale Le Gall

Article dans une revue 31/01/2024

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è 12/01/2024

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny

Communication dans un congrè 12/01/2024

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny

Article dans une revue 12/07/2023

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini

Communication dans un congrè 14/02/2023

Testing of Software and Communicating Systems

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