Matt Luckcuck

Orcid: 0000-0002-6444-9312

Affiliations:
  • National University of Ireland Maynooth, Ireland
  • University of Manchester, UK (2020 - 2021)
  • University of York, UK (PhD 2016)


According to our database1, Matt Luckcuck authored at least 32 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
FRETting and Formal Modelling: A Mechanical Lung Ventilator.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2023
SIGAI Annual Report: July 1 2022 - August 30 2023.
AI Matters, September, 2023

CSP2Turtle: Verified Turtle Robot Plans.
Robotics, April, 2023

2022
SIGAI Annual Report: July 1 2021 - June 30 2022.
AI Matters, September, 2022

A Compositional Approach to Verifying Modular Robotic Systems.
CoRR, 2022

Modelling the Turtle Python library in CSP.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

Why just FRET when you can Refactor? Retuning FRETISH Requirements.
CoRR, 2022

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

An Abstract Architecture for Explainable Autonomy in Hazardous Environments.
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Towards Refactoring FRETish Requirements.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021
An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics, 2021

Bridging the gap between single- and multi-model predictive runtime verification.
Formal Methods Syst. Des., 2021

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.
CoRR, 2021

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.
CoRR, 2021

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020
Towards Compositional Verification for Modular Robotic Systems.
Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Another Tool in the Box: Why use Formal Methods for Autonomous Systems?
CoRR, 2020

Regulating Safety and Security in Autonomous Robotic Systems.
CoRR, 2020

Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors.
CoRR, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
CoRR, 2019

Modular Verification of Autonomous Space Robotics.
CoRR, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018
Verifiable Self-Certifying Autonomous Systems.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017
Safety-Critical Java: level 2 in practice.
Concurr. Comput. Pract. Exp., 2017

2016
Safety-Critical Java Level 2: applications, modelling, and verification.
PhD thesis, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2013
Safety-critical Java level 2: motivations, example applications and issues.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013


  Loading...