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)

Article dans une revue 12/03/2025

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è 07/03/2025

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

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

Communication dans un congrè 07/03/2025

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

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

Article dans une revue 07/03/2025

É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

Article dans une revue 20/02/2025

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation

Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall

Communication dans un congrè 06/12/2024

Fast Computation of Arbitrary Control Dependencies

Jean-Christophe Léchenet , Nikolai Kosmatov , 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

Article dans une revue 03/09/2024

Interaction-based offline runtime verification of distributed systems

Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall

Communication dans un congrè 03/09/2024

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

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