Robert Thorburn

According to our database, Robert Thorburn authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

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

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2022

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

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance.

Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2017

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