| 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 | 34 | 2019 |
| Robotics and integrated formal methods: Necessity meets opportunity M Farrell, M Luckcuck, M Fisher International Conference on Integrated Formal Methods, 161-171, 2018 | 22 | 2018 |
| An institution for Event-B M Farrell, R Monahan, JF Power International Workshop on Algebraic Development Techniques, 104-119, 2016 | 3 | 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 | 2 | 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 | 1 | 2017 |
| 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 | | 2019 |
| 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 | | 2019 |
| 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 |
| 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 | | 2017 |
| A Logical Framework for Integrating Software Models via Refinement M Farrell, R Monahan, JF Power | | 2016 |
| Security-Minded Verification of Space Systems C Maple, M Bradbury, H Yuan, M Farrell, C Dixon, M Fisher, UI Atmaca | | |
| When the Student becomes the Teacher⋆ M Farrell, H Wu | | |
| An Approach to Combining the Institutions for Event-B and Temporal Logic⋆ M Farrell, R Monahan, JF Power, M Fisher | | |
| An approach to Integrating Software Models via Refinement M Farrell | | |
| Integrating Software Models via Refinement M Farrell | | |
| An Institutional Approach to Modularisation in Event-B M Farrell, R Monahan, JF Power | | |
| Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory M Farrell, R Monahan, JF Power ESSLLI 2016 Student Session, 75, 0 | | |
Michael FisherProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
