Marie Farrell

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 44

Top Topics

Software Engineering

Top Venues

Publications

Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
Robotics: A New Mission for FRET Requirements. NFM (2024)
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
FRETting and Formal Modelling: A Mechanical Lung Ventilator. ABZ (2024)
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems. CoRR (2023)
Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution: A Summary. ABZ (2023)
Marie Farrell, Anastasia Mavridou, Johann Schumann
Exploring Requirements for Software that Learns: A Research Preview. REFSQ (2023)
Louise A. Dennis, Marie Farrell, Michael Fisher
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. CoRR (2023)
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
CSP2Turtle: Verified Turtle Robot Plans. Robotics 12 (2) (2023)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Towards Refactoring FRETish Requirements. NFM (2022)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. REFSQ (2022)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM (2022)
Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution. Log. Methods Comput. Sci. 18 (4) (2022)
Matt Luckcuck, Hazel M. Taylor, Marie Farrell
An Abstract Architecture for Explainable Autonomy in Hazardous Environments. RE Workshops (2022)
Matt Luckcuck, Marie Farrell, Oisín Sheridan
Why just FRET when you can Refactor? Retuning FRETISH Requirements. CoRR (2022)
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
A Compositional Approach to Verifying Modular Robotic Systems. CoRR (2022)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Towards Refactoring FRETish Requirements. CoRR (2022)
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
Modelling the Turtle Python library in CSP. AREA@IJCAI-ECAI (2022)
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. CoRR (2021)
Marie Farrell, Rosemary Monahan, James F. Power
Building Specifications in the Event-B Institution. CoRR (2021)
Hao Wu, Marie Farrell
A formal approach to finding inconsistencies in a metamodel. Softw. Syst. Model. 20 (4) (2021)
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
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI 8 (2021)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller. CoRR (2021)
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken Wallace
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. ISSRE Workshops (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)
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59 (1) (2021)
Marie Farrell, Conor Reynolds, Rosemary Monahan
Using dafny to solve the VerifyThis 2021 challenges. FTfJP@ECOOP (2021)
Matt Luckcuck, Marie Farrell
Regulating Safety and Security in Autonomous Robotic Systems. CoRR (2020)
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
Towards Compositional Verification for Modular Robotic Systems. FMAS (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52 (5) (2019)
Antonio Cerone, Markus Roggenbach, James 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
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Marie Farrell, Hao Wu
When the Student Becomes the Teacher. FMFun (2019)
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM (2019)
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. IFM (2018)
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotics and Integrated Formal Methods: Necessity meets Opportunity. CoRR (2018)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR (2018)
Marie Farrell, Rosemary Monahan, James F. Power
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ICFEM (2017)
Marie Farrell, Rosemary Monahan, James F. Power
Specification Clones: An Empirical Study of the Structure of Event-B Specifications. SEFM (2017)
Marie Farrell, Rosemary Monahan, James F. Power
An Institution for Event-B. WADT (2016)