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

Site WEB

Publications (95)

Communication dans un congrès 09/09/2025

Program Synthesis for Geometric Modeling

Romain Pascual , Pascale Le Gall , Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 26/08/2025

Statistical Bayesian Inference for Stochastic Process Discovery

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

Communication dans un congrès 14/07/2025

On the use of generalisation and unification for composing interactions via gate connection

Joel Nguetoum Kenne , Boutheina Bannour , Pascale Le Gall , Pascale Le Gall

01/04/2025

Statistical process discovery

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

Communication dans un congrès 01/10/2024

High-Level Program Properties in Frama-C: Definition, Verification and Deduction

Virgile Robles , Nikolai Kosmatov , Virgile Prévosto , Pascale Le Gall , Pascale Le Gall

Communication dans un congrès 09/09/2024

A framework for optimisation based stochastic process discovery

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

Communication dans un congrès 01/01/2024

Finite Automata synthesis from interactions

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

Article dans une revue 01/01/2024

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

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

Communication dans un congrès 13/09/2023

Symbolic Path-guided Test Cases for Models with Data and Time

Boutheina Bannour , Arnault Lapitre , Pascale Le Gall , Thang Nguyen , Pascale Le Gall

Communication dans un congrès 09/08/2023

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

Romain Pascual , Pascale Le Gall , Hakim Belhaouari , Agnès Arnould , Pascale Le Gall