| 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 | 71 | 2019 |
| Robotics and integrated formal methods: Necessity meets opportunity M Farrell, M Luckcuck, M Fisher International Conference on Integrated Formal Methods, 161-171, 2018 | 25 | 2018 |
| Heterogeneous verification of an autonomous curiosity rover RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher NASA Formal Methods Symposium, 353-360, 2020 | 5 | 2020 |
| An institution for Event-B M Farrell, R Monahan, JF Power International Workshop on Algebraic Development Techniques, 104-119, 2016 | 5 | 2016 |
| 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 International Conference on Software Engineering and Formal Methods, 471-490, 2019 | 3 | 2019 |
| Specification Clones: An empirical study of the structure of Event-B specifications M Farrell, R Monahan, JF Power International Conference on Software Engineering and Formal Methods, 152-167, 2017 | 3 | 2017 |
| 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 | 2 | 2019 |
| Towards Compositional Verification for Modular Robotic Systems RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck arXiv preprint arXiv:2012.01648, 2020 | 1 | 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, ... arXiv preprint arXiv:2010.05708, 2020 | 1 | 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 | 1 | 2019 |
| Event-B in the Institutional Framework: Defining a Semantics, Modularisation Constructs and Interoperability for a Specification Language M Farrell National University of Ireland Maynooth, 2017 | 1 | 2017 |
| Proceedings Second Workshop on Formal Methods for Autonomous Systems M Luckcuck, M Farrell arXiv preprint arXiv:2012.01176, 2020 | | 2020 |
| Regulating Safety and Security in Autonomous Robotic Systems M Luckcuck, M Farrell arXiv preprint arXiv:2007.08006, 2020 | | 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 | | 2020 |
| Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II E Sekerinski, N Moreira, JN Oliveira, D Ratiu, R Guidotti, M Farrell, ... Springer Nature, 2020 | | 2020 |
| Formal Methods. FM 2019 International Workshops J Campos, T Astarte, D Delmas, P Monteiro, M Kutrib, B Dongol, L Couto, ... | | 2020 |
| Formal Methods. FM 2019 International Workshops M Farrell, D Delmas, P Monteiro, M Kutrib, B Dongol, L Couto, A Cerone, ... | | 2020 |
| Cyber risk management in satellite systems C Kapalidis, C Maple, M Bradbury, M Farrell, M Fisher IET Digital Library, 2019 | | 2019 |
| An Approach to Combining the Institutions for Event-B and Temporal Logic M Farrell, R Monahan, JF Power, M Fisher | | 2018 |
| Combining Event-B and CSP: An Institution Theoretic approach to Interoperability M Farrell, R Monahan, JF Power International Conference on Formal Engineering Methods, 140-156, 2017 | | 2017 |
Michael FisherProfessor of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
