Marie Farrell

63 papers A 2B 10C 3Journal 26Unranked 16
YearRankTypeTitle / Venue / Authors
2026 B ed.
Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
iFM
Ferruccio Damiani, Marie Farrell
2025 J jnl
Adventures in FRET and Specification.
CoRR
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2025 J jnl
Automated Formalization of Probabilistic Requirements from Structured Natural Language.
CoRR
Anastasia Mavridou, Marie Farrell, Gricel Vázquez, Thomas Pressburger, Timothy E. Wang, Radu Calinescu, Michael Fisher
2025 B conf
Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study.
REFSQ
Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis
2025 A conf
Quantitative Operational Monitoring for BDI Agents.
AAMAS
Marie Farrell, Angelo Ferrando, Mengwei Xu
2025 — conf
Revisiting Formal Methods for Autonomous Robots: A Structured Survey - (Invited Paper).
TAROS
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
2025 J jnl
Revisiting Formal Methods for Autonomous Robots: A Structured Survey.
CoRR
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
2025 — conf
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains.
FMAS@iFM
Diana C. Benjumea, Marie Farrell, Louise A. Dennis
2025 B conf
Sharper Specs for Smarter Drones: Formalising Requirements with FRET.
REFSQ
Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2025 A conf
Supporting Software Formal Verification with Large Language Models: An Experimental Study.
RE
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
2025 J jnl
Supporting Software Formal Verification with Large Language Models: An Experimental Study.
CoRR
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
2025 — conf
Towards A Catalogue of Requirement Patterns for Space Robotic Missions.
FMAS@iFM
Mahdi Etumi, Hazel M. Taylor, Marie Farrell
2024 — conf
Adventures in FRET and Specification.
ISoLA (3)
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024 C conf
FRETting and Formal Modelling: A Mechanical Lung Ventilator.
ABZ
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024 — conf
Robotics: A New Mission for FRET Requirements.
NFM
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
2024 J jnl
Security-Minded Verification of Cooperative Awareness Messages.
IEEE Trans. Dependable Secur. Comput.
Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
2023 C conf
Building Specifications in the Event-B Institution: A Summary.
ABZ
Marie Farrell, Rosemary Monahan, James F. Power
2023 J jnl
CSP2Turtle: Verified Turtle Robot Plans.
Robotics
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2023 J jnl
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper].
CoRR
Louise A. Dennis, Marie Farrell, Michael Fisher
2023 B conf
Exploring Requirements for Software that Learns: A Research Preview.
REFSQ
Marie Farrell, Anastasia Mavridou, Johann Schumann
2023 — ed.
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023.
FMAS@iFM
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
2022 J jnl
A Compositional Approach to Verifying Modular Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2022 — conf
An Abstract Architecture for Explainable Autonomy in Hazardous Environments.
RE Workshops
Matt Luckcuck, Hazel M. Taylor, Marie Farrell
2022 J jnl
Building Specifications in the Event-B Institution.
Log. Methods Comput. Sci.
Marie Farrell, Rosemary Monahan, James F. Power
2022 B conf
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.
REFSQ
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 B conf
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
IFM
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
2022 — conf
Modelling the Turtle Python library in CSP.
AREA@IJCAI-ECAI
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2022 — ed.
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022.
FMAS/ASYDE@SEFM
Matt Luckcuck, Marie Farrell
2022 — conf
Towards Refactoring FRETish Requirements.
NFM
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 J jnl
Towards Refactoring FRETish Requirements.
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 J jnl
Why just FRET when you can Refactor? Retuning FRETISH Requirements.
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan
2021 J jnl
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
2021 J jnl
A formal approach to finding inconsistencies in a metamodel.
Softw. Syst. Model.
Hao Wu, Marie Farrell
2021 J jnl
An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
2021 J jnl
Bridging the gap between single- and multi-model predictive runtime verification.
Formal Methods Syst. Des.
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021 J jnl
Building Specifications in the Event-B Institution.
CoRR
Marie Farrell, Rosemary Monahan, James F. Power
2021 — conf
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.
ISSRE Workshops
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace
2021 J jnl
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller.
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2021 J jnl
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
Frontiers Robotics AI
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
2021 — conf
Integrating Formal Verification and Assurance: An Inspection Rover Case Study.
NFM
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
2021 — ed.
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021.
FMAS
Marie Farrell, Matt Luckcuck
2021 — conf
Using dafny to solve the VerifyThis 2021 challenges.
FTfJP@ECOOP
Marie Farrell, Conor Reynolds, Rosemary Monahan
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — conf
Heterogeneous Verification of an Autonomous Curiosity Rover.
NFM
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020 J jnl
Heterogeneous Verification of an Autonomous Curiosity Rover.
CoRR
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020 — ed.
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020.
FMAS
Matt Luckcuck, Marie Farrell
2020 J jnl
Regulating Safety and Security in Autonomous Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell
2020 J jnl
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR
Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
2020 — conf
Towards Compositional Verification for Modular Robotic Systems.
FMAS
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
2019 B conf
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
IFM
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019 J jnl
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
2019 J jnl
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019 J jnl
Modular Verification of Autonomous Space Robotics.
CoRR
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2019 — conf
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
FMFun
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, Rustam Zhumagambetov
2019 B conf
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.
SEFM
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
2019 — conf
When the Student Becomes the Teacher.
FMFun
Marie Farrell, Hao Wu
2018 J jnl
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2018 B conf
Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
IFM
Marie Farrell, Matt Luckcuck, Michael Fisher
2018 J jnl
Robotics and Integrated Formal Methods: Necessity meets Opportunity.
CoRR
Marie Farrell, Matt Luckcuck, Michael Fisher
2017 C conf
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability.
ICFEM
Marie Farrell, Rosemary Monahan, James F. Power
2017 B conf
Specification Clones: An Empirical Study of the Structure of Event-B Specifications.
SEFM
Marie Farrell, Rosemary Monahan, James F. Power
2016 — conf
An Institution for Event-B.
WADT
Marie Farrell, Rosemary Monahan, James F. Power