| 2026 | FM | Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial. | Anastasia Mavridou, Andreas Katis, Mari A. Aoki, Marie Farrell |
| 2025 | RE | Supporting Software Formal Verification with Large Language Models: An Experimental Study. | Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao |
| 2025 | REFSQ | Sharper Specs for Smarter Drones: Formalising Requirements with FRET. | Oisn Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan |
| 2025 | REFSQ | Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study. | Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis |
| 2024 | ISoLA | Adventures in FRET and Specification. | Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisn Sheridan |
| 2023 | REFSQ | Exploring Requirements for Software that Learns: A Research Preview. | Marie Farrell, Anastasia Mavridou, Johann Schumann |
| 2022 | IFM | Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. | Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao |
| 2022 | RE | An Abstract Architecture for Explainable Autonomy in Hazardous Environments. | Matt Luckcuck, Hazel M. Taylor, Marie Farrell |
| 2022 | REFSQ | FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. | Marie Farrell, Matt Luckcuck, Oisn Sheridan, Rosemary Monahan |
| 2021 | ECOOP | Using dafny to solve the VerifyThis 2021 challenges. | Marie Farrell, Conor Reynolds, Rosemary Monahan |
| 2021 | ISSRE | Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. | Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace |
| 2019 | IFM | A Summary of Formal Specification and Verification of Autonomous Robotic Systems. | Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2019 | SEFM | Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. | Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple |
| 2018 | IFM | Robotics and Integrated Formal Methods: Necessity Meets Opportunity. | Marie Farrell, Matt Luckcuck, Michael Fisher |
| 2017 | ICFEM | Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. | Marie Farrell, Rosemary Monahan, James F. Power |
| 2017 | SEFM | Specification Clones: An Empirical Study of the Structure of Event-B Specifications. | Marie Farrell, Rosemary Monahan, James F. Power |