Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Pressburger
conf.researchr.org general profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
POPL 2022 profile
REFSQ 2023 profile
Registered user since Fri 17 Feb 2023
Name:
Thomas Pressburger
Affiliation:
NASA ARC
Contributions
2024
NFM
Author of Robotics: A New Mission for FRET Requirements within the NFM 2024-track
2023
NFM
Author of From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif within the NFM 2023-track
Requirements Engineering: Foundation for Software Quality (REFSQ)
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
2022
CPP
Author of A Compositional Proof Framework for FRETish Requirements within the CPP 2022-track
Share
x
Tue 29 Apr 16:06