Follow
Marie Farrell
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
2102019
Robotics and integrated formal methods: Necessity meets opportunity
M Farrell, M Luckcuck, M Fisher
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
522018
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
352020
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
182021
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: 13th International Symposium, NFM 2021, Virtual Event …, 2021
162021
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
162020
An institution for Event-B
M Farrell, R Monahan, JF Power
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 …, 2017
102017
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
92020
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
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
82019
FRETting about requirements: formalised requirements for an aircraft engine controller
M Farrell, M Luckcuck, O Sheridan, R Monahan
Requirements Engineering: Foundation for Software Quality: 28th …, 2022
72022
Formal verification of an autonomous grasping algorithm
M Farrell, N Mavrakis, C Dixon, Y Gao
International Symposium on Artificial Intelligence, Robotics and Automation …, 2020
72020
Formal modelling and runtime verification of autonomous grasping for active debris removal
M Farrell, N Mavrakis, A Ferrando, C Dixon, Y Gao
Frontiers in Robotics and AI 8, 425, 2022
62022
A summary of formal specification and verification of autonomous robotic systems
M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019
62019
Specification Clones: An empirical study of the structure of Event-B specifications
M Farrell, R Monahan, JF Power
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
62017
A methodology for developing a verifiable aircraft engine controller from formal requirements
M Luckcuck, M Farrell, O Sheridan, R Monahan
2022 IEEE Aerospace Conference (AERO), 1-12, 2022
52022
Evolution of the IEEE P7009 standard: Towards fail-safe design of autonomous systems
M Farrell, M Luckcuck, L Pullum, M Fisher, A Hessami, D Gal, Z Murahwi, ...
2021 IEEE International Symposium on Software Reliability Engineering …, 2021
52021
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
52019
A review of verification and validation for space autonomous systems
RC Cardoso, G Kourtis, LA Dennis, C Dixon, M Farrell, M Fisher, ...
Current Robotics Reports 2 (3), 273-283, 2021
42021
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, ...
Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021
42021
Combining event-B and CSP: An institution theoretic approach to interoperability
M Farrell, R Monahan, JF Power
Formal Methods and Software Engineering: 19th International Conference on …, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20