• Sign in
  • Sign up
conf.researchr.org / Christophe Garion
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile
Christophe Garion

Registered user since Tue 18 Sep 2018

Name:Christophe Garion
Country:France
Affiliation:ISAE-SUPAERO
Personal website: https://personnel.isae-supaero.fr/christophe-garion?lang=en
Research interests:formal methods

Contributions

2025

FormaliSE

  • Committee Member in Artifact Evaluation Committee within the Artifact Track-track

2024

FormaliSE

  • Committee Member in Artifact Evaluation Committee within the FormaliSE 2024-track

2023

FormaliSE

  • Author of A Verified UAV Flight Plan Generator within the FormaliSE 2023-track

2020

NSAD

  • Author of Abstract Domains for Constraint Programming with Differential Equations within the NSAD-track

2018

HILT

  • Presenter of SPARK by Example: an introduction to formal verification through the standard C++ library within the HILT 2018-track
Share
xSun 11 May 18:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up