An Institution for Event-B. - Marie Farrell; Rosemary Monahan; James F. Power (WADT, 2016)

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. - Marie Farrell; Rosemary Monahan; James F. Power (ICFEM, 2017)

Specification Clones: An Empirical Study of the Structure of Event-B Specifications. - Marie Farrell; Rosemary Monahan; James F. Power (SEFM, 2017)

Robotics and Integrated Formal Methods: Necessity Meets Opportunity. - Marie Farrell; Matt Luckcuck; Michael Fisher 001 (IFM, 2018)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

When the Student Becomes the Teacher. - Marie Farrell; Hao Wu 017 (FMFun, 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (IFM, 2019)

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Hu Yuan 001; Carsten Maple (SEFM, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Michael Fisher 001 (CoRR, 2019)

Formal Specification and Verification of Autonomous Robotic Systems: A Survey. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (ACM Comput. Surv., 2019)

Heterogeneous Verification of an Autonomous Curiosity Rover. - Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Angelo Ferrando 001; Michael Fisher 001 (NFM, 2020)

Regulating Safety and Security in Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell (CoRR, 2020)

Towards Compositional Verification for Modular Robotic Systems. - Rafael C. Cardoso 001; Louise A. Dennis; Marie Farrell; Michael Fisher 001; Matt Luckcuck (FMAS, 2020)

Using dafny to solve the VerifyThis 2021 challenges. - Marie Farrell; Conor Reynolds; Rosemary Monahan (FTfJP@ECOOP, 2021)

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. - Marie Farrell; Matt Luckcuck; Laura Pullum; Michael Fisher 001; Ali Hessami; Danit Gal; Zvikomborero Murahwi; Ken R. Wallace (ISSRE Workshops, 2021)

Integrating Formal Verification and Assurance: An Inspection Rover Case Study. - Hamza Bourbouh; Marie Farrell; Anastasia Mavridou; Irfan Sljivo; Guillaume Brat; Louise A. Dennis; Michael Fisher 001 (NFM, 2021)

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan; Rosemary Monahan (CoRR, 2021)

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. - Marie Farrell; Nikos Mavrakis; Angelo Ferrando 001; Clare Dixon; Yang Gao 002 (Frontiers Robotics AI, 2021)

Bridging the gap between single- and multi-model predictive runtime verification. - Angelo Ferrando 001; Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Fabio Papacchini; Michael Fisher 001; Viviana Mascardi (Formal Methods Syst. Des., 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

A formal approach to finding inconsistencies in a metamodel. - Hao Wu 017; Marie Farrell (Softw. Syst. Model., 2021)

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. - Marie Farrell; Nikos Mavrakis; Angelo Ferrando 001; Clare Dixon; Yang Gao 002 (IFM, 2022)

Towards Refactoring FRETish Requirements. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (NFM, 2022)

An Abstract Architecture for Explainable Autonomy in Hazardous Environments. - Matt Luckcuck; Hazel M. Taylor; Marie Farrell (RE Workshops, 2022)

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (REFSQ, 2022)

Why just FRET when you can Refactor? Retuning FRETISH Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan (CoRR, 2022)

Modelling the Turtle Python library in CSP. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (AREA@IJCAI-ECAI, 2022)

A Compositional Approach to Verifying Modular Robotic Systems. - Matt Luckcuck; Marie Farrell; Angelo Ferrando 001; Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (CoRR, 2022)

Building Specifications in the Event-B Institution. - Marie Farrell; Rosemary Monahan; James F. Power (Log. Methods Comput. Sci., 2022)

Exploring Requirements for Software that Learns: A Research Preview. - Marie Farrell; Anastasia Mavridou; Johann Schumann (REFSQ, 2023)

Building Specifications in the Event-B Institution: A Summary. - Marie Farrell; Rosemary Monahan; James F. Power (ABZ, 2023)

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. - Louise A. Dennis; Marie Farrell; Michael Fisher 001 (CoRR, 2023)

CSP2Turtle: Verified Turtle Robot Plans. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (Robotics, 2023)

Adventures in FRET and Specification. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ISoLA (3), 2024)

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

FRETting and Formal Modelling: A Mechanical Lung Ventilator. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ABZ, 2024)

Security-Minded Verification of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Rafael C. Cardoso 001; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Al Tariq Sheik; Hu Yuan 001; Carsten Maple (IEEE Trans. Dependable Secur. Comput., 2024)

Quantitative Operational Monitoring for BDI Agents. - Marie Farrell; Angelo Ferrando 001; Mengwei Xu (AAMAS, 2025)

Sharper Specs for Smarter Drones: Formalising Requirements with FRET. - Oisín Sheridan; Leandro Buss Becker; Marie Farrell; Matt Luckcuck; Rosemary Monahan (REFSQ, 2025)

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 (REFSQ, 2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study. - Weiqi Wang; Marie Farrell; Lucas C. Cordeiro; Liping Zhao (CoRR, 2025)