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 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 Pagination Previous page ‹ Previous … Page 9 Page 10 Page 11 Page 12 Current page 13 Page 14 Page 15 Page 16 Page 17 … Next page Next ›