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

Proceedings 04/11/2025

Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Frédéric Dadeau , Pascale Le Gall

Communication dans un congrès 17/10/2025

Observability and controllability issues in conformance testing of Web service compositions

Jose Pablo Escobedo , Christophe Gaston , Ana Rosa Cavalli , Pascale Le Gall

Communication dans un congrès 17/10/2025

Testing web service orchestrators in context : a symbolic approach

Jose Pablo Escobedo , Christophe Gaston , Ana Rosa Cavalli , Pascale Le Gall

Communication dans un congrès 07/10/2025

Graph Transformation for Topology Modelling.

Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall

Article dans une revue 07/10/2025

Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus

Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Philippe Meseure , François Képès , Pascale Le Gall

Chapitre d'ouvrage 07/10/2025

Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus

Mathieu Poudret , Jean-Paul Comet , François Képès , Agnès Arnould , Philippe Meseure , Jean-Marc Verbavatz , Alain Rambourg , Pascale Le Gall

Article dans une revue 07/10/2025

Embedding of biological regulatory networks and property preservation

Mbarka Mabrouki , Jean-Paul Comet , Adrien Richard , Pascale Le Gall

Communication dans un congrès 27/09/2025

Program Synthesis for Geometric Modeling

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 02/09/2025

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

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

Communication dans un congrès 02/09/2025

Designing Sequence Diagram Models for Robustness to Attacks

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

Communication dans un congrès 22/07/2025

Methodology for Specification and Verification of High-Level Requirements with MetAcsl

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

Communication dans un congrès 22/07/2025

MetAcsl: Specification and Verification of High-Level Properties

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

Communication dans un congrès 22/07/2025

Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

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

Communication dans un congrès 15/07/2025

Statistical Bayesian Inference for Stochastic Process Discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 12/07/2025

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

Joel Nguetoum Kenne , Boutheina Bannour , Pascale Le Gall

Article dans une revue 09/07/2025

Spécifications formelles du chanfreinage

Franck Ledoux , Jean-Marc Mota , Agnès Arnould , Catherine Dubois , Yves Bertrand , Pascale Le Gall

Communication dans un congrès 09/07/2025

Spécifications formelles du chanfreinage

F. Ledoux , Jean-Marc Mota , A. Arnould , Catherine Dubois , P. Le Gall , Yves Bertrand , Pascale Le Gall

Communication dans un congrès 24/06/2025

Feature specification and static analysis for interaction resolution

Karim Berkani , Pascale Le Gall

15/05/2025

Statistical process discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Article dans une revue 17/04/2025

Symbolic modeling of genetic regulatory networks

Daniel Mateus , Jean-Pierre Gallois , Jean-Paul Comet , Pascale Le Gall