Matt Luckcuck

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 39

Top Topics

Semantically Heterogeneous

Formal Verification

Top Venues

Publications

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
FRETting and Formal Modelling: A Mechanical Lung Ventilator. ABZ (2024)
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems. CoRR (2023)
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
CSP2Turtle: Verified Turtle Robot Plans. Robotics 12 (2) (2023)
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
SIGAI Annual Report: July 1 2022 - August 30 2023. AI Matters 9 (3) (2023)
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
SIGAI Annual Report: July 1 2021 - June 30 2022. AI Matters 8 (3) (2022)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Towards Refactoring FRETish Requirements. NFM (2022)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. REFSQ (2022)
Oisín Sheridan, Rosemary Monahan, Matt Luckcuck
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. IFM (2022)
Matt Luckcuck, Hazel M. Taylor, Marie Farrell
An Abstract Architecture for Explainable Autonomy in Hazardous Environments. RE Workshops (2022)
Matt Luckcuck, Marie Farrell, Oisín Sheridan
Why just FRET when you can Refactor? Retuning FRETISH Requirements. CoRR (2022)
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
A Compositional Approach to Verifying Modular Robotic Systems. CoRR (2022)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Towards Refactoring FRETish Requirements. CoRR (2022)
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
Modelling the Turtle Python library in CSP. AREA@IJCAI-ECAI (2022)
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. CoRR (2021)
Matt Luckcuck, Rafael C. Cardoso
Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. EMAS@AAMAS (2021)
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller. CoRR (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR (2021)
Matt Luckcuck, Rafael C. Cardoso
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest. CoRR (2021)
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken Wallace
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. ISSRE Workshops (2021)
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59 (1) (2021)
Matt Luckcuck, Marie Farrell
Regulating Safety and Security in Autonomous Robotic Systems. CoRR (2020)
Matt Luckcuck
Another Tool in the Box: Why use Formal Methods for Autonomous Systems? CoRR (2020)
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
Towards Compositional Verification for Modular Robotic Systems. FMAS (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR (2020)
Matt Luckcuck
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors. CoRR (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM (2020)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52 (5) (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. CoRR (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
Safety-Critical Java: Level 2 in Practice. CoRR (2018)
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. IFM (2018)
Michael Fisher, Emily C. Collins, Louise A. Dennis, Matt Luckcuck, Matt Webster, Mike Jump, Vincent Pagé, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu, Xingyu Zhao
Verifiable Self-Certifying Autonomous Systems. ISSRE Workshops (2018)
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotics and Integrated Formal Methods: Necessity meets Opportunity. CoRR (2018)
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR (2018)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR (2018)
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. 29 (6) (2017)
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM (2016)
Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti
Safety-critical Java level 2: motivations, example applications and issues. JTRES (2013)