Publications

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

Research outputs

Trust modelling and verification using Event-B

Asieh Salehi Fathabadi & Vahid Yazdanpanah, 2023

DOI: 10.4204/EPTCS.395.2

Type: conference

Routing in intermittently powered IoT networks

Sara Alsodairi, Geoff V. Merrett, Alex S. Weddell & Nawfal Al Hashimy, 2023

Type: conference

Dynamic DNNs meet runtime resource management for efficient heterogeneous computing

Lei Xun, Jonathon Hare & Geoff Merrett, 2023

Type: conference

An information security model for an IoT-enabled smart grid in the Saudi energy sector

Abeer Siraj A Akkad, G. Wills & A. Rezazadeh, 2023

DOI: 10.1109/SASG57022.2022.10200572

Type: conference

A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems

Fahad Abduallah Alotaibi, Son Hoang & Michael Butler, 2023

DOI: 10.1109/COMPSAC57700.2023.00262

Type: conference

POETS: An event-driven approach to Dissipative Particle Dynamics

Andrew Brown, Jonny Beaumont, David Barrie Thomas, Julian Shillcock, Matthew Naylor, Graeme McLachlan Bragg, Mark Vousden, Simon W. Moore & Shane Flemming, 2023, ACM Transactions on Parallel Computing, 10(2), 1-32

DOI: 10.1145/3580372

Type: article

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