| 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), 100, 2019 | 72 | 2019 |
| Robotics and Integrated Formal Methods: Necessity meets Opportunity M Farrell, M Luckcuck, M Fisher Integrated Formal Methods. IFM 2018 11023, 161-171, 2018 | 28 | 2018 |
| Verifiable Self-Certifying Autonomous Systems M Fisher, E Collins, L Dennis, M Luckcuck, M Webster, M Jump, V Page, ... 2018 IEEE International Symposium on Software Reliability Engineering …, 2018 | 13 | 2018 |
| Safety-critical Java level 2: motivations, example applications and issues A Wellings, M Luckcuck, A Cavalcanti Proceedings of the 11th International Workshop on Java Technologies for Real …, 2013 | 8 | 2013 |
| Heterogeneous Verification of an Autonomous Curiosity Rover RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher NASA Formal Methods Symposium, 353-360, 2020 | 4 | 2020 |
| Safety‐Critical Java: level 2 in practice M Luckcuck, A Wellings, A Cavalcanti Concurrency and Computation: Practice and Experience 29 (6), e3951, 2017 | 3 | 2017 |
| Safety-Critical Java Level 2: applications, modelling, and verification M Luckcuck University of York, 2016 | 3 | 2016 |
| A formal model of the safety-critical java level 2 paradigm M Luckcuck, A Cavalcanti, A Wellings International Conference on Integrated Formal Methods, 226-241, 2016 | 3 | 2016 |
| 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 |
| 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 |
| Proceedings Second Workshop on Formal Methods for Autonomous Systems M Luckcuck, M Farrell arXiv preprint arXiv:2012.01176, 2020 | | 2020 |
| Another Tool in the Box: Why use Formal Methods for Autonomous Systems? M Luckcuck arXiv preprint arXiv:2012.00856, 2020 | | 2020 |
| Regulating Safety and Security in Autonomous Robotic Systems M Luckcuck, M Farrell arXiv preprint arXiv:2007.08006, 2020 | | 2020 |
| Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors M Luckcuck arXiv preprint arXiv:2007.03522, 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 |
| Workshop Report: Scoping Certifiable Autonomous Nuclear Robotics M Luckcuck https://intranet.csc.liv.ac.uk/research/techreports/tr2020/ulcs-20-001.pdf, 2020 | | 2020 |
| Why use Formal Methods for Autonomous Systems? M Luckcuck https://www.ntnu.edu/documents/139785/1283738018 …, 2019 | | 2019 |
| A Formal Model for the SCJ Level 2 Paradigm M Luckcuck Doctoral Symposium of Formal Methods 2015, 45-48, 2015 | | 2015 |
| EPTCS 329 Proceedings Second Workshop on Formal Methods for Autonomous Systems M Luckcuck, M Farrell, M Fisher | | |
Marie FarrellUniversity of ManchesterVerified email at manchester.ac.uk
