Thomas Pressburger

According to our database, Thomas Pressburger authored at least 27 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Robotics: A New Mission for FRET Requirements.

Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.

Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Monitoring ROS2: from Requirements to Autonomous Robots.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Automated Translation of Natural Language Requirements to Runtime Monitors.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

A compositional proof framework for FRETish requirements.

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET.

Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Automated formalization of structured natural language requirements.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann

Inf. Softw. Technol., 2021

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.

Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Bridging the Gap Between Requirements and Simulink Model Analysis.

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Formal Requirements Elicitation with FRET.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Generation of Formal Requirements from Structured Natural Language.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2012

Integrating Statechart Components in Polyglot.

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen

Proceedings of the NASA Formal Methods, 2012

2011

Rapid property specification and checking for model-based formalisms.

Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

2006

Software Assurance Research Infusion: The NASA Experience.

Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick

Proceedings of the Leveraging Applications of Formal Methods, 2006

2001

Amphion/NAV: Deductive Synthesis of State Estimation Software.

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Certifying Domain-Specific Policies.

Michael R. Lowry, Thomas Pressburger, Grigore Rosu

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Model Checking JAVA Programs using JAVA PathFinder.

Klaus Havelund, Thomas Pressburger

Int. J. Softw. Tools Technol. Transf., 2000

Generating Data Analysis Programs from Statistical Models.

Bernd Fischer, Johann Schumann, Thomas Pressburger

Proceedings of the Semantics, 2000

1999

Towards Automated Synthesis of Data Mining Programs.

Wray L. Buntine, Bernd Fischer, Thomas Pressburger

Proceedings of the Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 1999

1998

Explaining Synthesized Software.

Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1994

A Formal Approach to Domain-Oriented Software Design Environments.

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood

Proceedings of the Proceedings KBSE'94, 1994

AMPHION: Automatic Programming for Subroutine Libraries.

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood

Proceedings of the Proceedings KBSE'94, 1994

AMPHION: Automatic Programming for Scientific Subroutine Libraries.

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Deductive Composition of Astronomical Software from Subroutine Libraries.

Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994