Articles with public access mandates - Matt LuckcuckLearn more
Not available anywhere: 1
Adventures in FRET and Specification
M Farrell, M Luckcuck, R Monahan, C Reynolds, O Sheridan
International Symposium on Leveraging Applications of Formal Methods, 106-123, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 19
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
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Robotics and Integrated Formal Methods: Necessity meets Opportunity
M Farrell, M Luckcuck, M Fisher
Integrated Formal Methods. IFM 2018 11023, 161-171, 2018
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
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
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
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
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Research & Innovation
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
Mandates: US Department of Energy
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
Mandates: UK Research & Innovation
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
Mandates: UK Research & Innovation
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
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: European Commission
FRETting and formal modelling: a mechanical lung ventilator
M Farrell, M Luckcuck, R Monahan, C Reynolds, O Sheridan
International Conference on Rigorous State-Based Methods, 360-383, 2024
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Safety‐Critical Java: level 2 in practice
M Luckcuck, A Wellings, A Cavalcanti
Concurrency and Computation: Practice and Experience 29 (6), e3951, 2017
Mandates: UK Engineering and Physical Sciences Research Council
A formal model of the safety-critical java level 2 paradigm
M Luckcuck, A Cavalcanti, A Wellings
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Mandates: UK Engineering and Physical Sciences Research Council
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
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller
O Sheridan, R Monahan, M Luckcuck
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano …, 2022
Mandates: European Commission
Offline Runtime Verification of Safety Requirements using CSP
M Luckcuck
arXiv preprint arXiv:2007.03522, 2021
Mandates: European Commission, UK Research & Innovation
CSP2Turtle: Verified Turtle Robot Plans
D MacConville, M Farrell, M Luckcuck, R Monahan
Robotics 12 (2), 62, 2023
Mandates: Science Foundation Ireland
Publication and funding information is determined automatically by a computer program