Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
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