Thomas Pressburger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
1994–2023
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | REFSQ | Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. | Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou |
| 2022 | CAV | Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2022 | CPP | A compositional proof framework for FRETish requirements. | Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle |
| 2022 | TACAS | Automated Translation of Natural Language Requirements to Runtime Monitors. | Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou |
| 2021 | FM | 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 |
| 2020 | RE | The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. | Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loc Garoche, Johann Schumann |
| 2020 | REFSQ | Generation of Formal Requirements from Structured Natural Language. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann |
| 2020 | REFSQ | Formal Requirements Elicitation with FRET. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi |
| 2020 | REFSQ | Bridging the Gap Between Requirements and Simulink Model Analysis. | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2011 | RSP | Rapid property specification and checking for model-based formalisms. | Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger |
| 2006 | ISoLA | Software Assurance Research Infusion: The NASA Experience. | Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick |
| 1999 | KDD | Towards Automated Synthesis of Data Mining Programs. | Wray L. Buntine, Bernd Fischer, Thomas Pressburger |
| 1994 | CADE | Deductive Composition of Astronomical Software from Subroutine Libraries. | Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood |
| 1994 | ISMIS | AMPHION: Automatic Programming for Scientific Subroutine Libraries. | Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |