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 Formal verification of run-to-completion style statecharts using Event-B Karla Morris, Colin Snook, Thai Son Hoang, G. Hulette, Robert Armstrong & Michael Butler, 2020 DOI: 10.1007/978-3-030-59155-7_24 Type: conference Incremental training and group convolution pruning for runtime DNN performance scaling on heterogeneous embedded platforms Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi & Geoff Merrett, 2020 Type: conference Internet of MIMO things: UAV-assisted wireless-powered networks for Future Smart cities Oktay Cetinkaya, Domenico Balsamo & Geoff Merrett, 2020, IEEE Internet of Things Magazine, 3(1), 8-13 DOI: 10.1109/IOTM.0001.1900064 Type: article IoT security, privacy, safety and ethics Hany, Fathy Atlam & Gary Wills, 2020 DOI: 10.1007/978-3-030-18732-3 Type: bookChapter Validation of railway control systems Tomas Fischer, Klaus Reichl, Peter Tummeltshammer, Thai Son Hoang & Michael Butler, 2020 DOI: 10.1007/978-3-030-14628-3_17 Type: bookChapter A rigorous tool-supported methodology for assuring the security and safety of cyber-physical systems 2019 Type: thesis On Runtime Communication and Thermal-Aware Application Mapping and Defragmentation in 3D NoC Systems 2019, IEEE Transactions on Parallel and Distributed Systems, 30(12), 2775-2789 DOI: 10.1109/TPDS.2019.2921542 Type: article Pagination Previous page Previous … Page 17 Page 18 Page 19 Page 20 Page 21 Page 22 … Next page Next