Pascale Le Gall -

Registered user since Thu 17 Nov 2022

Name:Pascale Le Gall

Country:France

Affiliation:CentraleSupelec

Contributions

2025

ICTSS

Committee Member in Organization Committee

2024

FormaliSE

Author of Finite Automata synthesis from Interactions within the FormaliSE 2024-track

2023

ICTSS

Committee Member in Program Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
Author in Steering Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track

2022

VORTEX

Author of HIBOU : Tooling Offline Runtime Verification against Interaction Models within the VORTEX 2022-track

2021

FormaliSE

Author of Methodology for Specification and Verification of High-Level Properties with MetAcsl within the FormaliSE 2021-track