Cyber Physical Systems About us 天发娱乐棋牌_天发娱乐APP-官网|下载 people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications 天发娱乐棋牌_天发娱乐APP-官网|下载 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 15 Page 16 Page 17 Page 18 Page 19 Page 20 Page 21 Page 22 Page 23 … Next page Next ?