Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
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
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants
2019, Journal of Automated Reasoning, 63(4), 1005-1029
DOI: 10.1007/s10817-018-9497-x
Type: article
Verifying cross-layer interactions through formal model-based assertion generation
Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi , Michael Butler & Bashir M. Al-Hashimi, 2019, IEEE Embedded Systems Letters
DOI: 10.1109/LES.2019.2955316
Type: article