• Sign in
  • Sign up
conf.researchr.org / Thomas Pressburger
  • 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
xFri 2 Jun 13:22
using conf.researchr.org (v1.60.0)
Support page
Sign Up