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

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ès 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

Communication dans un congrès 03/09/2024

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

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

Rapport 03/09/2024

Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto

Chapitre d'ouvrage 03/09/2024

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto

Communication dans un congrès 03/09/2024

Generation of All-Paths Unit Test with Function Calls

Patricia Mouy , Bruno Marre , Nicky Williams , Pascale Le Gall

Communication dans un congrès 03/09/2024

An implementation relation and test framework for timed distributed systems

Christophe Gaston , Robert M. Hierons , Pascale Le Gall

Communication dans un congrès 03/09/2024

Symbolic execution of transition systems with function summaries

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto

Chapitre d'ouvrage 16/07/2024

Transformations de graphes décorés

Pascale Le Gall , Romain Pascual

Communication dans un congrès 04/06/2024

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

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