• Sign in
  • Sign up
conf.researchr.org / Guillaume P. Brat
  • ESEC/FSE 2020 profile
  • NASA Formal Methods 2024 profile
No Photo

Registered user since Wed 27 Sep 2023

Name:Guillaume P. Brat
Affiliation:NASA Ames Research Center

Contributions

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track
  • Session Chair of Panel (part of NFM 2024)
  • Chair of Panel: Trusted Autonomy for Space and Aviation within the NFM 2024-track

2020

ESEC/FSE

  • Author of Impact paper: Model Checking Programs within the Plenary events-track
Share
xSat 10 May 12:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up