Robert Thorburn

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 5

Top Topics

Interprocess Communication

Regulatory Requirements

Embedded Devices

Top Venues

MoDELS (Companion)

Comput. Law Secur. Rev.

Publications

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
Designing Exception Handling Using Event-B. ABZ (2024)
Marco Chilese, Richard Mitev, Meni Orenbach, Robert Thorburn, Ahmad Atamli, Ahmad-Reza Sadeghi
One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices. CoRR (2024)
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) (2022)
Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon
Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance. MoDELS (Companion) (2021)
Robert Thorburn, Sophie Stalla-Bourdillon, Eleonora Rosati
iCLIC Data Mining and Data Sharing workshop: The present and future of data mining and data sharing in the EU. Comput. Law Secur. Rev. 33 (1) (2017)