Safety-critical Java level 2: motivations, example applications and issues. - Andy J. Wellings; Matt Luckcuck; Ana Cavalcanti 001 (JTRES, 2013)

A Formal Model of the Safety-Critical Java Level 2 Paradigm. - Matt Luckcuck; Ana Cavalcanti 001; Andy J. Wellings (IFM, 2016)

Safety-Critical Java Level 2: applications, modelling, and verification. - Matthew Luckcuck (2016)

Safety-Critical Java: level 2 in practice. - Matt Luckcuck; Andy J. Wellings; Ana Cavalcanti 001 (Concurr. Comput. Pract. Exp., 2017)

Robotics and Integrated Formal Methods: Necessity Meets Opportunity. - Marie Farrell; Matt Luckcuck; Michael Fisher 001 (IFM, 2018)

Verifiable Self-Certifying Autonomous Systems. - Michael Fisher 001; Emily C. Collins 001; Louise A. Dennis; Matt Luckcuck; Matt Webster; Mike Jump; Vincent Pagé; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao 001 (ISSRE Workshops, 2018)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (IFM, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Michael Fisher 001 (CoRR, 2019)

Formal Specification and Verification of Autonomous Robotic Systems: A Survey. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (ACM Comput. Surv., 2019)

Heterogeneous Verification of an Autonomous Curiosity Rover. - Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Angelo Ferrando 001; Michael Fisher 001 (NFM, 2020)

Monitoring Robotic Systems using CSP: From Safety Designs to Safety Monitors. - Matt Luckcuck (CoRR, 2020)

Regulating Safety and Security in Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell (CoRR, 2020)

Another Tool in the Box: Why use Formal Methods for Autonomous Systems? - Matt Luckcuck (CoRR, 2020)

Towards Compositional Verification for Modular Robotic Systems. - Rafael C. Cardoso 001; Louise A. Dennis; Marie Farrell; Michael Fisher 001; Matt Luckcuck (FMAS, 2020)

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. - Matt Luckcuck; Rafael C. Cardoso 001 (EMAS@AAMAS, 2021)

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. - Marie Farrell; Matt Luckcuck; Laura Pullum; Michael Fisher 001; Ali Hessami; Danit Gal; Zvikomborero Murahwi; Ken R. Wallace (ISSRE Workshops, 2021)

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. - Rafael C. Cardoso 001; Angelo Ferrando 001; Fabio Papacchini; Matt Luckcuck; Sven Linker; Terry R. Payne (CoRR, 2021)

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan; Rosemary Monahan (CoRR, 2021)

Bridging the gap between single- and multi-model predictive runtime verification. - Angelo Ferrando 001; Rafael C. Cardoso 001; Marie Farrell; Matt Luckcuck; Fabio Papacchini; Michael Fisher 001; Viviana Mascardi (Formal Methods Syst. Des., 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. - Oisín Sheridan; Rosemary Monahan; Matt Luckcuck (IFM, 2022)

Towards Refactoring FRETish Requirements. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (NFM, 2022)

An Abstract Architecture for Explainable Autonomy in Hazardous Environments. - Matt Luckcuck; Hazel M. Taylor; Marie Farrell (RE Workshops, 2022)

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. - Marie Farrell; Matt Luckcuck; Oisín Sheridan; Rosemary Monahan (REFSQ, 2022)

Why just FRET when you can Refactor? Retuning FRETISH Requirements. - Matt Luckcuck; Marie Farrell; Oisín Sheridan (CoRR, 2022)

Modelling the Turtle Python library in CSP. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (AREA@IJCAI-ECAI, 2022)

A Compositional Approach to Verifying Modular Robotic Systems. - Matt Luckcuck; Marie Farrell; Angelo Ferrando 001; Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (CoRR, 2022)

SIGAI Annual Report: July 1 2021 - June 30 2022. - Sanmay Das; Nicholas Mattei; John P. Dickerson; Sven Koenig; Louise A. Dennis; Larry R. Medsker; Ziyu Yao 002; Anuj Karpatne; Alan Tsang; Matt Luckcuck (AI Matters, 2022)

CSP2Turtle: Verified Turtle Robot Plans. - Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan (Robotics, 2023)

SIGAI Annual Report: July 1 2022 - August 30 2023. - Sanmay Das; Nicholas Mattei; John P. Dickerson; Sven Koenig; Louise A. Dennis; Larry R. Medsker; Ziyu Yao 002; Anuj Karpatne; Alan Tsang; Matt Luckcuck (AI Matters, 2023)

Adventures in FRET and Specification. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ISoLA (3), 2024)

FRETting and Formal Modelling: A Mechanical Lung Ventilator. - Marie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisín Sheridan (ABZ, 2024)

Sharper Specs for Smarter Drones: Formalising Requirements with FRET. - Oisín Sheridan; Leandro Buss Becker; Marie Farrell; Matt Luckcuck; Rosemary Monahan (REFSQ, 2025)

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 (REFSQ, 2025)

Varanus: Runtime Verification for CSP. - Matt Luckcuck; Angelo Ferrando 001; Fatma Faruq (CoRR, 2025)