Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 13.


Ferrando, Angelo ORCID: 0000-0002-8711-4670, Cardoso, Rafael C, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Papacchini, Fabio, Fisher, Michael and Mascardi, Viviana
(2021) Bridging the gap between single- and multi-model predictive runtime verification. FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3). pp. 44-76.


Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael
(2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52 (5). 5-.


Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Cardoso, Rafael C ORCID: 0000-0001-6666-6954
(2022) Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. ENGINEERING MULTI-AGENT SYSTEMS, 13190. pp. 198-217.


Cardoso, Rafael ORCID: 0000-0001-6666-6954, Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Ferrando, Angelo ORCID: 0000-0002-8711-4670 and Fisher, michael
(2020) Heterogeneous Verification of an Autonomous Curiosity Rover. In: 12th International Symposium on NASA Formal Methods, 2020-5-11 - 2020-5-15, Moffett Field, CA, USA.


Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Papacchini, Fabio ORCID: 0000-0002-0310-7378, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Linker, Sven ORCID: 0000-0003-2913-7943 and Payne, Terry R ORCID: 0000-0002-0106-8731
(2021) MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021. Springer International Publishing, pp. 82-107. ISBN 9783030885489


MacConville, Dara, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Monahan, Rosemary
(2022) Modelling the Turtle Python library in CSP. .


Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881
(2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.


Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334
et al (show 7 more authors) (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.


Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Fisher, Michael
(2018) Robotics and Integrated Formal Methods: Necessity Meets Opportunity. In: Integrated Formal Methods, 2018-9-5 - 2018-7-7, Maynooth, Ireland.


Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael
(2019) A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In: Integrated Formal Methods.


Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Farrell, Marie ORCID: 0000-0001-7708-3877, Fisher, Michael and Luckcuck, Matt ORCID: 0000-0002-6444-9312
(2020) Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 329 (329). pp. 15-22.


Luckcuck, Matt ORCID: 0000-0002-6444-9312
(2023) Using formal methods for autonomous systems: Five recipes for formal verification. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 237 (2). pp. 278-292.


Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David
et al (show 2 more authors) (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.

This list was generated on Sun Mar 17 16:58:26 2024 GMT.