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

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 26/08/2025

Statistical Bayesian Inference for Stochastic Process Discovery

Andras Horvath , 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

01/04/2025

Statistical process discovery

Andras Horvath , 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

Communication dans un congrès 09/09/2024

A framework for optimisation based stochastic process discovery

Andras Horvath , 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

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

Communication dans un congrès 13/09/2023

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 09/08/2023

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

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Article dans une revue 01/08/2023

Efficient computation of arbitrary control dependencies

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

Chapitre d'ouvrage 01/06/2023

Transformations de graphes décorés

Pascale Le Gall

Poster de conférence 04/04/2023

Inference of geometric modeling operations

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Article dans une revue 01/01/2023

Denotational and operational semantics for interaction languages : application to trace analysis

Erwan Mahe , Christophe Gaston , Pascale Le Gall

Article dans une revue 01/01/2023

Interaction-based offline runtime verification of distributed systems

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

Communication dans un congrès 22/10/2022

An efficient VCGen-based modular verification of relational properties

Lionel Blatter , Nikolai Kosmatov , V. Prevosto , Pascale Le Gall

Article dans une revue 14/05/2022

Inferring topological operations on generalized maps: application to subdivision schemes

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Poster de conférence 25/04/2022

A first step towards the inference of geological topological operations

Hakim Belhaouari , Agnès Arnould , P Le Gall , Pascale Le Gall

Autre publication scientifique 01/03/2022

Editorial

Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall

Article dans une revue 01/02/2022

Topological consistency preservation with graph transformation schemes

Agnès Arnould , Hakim Belhaouari , Pascale Le Gall

Article dans une revue 01/01/2022

Equivalence of denotational and operational semantics for interaction languages

Erwan Mahe , Christophe Gaston , Pascale Le Gall

Article dans une revue 01/01/2022

Preserving consistency in geometric modeling with graph transformations

Agnès Arnould , Hakim Belhaouari , Thomas Bellet , Pascale Le Gall

Communication dans un congrès 01/01/2022

Certified verification of relational properties

Lionel Blatter , Nikolai Kosmatov , Virgile Prévosto , Pascale Le Gall

Communication dans un congrès 17/05/2021

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/03/2021

A small-step approach to multi-trace checking against interactions

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

Communication dans un congrès 14/01/2021

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

Boutheina Bannour , Arnault Lapitre , Pascale Le Gall

Article dans une revue 17/04/2020

Revisiting semantics of interactions for trace validity analysis

Erwan Mahe , Christophe Gaston , Pascale Le Gall

Communication dans un congrès 09/10/2019

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 22/04/2019

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

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

Communication dans un congrès 08/04/2019

MetAcsl: Specification and Verification of High-Level Properties

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