Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Pressburger
conf.researchr.org general profile
NASA Formal Methods profile
POPL 2022 profile
REFSQ 2023 profile
Registered user since Fri 17 Feb 2023
Name:
Thomas Pressburger
Affiliation:
NASA ARC
Contributions
REFSQ 2023
Discussant of Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle within the Research Papers-track
Presenter of Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft within the Research Papers-track
NASA Formal Methods
Author of From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif within the NFM 2023-track
CPP 2022
Author of A Compositional Proof Framework for FRETish Requirements within the CPP 2022-track
Share
x
Fri 2 Jun 13:22