• Sign in
  • Sign up
conf.researchr.org / Pascale Le Gall
  • ECOOP 2022 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

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
xSun 18 May 21:04
using conf.researchr.org (v1.69.0)
Support page
Sign Up