T
Thomas Pressburger
Publications - 7
Citations - 883
Thomas Pressburger is an academic researcher. The author has contributed to research in topics: Computer science & Workflow. The author has an hindex of 1, co-authored 1 publications receiving 845 citations.
Papers
More filters
Journal ArticleDOI
Model Checking JAVA Programs Using Java Pathfinder
TL;DR: An effort to formally analyze, using Spin, a multi-threaded operating system for the Deep-Space 1 space craft, and of previous work in applying existing model checkers and theorem provers to real applications.
Book ChapterDOI
Automated Translation of Natural Language Requirements to Runtime Monitors
TL;DR: In this paper , an end-to-end framework is presented to capture requirements in structured natural language and generate monitors that capture their semantics faithfully, leveraging NASA's Formal Requirement Elicitation Tool ( fret), and the RV system Copilot.
Proceedings ArticleDOI
A compositional proof framework for FRETish requirements
TL;DR: This paper presents a rigorous formalization of the FRETish language including a new denotational semantics and a proof of semantic equivalence between Fretish specifications and their temporal logic counterparts computed by Fret.
Book ChapterDOI
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET
TL;DR: In this paper , the authors present a realizability analysis framework for formal requirements elicitation that prioritizes usability and employs state-of-the-art analysis algorithms that support infinite theories.
Journal ArticleDOI
Monitoring ROS2: from Requirements to Autonomous Robots
TL;DR: The goal of the approach is to treat the generated ROS2 packages as black boxes and integrate them into larger ROS2 systems with minimal effort.