Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guillaume P. Brat
conf.researchr.org general profile
ESEC/FSE 2020 profile
NASA Formal Methods 2024 profile
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
x
Thu 21 Nov 12:34