Matt Luckcuck
Matt Luckcuck
Post-Doctoral Researcher at Maynooth University
Geverifieerd e-mailadres voor - Homepage
Geciteerd door
Geciteerd door
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
Robotics and Integrated Formal Methods: Necessity meets Opportunity
M Farrell, M Luckcuck, M Fisher
Integrated Formal Methods. IFM 2018 11023, 161-171, 2018
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
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
Heterogeneous Verification of an Autonomous Curiosity Rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods Symposium, 353-360, 2020
Towards Compositional Verification for Modular Robotic Systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
Safety‐Critical Java: level 2 in practice
M Luckcuck, A Wellings, A Cavalcanti
Concurrency and Computation: Practice and Experience 29 (6), e3951, 2017
Safety-Critical Java Level 2: applications, modelling, and verification
M Luckcuck
University of York, 2016
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
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
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
Proceedings Second Workshop on Formal Methods for Autonomous Systems
M Luckcuck, M Farrell
arXiv preprint arXiv:2012.01176, 2020
Another Tool in the Box: Why use Formal Methods for Autonomous Systems?
M Luckcuck
arXiv preprint arXiv:2012.00856, 2020
Regulating Safety and Security in Autonomous Robotic Systems
M Luckcuck, M Farrell
arXiv preprint arXiv:2007.08006, 2020
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors
M Luckcuck
arXiv preprint arXiv:2007.03522, 2020
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
E Sekerinski, N Moreira, JN Oliveira, D Ratiu, R Guidotti, M Farrell, ...
Springer Nature, 2020
Workshop Report: Scoping Certifiable Autonomous Nuclear Robotics
M Luckcuck, 2020
Why use Formal Methods for Autonomous Systems?
M Luckcuck …, 2019
System Verification, Processes and Testing
T Perez, A Morozov, B Rokseth, JA Glomsrud, M Luckuck, T Myklebust, ...
Proceedings of the First International Workshop on Autonomous Systems Safety, 2019
A Formal Model for the SCJ Level 2 Paradigm
M Luckcuck
Doctoral Symposium of Formal Methods 2015, 45-48, 2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20