| 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 | 316 | 2019 |
| Robotics and Integrated Formal Methods: Necessity meets Opportunity M Farrell, M Luckcuck, M Fisher Integrated Formal Methods. IFM 2018 11023, 161-171, 2018 | 58 | 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 | 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 | 40 | 2020 |
| 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 | 37 | 2018 |
| 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 | 20 | 2022 |
| Towards Compositional Verification for Modular Robotic Systems RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck Second Workshop on Formal Methods for Autonomous Systems, 2020 | 17 | 2020 |
| Using formal methods for autonomous systems: Five recipes for formal verification M Luckcuck Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2021 | 13 | 2021 |
| 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 | 11 | 2021 |
| 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 | 10 | 2013 |
| Principles for the development and assurance of autonomous systems for safe use in hazardous environments [White Paper] M Luckcuck, M Fisher, L Dennis, S Frost, A White, D Styles Zenodo, 2021 | 8 | 2021 |
| A summary of formal specification and verification of autonomous robotic systems M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 8 | 2019 |
| A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements M Luckcuck, M Farrell, O Sheridan, R Monahan IEEE Aerospace Conference (AeroConf 2022), 2021 | 7 | 2021 |
| 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 | 6 | 2019 |
| Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest M Luckcuck, RC Cardoso Engineering Multi-Agent Systems. EMAS 2021 13190, 2021 | 5 | 2021 |
| Safety‐Critical Java: level 2 in practice M Luckcuck, A Wellings, A Cavalcanti Concurrency and Computation: Practice and Experience 29 (6), e3951, 2017 | 5 | 2017 |
| 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 | 4 | 2021 |
| Towards Refactoring FRETish Requirements M Farrell, M Luckcuck, O Sheridan, R Monahan NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022 | 3 | 2022 |
| MLFC: From 10 to 50 planners in the multi-agent programming contest RC Cardoso, A Ferrando, F Papacchini, M Luckcuck, S Linker, TR Payne The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of …, 2021 | 3 | 2021 |
| Safety-Critical Java Level 2: applications, modelling, and verification M Luckcuck University of York, 2016 | 3 | 2016 |
Marie FarrellThe University of Manchester在 manchester.ac.uk 的电子邮件经过验证
