• Sign in
  • Sign up
conf.researchr.org / Thomas Pressburger
  • NASA Formal Methods 2023 profile
  • NASA Formal Methods 2024 profile
  • POPL 2022 profile
  • REFSQ 2023 profile
No Photo

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
xTue 13 May 06:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up