Publications

Our projects have an impact in many different industries. Browse our publications to find out more

Designing critical systems using hierarchical STPA and event-B

Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Abduallah Alotaibi & Michael Butler, 2023

Type: conference

A fairness-based refinement strategy to transform liveness properties in Event-B models

Chenyang Zhu, Michael Butler, Corina Cirstea & Son Hoang, 2023, Science of Computer Programming, 225

DOI: 10.1016/j.scico.2022.102907

Type: article

Adapting branched networks to realise progressive intelligence

Jack Dymond, Sebastian Stein & Stephen Gunn, 2022

Type: conference

Multi-source multi-destination hybrid infrastructure-aided traffic aware routing in V2V/I networks

Teodor Ivanescu, Halil Yetgin, Geoff Merrett & Mohammed El-Hajjar, 2022, IEEE Access, 10, 119956-119969

DOI: 10.1109/ACCESS.2022.3221446

Type: article

Using machine learning for anomaly detection on a system-on-chip under gamma radiation

Eduardo Weber Wachter, Server Kasap, Sefki Kolozali, Xiaojun Zhai, Shoaib Ehsan & Klaus D. McDonald-Maier, 2022, Nuclear Engineering and Technology, 54(11), 3985-3995

DOI: 10.1016/j.net.2022.06.028

Type: article

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 Butler, Dana Dghaym & Son Hoang, 2022

DOI: 10.1145/3550356.3559577

Type: conference

Multihop Networking for Intermittent Devices

Edward Longman, Mohammed El-Hajjar & Geoff Merrett, 2022

DOI: 10.1145/3560905.3568104

Type: conference