Concepedia

Marie Farrell

MF

Statistics

Publications

7

Citations

146

H-Index

7

Active since

2020

Affiliations

National University of Ireland, Maynooth(Current)

University of Manchester

University of Liverpool

Marie Farrell is an author at National University of Ireland, Maynooth specializing in computer science, safety engineering, and formal methods.

Publications per year

2020–2022

7

Publications

7

An Overview of Verification and Validation Challenges for Inspection Robots

Michael Fisher, Rafael C. Cardoso, Emily C. Collins et al. · Robotics · 2021 · 60 citations · Full text

Engineering, Nuclear Engineering, Robotics Engineering +16

Security-Minded Verification of Space Systems

Carsten Maple, Matthew Bradbury, Hu Yuan et al. · 2020 · 16 citations · Full text

Computing, Aerospace Engineering, Computer Science +17

Towards Compositional Verification for Modular Robotic Systems

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell et al. · Electronic Proceedings in Theoretical Computer Science · 2020 · 16 citations · Full text

Computing, Computer Science, Systems Engineering +14

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems

Marie Farrell, Matt Luckcuck, Laura Pullum et al. · 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 2021 · 16 citations · Full text

Engineering, Autonomous Systems, Systems Engineering +17

A formal approach to finding inconsistencies in a metamodel

Hao Wu, Marie Farrell · Software & Systems Modeling · 2021 · 14 citations · Full text

Computing, Computer Science, Design Automation +12

1–5 of 7