We maintain two publication lists: 1. FRET publications categorized into topics and 2. FRET publications in chronological order.
We thank the community for using FRET. Here is a list of FRET-related publications written by researchers and practitioners that have not been involved in FRET's development.
- Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, Nija Shi. Formal Requirements Elicitation with FRET, REFSQ 2020, Tool Paper.
-
Gricel Vazquez, Anastasia Mavridou, Marie Farrell, Tom Pressurger, Radu Calinescu. Robotics: A New Mission for FRET Requirements, NFM 2024.
-
Mohammad Hejase, Andreas Katis, Anastasia Mavridou. Design, formalization, and verification of decision making for intelligent systems, AIAA SCITECH 2024.
-
Irfan Sljivo, Anastasia Mavridou, Johann Schumann, Ivan Perez, Pavlo G. Vlastos, Corey Carter. Dynamic Assurance of Autonomous Systems through Ground Control Software, AIAA SCITECH 2024.
-
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft, REFSQ 2023.
-
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study, NASA/TM–20220017032, April 2023.
-
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher. Integrating Formal Verification and Assurance: An Inspection Rover Case Study, NFM 2021.
-
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo. Integration and Evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B Tools on the Inspection Rover Case Study, NASA/TM–2020–20205011049, March 2020.
-
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Tom Pressburger, Pierre-Loic Garoche, Johann Schumann. The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained, RE 2020, Industry track.
-
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Mohammad Hejase. Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems, NASA/TM-2019-220374, August 2019.
-
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. A Compositional Proof Framework for FRETish Requirements, CPP 2022.
-
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann (2021). Automated formalization of structured natural language requirements, Information and Software Technology (IST) Journal, 137, 106590, Special Section on REFSQ’20, 2021.
-
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann. Generation of Formal Requirements from Structured Natural Language, REFSQ 2020.
-
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET, CAV 2022.
-
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Realizability checking of requirements in FRET, NASA/TM–20220007510, April 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, Andreas Katis, Anastasia Mavridou, Thomas Pressburger. Compositional Realizability Checking with FRET, NASA/TM–2021–20210013008, March 2021.
-
David Kooi, Anastasia Mavridou. Integrating Realizability Checking in FRET, NASA/TM–2019-20190033980, June 2019.
-
Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernandez Adiego. Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif, NFM 2024.
-
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif, NFM 2023.
-
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. Automated Verification of Programmable Logic Controller Programs against Structured Natural Language Requirements, NASA/TM–20230003752, March 2023.
-
Carlos Mao de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins. Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software, DSN-W 2023.
-
Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Bridging the Gap Between Requirements and Simulink Model Analysis, REFSQ 2020, Poster Paper.
-
Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. Automated Translation of Natural Language Requirements to Runtime Monitors, TACAS 2022.
-
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, and Patrick J. Martin. Monitoring ROS2: from Requirements to Autonomous Robots, FMAS 2022.
-
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. Integrating FRET with Copilot: Automated Translation of Natural Language Requirements to Runtime Monitors, NASA/TM–20220000049, January 2022.
-
Aaron Dutle, Cesar A. Munoz, 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.
- Marie Farrell, Anastasia Mavridou, Johann Schumann. Exploring Requirements for Software that Learns: A Research Preview, REFSQ 2023.
-
Nathaniel Benz, Irfan Sjivo, Pavlo G. Vlastos, Aaron Woodard, Corey Carter, Mohammad Hejase. The Troupe System: An autonomous multi-agent rover swarm, AIAA SCITECH 2024.
-
Austin B. Probe, S. Will Chambers, Amalaye Oyake, Matthew Deans, Guillaume Brat, Nick Cramer, Brian Kempa, Brian Roberts, Kimberly Hambuchen. Space ROS: An Open-Source Framework for Space Robotics and Flight Software, AIAA SCITECH 2023.
-
Joseph Kiniry, Alexanders Bakst, Simon Hansen, Michal Podhradsky, and Andrew Bivin. The HARDENS Final Report, Galois Inc Technical Report, January 2023.
-
Zsófia Ádám. Formulating Requirements with FRET for PLCVerif, CERN (European Organization for Nuclear Research) Technical Report, September 2022.
-
Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan. Towards Refactoring FRETish Requirements, NFM 2022.
-
Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan. FRETting About Requirements: Formalised Requirements For An Aircraft Engine Controller, REFSQ 2022.
-
Matt Luckcuck, Marie Farrell, Oisin Sheridan, Rosemary Monahan. A Methodology For Developing A Verifiable Aircraft Engine Controller From Formal Requirements, IEEE Aeroconf 2022.
-
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal, Frontiers in Robotics and AI 2022.
-
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao. Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal, iFM 2022.
-
Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernandez Adiego. Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif, NFM 2024.
-
Gricel Vazquez, Anastasia Mavridou, Marie Farrell, Tom Pressurger, Radu Calinescu. Robotics: A New Mission for FRET Requirements, NFM 2024.
-
Mohammad Hejase, Andreas Katis, Anastasia Mavridou. Design, formalization, and verification of decision making for intelligent systems, AIAA SCITECH 2024.
-
Irfan Sljivo, Anastasia Mavridou, Johann Schumann, Ivan Perez, Pavlo G. Vlastos, Corey Carter. Dynamic Assurance of Autonomous Systems through Ground Control Software, AIAA SCITECH 2024.
-
Nathaniel Benz, Irfan Sjivo, Pavlo G. Vlastos, Aaron Woodard, Corey Carter, Mohammad Hejase. The Troupe System: An autonomous multi-agent rover swarm, AIAA SCITECH 2024.
-
Austin B. Probe, S. Will Chambers, Amalaye Oyake, Matthew Deans, Guillaume Brat, Nick Cramer, Brian Kempa, Brian Roberts, Kimberly Hambuchen. Space ROS: An Open-Source Framework for Space Robotics and Flight Software, AIAA SCITECH 2023.
-
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif, NFM 2023.
-
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. Automated Verification of Programmable Logic Controller Programs against Structured Natural Language Requirements, NASA/TM–20230003752, March 2023.
-
Carlos Mao de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins. Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software, DSN-W 2023.
-
Marie Farrell, Anastasia Mavridou, Johann Schumann. Exploring Requirements for Software that Learns: A Research Preview, REFSQ 2023.
-
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft, REFSQ 2023.
-
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study, NASA/TM–20220017032, April 2023.
-
Joseph Kiniry, Alexanders Bakst, Simon Hansen, Michal Podhradsky, and Andrew Bivin. The HARDENS Final Report, Galois Inc, January 2023.
-
Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. Automated Translation of Natural Language Requirements to Runtime Monitors, TACAS 2022.
-
Zsófia Ádám. Formulating Requirements with FRET for PLCVerif, CERN (European Organization for Nuclear Research) Technical Report, September 2022.
-
Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan. Towards Refactoring FRETish Requirements, NFM 2022.
-
Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan. FRETting About Requirements: Formalised Requirements For An Aircraft Engine Controller, REFSQ 2022.
-
Matt Luckcuck, Marie Farrell, Oisin Sheridan, Rosemary Monahan. A Methodology For Developing A Verifiable Aircraft Engine Controller From Formal Requirements, IEEE Aeroconf 2022.
-
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal, Frontiers in Robotics and AI 2022.
-
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, and Patrick J. Martin. Monitoring ROS2: from Requirements to Autonomous Robots, FMAS 2022.
-
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. Integrating FRET with Copilot: Automated Translation of Natural Language Requirements to Runtime Monitors, NASA/TM–20220000049, January 2022.
-
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET, CAV 2022.
-
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Realizability checking of requirements in FRET, NASA/TM–20220007510, April 2022.
-
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. A Compositional Proof Framework for FRETish Requirements, CPP 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, Andreas Katis, Anastasia Mavridou, Thomas Pressburger. Compositional Realizability Checking with FRET, NASA/TM–2021–20210013008, March 2021.
-
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann (2021). Automated formalization of structured natural language requirements, Information and Software Technology (IST) Journal, 137, 106590, Special Section on REFSQ’20, 2021.
-
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher. Integrating Formal Verification and Assurance: An Inspection Rover Case Study, NFM 2021.
-
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo. Integration and Evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B Tools on the Inspection Rover Case Study, NASA/TM–2020–20205011049, March 2020.
-
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Tom Pressburger, Pierre-Loic Garoche, Johann Schumann. The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained, RE 2020, Industry track.
-
Aaron Dutle, Cesar A. Munoz, 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, Johann Schumann. Generation of Formal Requirements from Structured Natural Language, REFSQ 2020.
-
Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Bridging the Gap Between Requirements and Simulink Model Analysis, REFSQ 2020, Poster Paper.
-
Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, Nija Shi. Formal Requirements Elicitation with FRET, REFSQ 2020, Tool Paper.
-
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Mohammad Hejase. Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems, NASA/TM-2019-220374, August 2019.
-
David Kooi, Anastasia Mavridou. Integrating Realizability Checking in FRET, NASA/TM–2019-20190033980, June 2019.