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)

Communication dans un congrès 17/04/2025

Testing from algebraic specifications: test data set selection by unfolding axioms

Agnès Arnould , Clément Boin , Bruno Marre , Pascale Le Gall

Autre publication scientifique 17/04/2025

Feature specification: a logic-independent approach

Christophe Gaston , Pascale Le Gall

Communication dans un congrès 17/04/2025

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

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

Communication dans un congrès 17/04/2025

A Temporal Logic for Input Output Symbolic Transition Systems

Christophe Gaston , Delphine Longuet , Assia Touil , Pascale Le Gall

Communication dans un congrès 17/04/2025

Symbolic execution techniques for test purpose definition

Christophe Gaston , Nicolas Rapin , Assia Touil , Pascale Le Gall

Communication dans un congrès 17/04/2025

Testing from Abstract Data Type Specifications

Pascale Le Gall

Communication dans un congrès 17/04/2025

Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique

Daniel Mateus , Jean-Pierre Gallois , Pascale Le Gall

Chapitre d'ouvrage 17/04/2025

Testing data types implementations from algebraic specifications

Marie-Claude Gaudel , Pascale Le Gall

Communication dans un congrès 13/03/2025

Testing of Software and Communicating Systems

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

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

Poster de conférence 11/03/2025

A first step towards the inference of geological topological operations

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

Article dans une revue 11/03/2025

Inferring topological operations on generalized maps: application to subdivision schemes

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Communication dans un congrès 07/03/2025

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

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

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

Communication dans un congrès 07/03/2025

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

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

Communication dans un congrès 20/02/2025

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

Fast Computation of Arbitrary Control Dependencies

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

Communication dans un congrès 06/12/2024

Coq a dit : fromage tranché ne peut cacher ses trous *

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

Poster de conférence 27/11/2024

Inference of geometric modeling operations

Hakim Belhaouari , Agnès Arnould , Pascale Le Gall

Article dans une revue 27/11/2024

Preserving consistency in geometric modeling with graph transformations

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

Rapport 27/11/2024

Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)

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

Rapport 27/11/2024

Constraint-preserving labeled graph transformations for topology-based geometric modeling

Thomas Bellet , Agnès Arnould , Pascale Le Gall

Article dans une revue 27/11/2024

Topological consistency preservation with graph transformation schemes

Agnès Arnould , Hakim Belhaouari , 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ès 21/10/2024

Finite Automata synthesis from interactions

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

Communication dans un congrès 21/10/2024

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

Boutheina Bannour , Arnault Lapitre , Pascale Le Gall

Article dans une revue 21/10/2024

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

Erwan Mahe , Christophe Gaston , Pascale Le Gall

Communication dans un congrès 11/10/2024

A framework for optimisation based stochastic process discovery

Andras Horvath , Paolo Ballarini , Pascale Le Gall

Communication dans un congrès 08/10/2024

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

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