Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us 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 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 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 Pagination Previous page ‹ Previous Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ›