iCLIC Data Mining and Data Sharing workshop: The present and future of data mining and data sharing in the EU. - Robert Thorburn; Sophie Stalla-Bourdillon; Eleonora Rosati (Comput. Law Secur. Rev., 2017)

Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance. - Robert Thorburn; Federica Paci; Vladimiro Sassone; Sophie Stalla-Bourdillon (MoDELS (Companion), 2021)

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. - Robert Thorburn; Vladimiro Sassone; Asieh Salehi Fathabadi; Leonardo Aniello; Michael J. Butler; Dana Dghaym; Thai Son Hoang (MoDELS (Companion), 2022)

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices. - Marco Chilese; Richard Mitev; Meni Orenbach; Robert Thorburn; Ahmad Atamli; Ahmad-Reza Sadeghi (SP, 2024)

Designing Exception Handling Using Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2024)

Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. - Colin F. Snook; Asieh Salehi Fathabadi; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2025)