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 Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions Chenyang Zhu, Michael Butler, Corina Cirstea & Thai Son Hoang, 2021 Type: conference Exploring performance enhancement of event-driven processor networks Tim Todman, David Thomas & Wayne Luk, 2021 DOI: 10.1109/ICFPT51103.2020.00056 Type: conference An STPA-based formal composition framework for trustworthy autonomous maritime systems Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes & Ben Pritchard, 2021, Safety Science, 136(0925-7535) DOI: 10.1016/j.ssci.2020.105139 Type: article Discrete‐time systems with slope restricted nonlinearities: Zames–Falb multiplier analysis using external positivity Matthew C. Turner & Ross Drummond, 2021, International Journal of Robust and Nonlinear Control, 31(6), 2255-2273 DOI: 10.1002/rnc.5391 Type: article Verifying System-level Security of a Smart Ballot Box Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello & Vladimiro Sassone, 2021 Type: conference Pagination Previous page ‹ Previous … Page 10 Page 11 Page 12 Page 13 Current page 14 Page 15 Page 16 Page 17 Page 18 … Next page Next ›