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 Spikes in agile software development: an empirical study 2021 DOI: 10.1109/CSCI51800.2020.00319 Type: conference Runtime DNN performance scaling through resource management on heterogeneous embedded platforms Lei Xun, Bashir Al-Hashimi, Jonathon Hare & Geoff Merrett, 2021 Type: conference Extensible Record Structures in Event-B Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler, 2021 DOI: 10.1007/978-3-030-77543-8_12 Type: conference The CamilleX Framework for the Rodin Platform Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021 DOI: 10.1007/978-3-030-77543-8_11 Type: conference Verifying System-level Security of a Smart Ballot Box Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello & Vladimiro Sassone, 2021 DOI: 10.1007/978-3-030-77543-8_3 Type: conference Towards scalable modeling of biology in Event-B Usman Sanwal, Thai Son Hoang, Luigia Petre & Ion Petre, 2021 DOI: 10.48550/arXiv.2105.10344 Type: other Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions Chenyang Zhu, Michael Butler, Corina Cirstea & Thai Son Hoang, 2021 Type: conference Pagination Previous page Previous … Page 8 Page 9 Page 10 Page 11 Page 12 Page 13 … Next page Next