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 Efficient deployment of UAV-powered sensors for optimal coverage and connectivity Oktay Cetinkaya & Geoff Merrett, 2020 Type: conference 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 Pagination Previous page Previous … Page 17 Page 18 Page 19 Page 20 Page 21 Page 22 … Next page Next