Matt Luckcuck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2016–2025
Best venue rank
B
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | REFSQ | Sharper Specs for Smarter Drones: Formalising Requirements with FRET. | Oisn Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan |
| 2025 | REFSQ | Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study. | Hazel M. Taylor, Matt Luckcuck, Marie Farrell, Caroline Jay, Angelo Cangelosi, Louise A. Dennis |
| 2024 | ISoLA | Adventures in FRET and Specification. | Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisn Sheridan |
| 2022 | IFM | A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. | Oisn Sheridan, Rosemary Monahan, Matt Luckcuck |
| 2022 | RE | An Abstract Architecture for Explainable Autonomy in Hazardous Environments. | Matt Luckcuck, Hazel M. Taylor, Marie Farrell |
| 2022 | REFSQ | FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. | Marie Farrell, Matt Luckcuck, Oisn Sheridan, Rosemary Monahan |
| 2021 | EMAS | Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. | Matt Luckcuck, Rafael C. Cardoso |
| 2021 | ISSRE | Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. | Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace |
| 2019 | IFM | A Summary of Formal Specification and Verification of Autonomous Robotic Systems. | Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher |
| 2018 | IFM | Robotics and Integrated Formal Methods: Necessity Meets Opportunity. | Marie Farrell, Matt Luckcuck, Michael Fisher |
| 2018 | ISSRE | Verifiable Self-Certifying Autonomous Systems. | 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 |
| 2016 | IFM | A Formal Model of the Safety-Critical Java Level 2 Paradigm. | Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings |