Marie Farrell
Marie Farrell
Maynooth University
Verified email at mu.ie - Homepage
Title
Cited by
Cited by
Year
Formal specification and verification of autonomous robotic systems: A survey
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019
1282019
Robotics and integrated formal methods: Necessity meets opportunity
M Farrell, M Luckcuck, M Fisher
International Conference on Integrated Formal Methods, 161-171, 2018
412018
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
172020
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
82020
An institution for Event-B
M Farrell, R Monahan, JF Power
International Workshop on Algebraic Development Techniques, 104-119, 2016
72016
An Overview of Verification and Validation Challenges for Inspection Robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
62021
Using threat analysis techniques to guide formal verification: A case study of cooperative awareness messages
M Farrell, M Bradbury, M Fisher, LA Dennis, C Dixon, H Yuan, C Maple
International Conference on Software Engineering and Formal Methods, 471-490, 2019
62019
Specification Clones: An empirical study of the structure of Event-B specifications
M Farrell, R Monahan, JF Power
International Conference on Software Engineering and Formal Methods, 152-167, 2017
52017
Security-minded verification of space systems
C Maple, M Bradbury, H Yuan, M Farrell, C Dixon, M Fisher, UI Atmaca
2020 IEEE Aerospace Conference, 1-13, 2020
42020
Formal verification of an autonomous grasping algorithm
M Farrell, N Mavrakis, C Dixon, Y Gao
International symposium on artificial intelligence, robotics and automation …, 2020
42020
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
International Conference on Integrated Formal Methods, 538-541, 2019
42019
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering—A White Paper—
A Cerone, M Roggenbach, J Davenport, C Denner, M Farrell, ...
International Workshop on Formal Methods-Fun for Everybody, 1-26, 2019
32019
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
H Bourbouh, M Farrell, A Mavridou, I Sljivo, G Brat, LA Dennis, M Fisher
NASA Formal Methods Symposium, 53-71, 2021
22021
When the student becomes the teacher
M Farrell, H Wu
International Workshop on Formal Methods-Fun for Everybody, 208-217, 2019
22019
Modular verification of autonomous space robotics
M Farrell, RC Cardoso, LA Dennis, C Dixon, M Fisher, G Kourtis, A Lisitsa, ...
arXiv preprint arXiv:1908.10738, 2019
22019
Event-B in the Institutional Framework: Defining a Semantics, Modularisation Constructs and Interoperability for a Specification Language
M Farrell
PQDT-Global, 2017
22017
Cyber risk management in satellite systems
C Kapalidis, C Maple, M Bradbury, M Farrell, M Fisher
IET Digital Library, 2019
12019
Combining Event-B and CSP: An Institution Theoretic approach to Interoperability
M Farrell, R Monahan, JF Power
International Conference on Formal Engineering Methods, 140-156, 2017
12017
Proceedings Third Workshop on Formal Methods for Autonomous Systems
M Farrell, M Luckcuck
arXiv preprint arXiv:2110.11527, 2021
2021
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
M Luckcuck, M Farrell, O Sheridan, R Monahan
arXiv preprint arXiv:2110.09277, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20