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 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 Adapting branched networks to realise progressive intelligence Jack Dymond, Sebastian Stein & Stephen Gunn, 2022 Type: conference Pagination Previous page ‹ Previous Page 1 Page 2 Page 3 Current page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ›