Thomas Pressburger

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 15

Top Topics

Natural Language

Autonomous Robots

Programmable Logic

Requirements Elicitation

Top Venues

REFSQ Workshops

Inf. Softw. Technol.

Publications

Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
Robotics: A New Mission for FRET Requirements. NFM (2024)
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ (2023)
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
A compositional proof framework for FRETish requirements. CPP (2022)
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
A Compositional Proof Framework for FRETish Requirements. CoRR (2022)
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) (2022)
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin
Monitoring ROS2: from Requirements to Autonomous Robots. FMAS/ASYDE@SEFM (2022)
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou
Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) (2022)
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM (2021)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137 (2021)
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE (2020)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi
Formal Requirements Elicitation with FRET. REFSQ Workshops (2020)
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops (2020)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Generation of Formal Requirements from Structured Natural Language. REFSQ (2020)
Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen
Integrating Statechart Components in Polyglot. NASA Formal Methods (2012)
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping (2011)
Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick
Software Assurance Research Infusion: The NASA Experience. ISoLA (2006)
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE (2001)
Michael R. Lowry, Thomas Pressburger, Grigore Rosu
Certifying Domain-Specific Policies. ASE (2001)
Klaus Havelund, Thomas Pressburger
Model Checking JAVA Programs using JAVA PathFinder. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Bernd Fischer, Johann Schumann, Thomas Pressburger
Generating Data Analysis Programs from Statistical Models. SAIG (2000)
Wray L. Buntine, Bernd Fischer, Thomas Pressburger
Towards Automated Synthesis of Data Mining Programs. KDD (1999)
Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
Explaining Synthesized Software. ASE (1998)
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
AMPHION: Automatic Programming for Scientific Subroutine Libraries. ISMIS (1994)
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
A Formal Approach to Domain-Oriented Software Design Environments. KBSE (1994)
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
AMPHION: Automatic Programming for Subroutine Libraries. KBSE (1994)
Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood
Deductive Composition of Astronomical Software from Subroutine Libraries. CADE (1994)