FRET Publications List Updated

[anmavrid]

We have just updated our list of FRET-related publications. See here.

We are especially excited to highlight new additions under the external publications category, i.e., papers authored by researchers and practitioners who were not involved in FRET’s development.

If you are the author of a FRET-related paper and would like to see it included, feel free to reach out at anastasia.mavridou@nasa.gov.

Added papers:

• Hazel Taylor, Anastasia Mavridou, Marie Farrell, Louise A. Dennis.
  Explainability Pattern Specifications for Human-Robot Teamwork,
  ERAS 2025.

• Andreas Katis, Anastasia Mavridou, Thomas Pressburger.
  A Streamlined Formal Approach to Requirements-based Testing,
  NFM 2025.

• Hazel Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi and Louise Dennis.
  Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study,
  REFSQ 2025.

• Oisin Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck and Rosemary Monahan.
  Sharper Specs for Smarter Drones: Formalising Requirements with FRET,
  REFSQ 2025.

• Julius Adelt, Marie Farrell, Paula Herber, Matt Luckcuck and Rosemary Monahan.
  Defining Contracts for Autonomous Hybrid Systems in Structured Natural Language,
  Martin Franzle's Festschrift 2025.

• Adrian Agogino, Guillaume Brat, Yuning He, Daniel Hulse, Rory Lipkis, Thomas Pressburger, Divya Gopinath, Lukman Irshad, Andreas Katis, Anastasia Mavridou, Ganesh Pai, Corina Pasareanu, Ivan Perez and Johann Schumann.
  Recommendations on Evidence and Process for Certification of Learning-enabled Components in Aerospace Systems,
  NASA/TM–20240006865, 2024.

• Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds and Oisin Sheridan.
  Adventures in FRET and Specification,
  ISoLA 2024.