Marie Farrell - Concepedia

Author

Marie Farrell

Also Known As

Couto,L, Dongol,B, Farrell, Marie, M. Farrell, Marie Farrell, William Farrell, m F, Jr

Publications

582

Citations

H-Index

Concepts

All Affiliations

Marie Farrell is an author at University of Manchester specializing in formal verification, computer science, and verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	82
2	Computer Science	3	3	82
3	Systems Engineering	3	3	82
4	Autonomous Systems	2	2	68
5	Space Engineering	1	1	11

Marie Farrell

Publications

123

Citations

H-Index

Page 1

	Year	Citations
An Overview of Verification and Validation Challenges for Inspection Robots Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Robotics Robotic SystemsEngineeringRobotic AgentVerificationField Robotics	2021	57
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems Marie Farrell, Matt Luckcuck, Laura Pullum, 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)	2021	16
Security-Minded Verification of Space Systems Carsten Maple, Matthew Bradbury, Hu Yuan, EngineeringInformation SecurityVerificationSpace PolicySpace System	2020	14
Towards Compositional Verification for Modular Robotic Systems Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Electronic Proceedings in Theoretical Computer Science	2020	14
A formal approach to finding inconsistencies in a metamodel Hao Wu, Marie Farrell Software & Systems Modeling	2021	11
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Frontiers in Robotics and AI Robot KinematicsRobotic SystemsEngineeringField RoboticsVerification	2022	11

Page 1