Skip to content

Latest commit

 

History

History
32 lines (17 loc) · 2.92 KB

PUBLICATIONS.md

File metadata and controls

32 lines (17 loc) · 2.92 KB

FRET Publications

  • Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, and Patrick J. Martin. "Monitoring ROS2: from Requirements to Autonomous Robots". FMAS 2022.

  • Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. "Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET". CAV 2022. ·

  • Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. "A Compositional Proof Framework for FRETish Requirements". CPP 2022.

  • Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. "Automated Translation of Natural Language Requirements to Runtime Monitors". TACAS 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, Thomas Pressburger, Anastasia Mavridou, Johann Schumann (2021). "Automated formalization of structured natural language requirements". Information and Software Technology (IST) Journal, Special Section on REFSQ’20.

  • Dimitra Giannakopoulou, Andreas Katis, Anastasia Mavridou, Thomas Pressburger. "Compositional Realizability Checking with FRET". NASA/TM–2021–20210013008, March 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.

  • 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.