Matt Luckcuck

Orcid: 0000-0002-6444-9312

Affiliations:

University of Nottingham, UK
National University of Ireland Maynooth, Ireland (2021 - 2023)
University of Manchester, UK (2020 - 2021)
University of York, UK (PhD 2016)

According to our database¹, Matt Luckcuck authored at least 33 papers between 2013 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

FRETting and Formal Modelling: A Mechanical Lung Ventilator.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Adventures in FRET and Specification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

SIGAI Annual Report: July 1 2022 - August 30 2023.

[BibT_eX]

[DOI]

AI Matters, September, 2023

CSP2Turtle: Verified Turtle Robot Plans.

[BibT_eX]

[DOI]

Robotics, April, 2023

2022

SIGAI Annual Report: July 1 2021 - June 30 2022.

[BibT_eX]

[DOI]

AI Matters, September, 2022

A Compositional Approach to Verifying Modular Robotic Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Modelling the Turtle Python library in CSP.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

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

[BibT_eX]

[DOI]

Matt Luckcuck

Marie Farrell

Oisín Sheridan

CoRR, 2022

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

An Abstract Architecture for Explainable Autonomy in Hazardous Environments.

[BibT_eX]

[DOI]

Matt Luckcuck

Hazel M. Taylor

Marie Farrell

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Towards Refactoring FRETish Requirements.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.

[BibT_eX]

[DOI]

Oisín Sheridan

Rosemary Monahan

Matt Luckcuck

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

[BibT_eX]

[DOI]

Robotics, 2021

Bridging the gap between single- and multi-model predictive runtime verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.

[BibT_eX]

[DOI]

Matt Luckcuck

Rafael C. Cardoso

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020

Towards Compositional Verification for Modular Robotic Systems.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Matt Luckcuck

CoRR, 2020

Regulating Safety and Security in Autonomous Robotic Systems.

[BibT_eX]

[DOI]

Matt Luckcuck

Marie Farrell

CoRR, 2020

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

[BibT_eX]

[DOI]

Matt Luckcuck

CoRR, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Modular Verification of Autonomous Space Robotics.

[BibT_eX]

[DOI]

CoRR, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Verifiable Self-Certifying Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

[BibT_eX]

[DOI]

Marie Farrell

Matt Luckcuck

Michael Fisher

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Safety-Critical Java: level 2 in practice.

[BibT_eX]

[DOI]

Matt Luckcuck

Andy J. Wellings

Ana Cavalcanti

Concurr. Comput. Pract. Exp., 2017

2016

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

[BibT_eX]

[DOI]

Matthew Luckcuck

PhD thesis, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.

[BibT_eX]

[DOI]

Matt Luckcuck

Ana Cavalcanti

Andy J. Wellings

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2013

Safety-critical Java level 2: motivations, example applications and issues.

[BibT_eX]

[DOI]

Andy J. Wellings

Matt Luckcuck

Ana Cavalcanti

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Matt Luckcuck

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...