Cyber Physical Systems
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