Sotabase

Career

· Teachta Dála for Galway West, Oireachtas (Irish Parliament)2020–
· Teachta Dála for Galway West, Sinn Féin2020–
· Various roles including clerical officer, garda reserve, production worker, sales assistant, and care assistant, Mairead Farrell (CV-based roles)2010–2015
· Clerical Officer, Carton Bros, Shercock

Publications (54)

Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys · 2018
169
cited
Robotics and Integrated Formal Methods: Necessity meets Opportunity
International Conference on Integrated Formal Methods · 2018
52
cited
An Overview of Verification and Validation Challenges for Inspection Robots
Robotics · 2021
51
cited
Heterogeneous Verification of an Autonomous Curiosity Rover
NASA Formal Methods · 2020
30
cited
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
NASA Formal Methods · 2021
25
cited
A Review of Verification and Validation for Space Autonomous Systems
Current Robotics Reports · 2021
21
cited
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
International Conference on Integrated Formal Methods · 2019
17
cited
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Requirements Engineering: Foundation for Software Quality · 2021
16
cited
Towards Compositional Verification for Modular Robotic Systems
FMAS · 2020
16
cited
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems
2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 2021
14
cited
Security-Minded Verification of Space Systems
IEEE Aerospace Conference · 2020
14
cited
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
IEEE International Conference on Software Engineering and Formal Methods · 2019
13
cited
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
FMFun · 2020
11
cited
An Institution for Event-B
Workshop on Recent Trends in Algebraic Development Techniques · 2016
8
cited
A formal approach to finding inconsistencies in a metamodel
Journal of Software and Systems Modeling · 2021
7
cited
Bridging the gap between single- and multi-model predictive runtime verification
Formal methods in system design · 2021
7
cited
Exploring Requirements for Software that Learns: A Research Preview
Requirements Engineering: Foundation for Software Quality · 2023
7
cited
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Frontiers in Robotics and AI · 2022
7
cited
FORMAL VERIFICATION OF AN AUTONOMOUS GRASPING ALGORITHM
2020
6
cited
FRETting and Formal Modelling: A Mechanical Lung Ventilator
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z · 2024
6
cited
Sotabase
Marie Farrell | Researcher Profile | Sotabase | Sotabase