Thomas Pressburger

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