Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pascale Le Gall
conf.researchr.org general profile
ECOOP 2022 profile
ECSA 2025 profile
FM 2026 profile
ICSE 2021 profile
ICSE 2024 profile
ICTSS 2023 profile
Registered user since Thu 17 Nov 2022
Name:
Pascale
Le Gall
Country:
France
Affiliation:
CentraleSupelec
Contributions
2026
FM
Author of Specializing anti-unification for interaction models composition via gate connections within the Research Track-track
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
Share
x
Thu 30 Apr 16:00