Matt Luckcuck

56 papers B 7C 1Journal 28Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
SIGAI Annual Report (July 2024-June 2025).
AI Matters
Sanmay Das, Louise A. Dennis, Matt Luckcuck, Nick Mattei, Alan Tsang
2025 J jnl
Adventures in FRET and Specification.
CoRR
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2025 B conf
Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study.
REFSQ
Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis
2025 — ed.
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025.
FMAS@iFM
Matt Luckcuck, Maike Schwammberger, Mengwei Xu
2025 — conf
Revisiting Formal Methods for Autonomous Robots: A Structured Survey - (Invited Paper).
TAROS
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
2025 J jnl
Revisiting Formal Methods for Autonomous Robots: A Structured Survey.
CoRR
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
2025 B conf
Sharper Specs for Smarter Drones: Formalising Requirements with FRET.
REFSQ
Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2025 — conf
Varanus: Runtime Verification for CSP.
TAROS
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
2025 J jnl
Varanus: Runtime Verification for CSP.
CoRR
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
2024 — conf
Adventures in FRET and Specification.
ISoLA (3)
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024 C conf
FRETting and Formal Modelling: A Mechanical Lung Ventilator.
ABZ
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024 — ed.
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024.
FMAS@iFM
Matt Luckcuck, Mengwei Xu
2023 J jnl
CSP2Turtle: Verified Turtle Robot Plans.
Robotics
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2023 — ed.
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023.
FMAS@iFM
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
2023 J jnl
SIGAI Annual Report: July 1 2022 - August 30 2023.
AI Matters
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
2022 J jnl
A Compositional Approach to Verifying Modular Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2022 B conf
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.
IFM
Oisín Sheridan, Rosemary Monahan, Matt Luckcuck
2022 — conf
An Abstract Architecture for Explainable Autonomy in Hazardous Environments.
RE Workshops
Matt Luckcuck, Hazel M. Taylor, Marie Farrell
2022 B conf
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.
REFSQ
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 — conf
Modelling the Turtle Python library in CSP.
AREA@IJCAI-ECAI
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2022 — ed.
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022.
FMAS/ASYDE@SEFM
Matt Luckcuck, Marie Farrell
2022 J jnl
SIGAI Annual Report: July 1 2021 - June 30 2022.
AI Matters
Sanmay Das, Nicholas Mattei, John P. Dickerson, Sven Koenig, Louise A. Dennis, Larry R. Medsker, Ziyu Yao, Anuj Karpatne, Alan Tsang, Matt Luckcuck
2022 — conf
Towards Refactoring FRETish Requirements.
NFM
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 J jnl
Towards Refactoring FRETish Requirements.
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 J jnl
Why just FRET when you can Refactor? Retuning FRETISH Requirements.
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan
2021 J jnl
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
2021 J jnl
An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics
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
2021 J jnl
Bridging the gap between single- and multi-model predictive runtime verification.
Formal Methods Syst. Des.
Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021 — conf
Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.
ISSRE Workshops
Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace
2021 J jnl
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller.
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2021 J jnl
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest.
CoRR
Matt Luckcuck, Rafael C. Cardoso
2021 — conf
Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.
EMAS@AAMAS
Matt Luckcuck, Rafael C. Cardoso
2021 J jnl
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.
CoRR
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
2021 — ed.
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021.
FMAS
Marie Farrell, Matt Luckcuck
2020 J jnl
Another Tool in the Box: Why use Formal Methods for Autonomous Systems?
CoRR
Matt Luckcuck
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — conf
Heterogeneous Verification of an Autonomous Curiosity Rover.
NFM
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020 J jnl
Heterogeneous Verification of an Autonomous Curiosity Rover.
CoRR
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020 J jnl
Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors.
CoRR
Matt Luckcuck
2020 — ed.
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020.
FMAS
Matt Luckcuck, Marie Farrell
2020 J jnl
Regulating Safety and Security in Autonomous Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell
2020 — conf
Towards Compositional Verification for Modular Robotic Systems.
FMAS
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
2019 B conf
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
IFM
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019 J jnl
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Michael Fisher
2019 J jnl
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv.
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019 J jnl
Modular Verification of Autonomous Space Robotics.
CoRR
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2018 J jnl
A Formal Model of the Safety-Critical Java Level 2 Paradigm.
CoRR
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
2018 J jnl
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
CoRR
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2018 B conf
Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
IFM
Marie Farrell, Matt Luckcuck, Michael Fisher
2018 J jnl
Robotics and Integrated Formal Methods: Necessity meets Opportunity.
CoRR
Marie Farrell, Matt Luckcuck, Michael Fisher
2018 J jnl
Safety-Critical Java: Level 2 in Practice.
CoRR
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
2018 — conf
Verifiable Self-Certifying Autonomous Systems.
ISSRE Workshops
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
2017 J jnl
Safety-Critical Java: level 2 in practice.
Concurr. Comput. Pract. Exp.
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
2016 B conf
A Formal Model of the Safety-Critical Java Level 2 Paradigm.
IFM
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
2013 — conf
Safety-critical Java level 2: motivations, example applications and issues.
JTRES
Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti