Deductive Composition of Astronomical Software from Subroutine Libraries. - Mark E. Stickel; Richard J. Waldinger; Michael R. Lowry; Thomas Pressburger; Ian Underwood (CADE, 1994)

AMPHION: Automatic Programming for Scientific Subroutine Libraries. - Michael R. Lowry; Andrew Philpot; Thomas Pressburger; Ian Underwood (ISMIS, 1994)

AMPHION: Automatic Programming for Subroutine Libraries. - Michael R. Lowry; Andrew Philpot; Thomas Pressburger; Ian Underwood (KBSE, 1994)

A Formal Approach to Domain-Oriented Software Design Environments. - Michael R. Lowry; Andrew Philpot; Thomas Pressburger; Ian Underwood (KBSE, 1994)

Explaining Synthesized Software. - Jeffrey Van Baalen; Peter Robinson 004; Michael R. Lowry; Thomas Pressburger (ASE, 1998)

Towards Automated Synthesis of Data Mining Programs. - Wray L. Buntine; Bernd Fischer 002; Thomas Pressburger (KDD, 1999)

Generating Data Analysis Programs from Statistical Models. - Bernd Fischer 002; Johann Schumann; Thomas Pressburger (SAIG, 2000)

Model Checking JAVA Programs using JAVA PathFinder. - Klaus Havelund; Thomas Pressburger (Int. J. Softw. Tools Technol. Transf., 2000)

Certifying Domain-Specific Policies. - Michael R. Lowry; Thomas Pressburger; Grigore Rosu (ASE, 2001)

Amphion/NAV: Deductive Synthesis of State Estimation Software. - Jon Whittle 001; Jeffrey Van Baalen; Johann Schumann; Peter Robinson 004; Thomas Pressburger; John Penix; Phil Oh; Michael R. Lowry; Guillaume P. Brat (ASE, 2001)

Software Assurance Research Infusion: The NASA Experience. - Michael G. Hinchey; Thomas Pressburger; Martin S. Feather; Lawrence Markosian; Wes Deadrick (ISoLA, 2006)

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 (International Symposium on Rapid System Prototyping, 2011)

Integrating Statechart Components in Polyglot. - Daniel Balasubramanian; Corina S. Pasareanu; Jason Biatek; Thomas Pressburger; Gabor Karsai; Michael R. Lowry; Michael W. Whalen (NASA Formal Methods, 2012)

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 (RE, 2020)

Generation of Formal Requirements from Structured Natural Language. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Johann Schumann (REFSQ, 2020)

Formal Requirements Elicitation with FRET. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Julian Rhein; Johann Schumann; Nija Shi (REFSQ Workshops, 2020)

Bridging the Gap Between Requirements and Simulink Model Analysis. - Anastasia Mavridou; Hamza Bourbouh; Pierre-Loïc Garoche; Dimitra Giannakopoulou; Thomas Pressburger; Johann Schumann (REFSQ Workshops, 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 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

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 (FM, 2021)

Automated formalization of structured natural language requirements. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Johann Schumann (Inf. Softw. Technol., 2021)

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. - Andreas Katis; Anastasia Mavridou; Dimitra Giannakopoulou; Thomas Pressburger; Johann Schumann (CAV (2), 2022)

A compositional proof framework for FRETish requirements. - Esther Conrad; Laura Titolo; Dimitra Giannakopoulou; Thomas Pressburger; Aaron Dutle (CPP, 2022)

Automated Translation of Natural Language Requirements to Runtime Monitors. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alwyn Goodloe; Dimitra Giannakopoulou (TACAS (1), 2022)

Monitoring ROS2: from Requirements to Autonomous Robots. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alexander Will; Patrick J. Martin (FMAS/ASYDE@SEFM, 2022)

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 (NFM, 2023)

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. - Thomas Pressburger; Andreas Katis; Aaron Dutle; Anastasia Mavridou (REFSQ, 2023)

Robotics: A New Mission for FRET Requirements. - Gricel Vázquez; Anastasia Mavridou; Marie Farrell; Thomas Pressburger; Radu Calinescu (NFM, 2024)

A Streamlined, Formal Approach to Requirements-Based Testing. - Andreas Katis; Anastasia Mavridou; Thomas Pressburger (NFM, 2025)