Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christophe Gaston
conf.researchr.org general profile
ECOOP 2022 profile
ECSA 2025 profile
ETAPS 2019 profile
ICSE 2024 profile
ICTSS 2023 profile
MODELS 2021 profile
Registered user since Tue 6 Jun 2023
Name:
Christophe Gaston
Contributions
2025
ICTSS
Committee Member in Program Committee
2024
FormaliSE
Author of Finite Automata synthesis from Interactions within the FormaliSE 2024-track
2023
ICTSS
Committee Member in Steering Committee within the IFIP-ICTSS 35th International Conference on Testing Software and Systems-track
Committee Member in Program 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
MODELS
PC Member in MoDeVVa 2021 within the Workshops-track
2019
FASE
Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track
Share
x
Sat 21 Dec 16:54