Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
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
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
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, 2022, ACM Transactions on Parallel Computing
Type: article