| 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 | 359 | 2019 |
| Robotics and integrated formal methods: Necessity meets opportunity M Farrell, M Luckcuck, M Fisher Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 59 | 2018 |
| 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 | 55 | 2021 |
| 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 | 44 | 2021 |
| 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 | 41 | 2020 |
| FRETting about requirements: formalised requirements for an aircraft engine controller M Farrell, M Luckcuck, O Sheridan, R Monahan International Working Conference on Requirements Engineering: Foundation for …, 2022 | 27 | 2022 |
| 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 | 20 | 2021 |
| Towards compositional verification for modular robotic systems RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck arXiv preprint arXiv:2012.01648, 2020 | 18 | 2020 |
| 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 | 18 | 2020 |
| 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 | 17 | 2021 |
| 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, 639282, 2022 | 16 | 2022 |
| 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 | 16 | 2021 |
| 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 | 15 | 2019 |
| Cyber risk management in satellite systems C Kapalidis Living in the Internet of Things (IoT 2019), 14, 2019 | 13 | 2019 |
| An institution for Event-B M Farrell, R Monahan, JF Power International Workshop on Algebraic Development Techniques, 104-119, 2016 | 13 | 2016 |
| Bridging the gap between single-and multi-model predictive runtime verification A Ferrando, RC Cardoso, M Farrell, M Luckcuck, F Papacchini, M Fisher, ... Formal Methods in System Design 59 (1), 44-76, 2021 | 11 | 2021 |
| A formal approach to finding inconsistencies in a metamodel H Wu, M Farrell Software and Systems Modeling 20 (4), 1271-1298, 2021 | 11 | 2021 |
| Formal verification of an autonomous grasping algorithm M Farrell, N Mavrakis, C Dixon, Y Gao International Symposium on Artificial Intelligence, Robotics and Automation …, 2020 | 11 | 2020 |
| 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 | 11 | 2019 |
| Building specifications in the Event-B institution M Farrell, R Monahan, JF Power Logical Methods in Computer Science 18, 2022 | 9 | 2022 |
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamVerifierad e-postadress på nottingham.ac.uk