Marie Farrell

According to our database, Marie Farrell authored at least 38 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Security-Minded Verification of Cooperative Awareness Messages.

Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple

IEEE Trans. Dependable Secur. Comput., 2024

FRETting and Formal Modelling: A Mechanical Lung Ventilator.

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Robotics: A New Mission for FRET Requirements.

Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Adventures in FRET and Specification.

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

CSP2Turtle: Verified Turtle Robot Plans.

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Robotics, April, 2023

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper].

Louise A. Dennis, Marie Farrell, Michael Fisher

CoRR, 2023

Building Specifications in the Event-B Institution: A Summary.

Marie Farrell, Rosemary Monahan, James F. Power

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Exploring Requirements for Software that Learns: A Research Preview.

Marie Farrell, Anastasia Mavridou, Johann Schumann

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

2022

Building Specifications in the Event-B Institution.

Marie Farrell, Rosemary Monahan, James F. Power

Log. Methods Comput. Sci., 2022

A Compositional Approach to Verifying Modular Robotic Systems.

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

CoRR, 2022

Modelling the Turtle Python library in CSP.

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

Why just FRET when you can Refactor? Retuning FRETISH Requirements.

Matt Luckcuck, Marie Farrell, Oisín Sheridan

CoRR, 2022

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

An Abstract Architecture for Explainable Autonomy in Hazardous Environments.

Matt Luckcuck, Hazel M. Taylor, Marie Farrell

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Towards Refactoring FRETish Requirements.

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

A formal approach to finding inconsistencies in a metamodel.

Hao Wu, Marie Farrell

Softw. Syst. Model., 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

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

Robotics, 2021

Bridging the gap between single- and multi-model predictive runtime verification.

Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi

Formal Methods Syst. Des., 2021

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

Frontiers Robotics AI, 2021

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.

Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan

CoRR, 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

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

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

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Using dafny to solve the VerifyThis 2021 challenges.

Marie Farrell, Conor Reynolds, Rosemary Monahan

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Towards Compositional Verification for Modular Robotic Systems.

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Regulating Safety and Security in Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell

CoRR, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.

Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher

CoRR, 2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

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

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

When the Student Becomes the Teacher.

Marie Farrell, Hao Wu

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

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, Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2018

Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

Marie Farrell, Matt Luckcuck, Michael Fisher

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Specification Clones: An Empirical Study of the Structure of Event-B Specifications.

Marie Farrell, Rosemary Monahan, James F. Power

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability.

Marie Farrell, Rosemary Monahan, James F. Power

Proceedings of the Formal Methods and Software Engineering, 2017

2016

An Institution for Event-B.

Marie Farrell, Rosemary Monahan, James F. Power

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016