Follow
Matt Luckcuck
Matt Luckcuck
Post-Doctoral Researcher at Maynooth University
Verified email at mu.ie - Homepage
Title
Cited by
Cited by
Year
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
1622019
Robotics and Integrated Formal Methods: Necessity meets Opportunity
M Farrell, M Luckcuck, M Fisher
Integrated Formal Methods. IFM 2018 11023, 161-171, 2018
462018
Heterogeneous Verification of an Autonomous Curiosity Rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
272020
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
212018
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
112020
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
92021
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
92013
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
42019
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
42019
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
M Luckcuck, M Farrell, O Sheridan, R Monahan
arXiv preprint arXiv:2110.09277, 2021
32021
Safety‐Critical Java: level 2 in practice
M Luckcuck, A Wellings, A Cavalcanti
Concurrency and Computation: Practice and Experience 29 (6), e3951, 2017
32017
Safety-Critical Java Level 2: applications, modelling, and verification
M Luckcuck
University of York, 2016
32016
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
32016
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
22022
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
22021
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
22021
Offline Runtime Verification of Safety Requirements using CSP
M Luckcuck
arXiv preprint arXiv:2007.03522, 2021
2*2021
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
12021
Workshop Report: Scoping Certifiable Autonomous Nuclear Robotics
M Luckcuck
https://intranet.csc.liv.ac.uk/research/techreports/tr2020/ulcs-20-001.pdf, 2020
12020
Why use Formal Methods for Autonomous Systems?
M Luckcuck
https://www.ntnu.edu/documents/139785/1283738018 …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20