Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Dynamic energy and thermal management of multi-core mobile platforms: a survey
Amit Kumar Singh, Somdip Dey, Karunakar Reddy Basireddy, Klaus McDonald-Maier, Geoff Merrett & Bashir Al-Hashimi, 2020, IEEE Design and Test, 37(5), 25-33
DOI: 10.1109/MDAT.2020.2982629
Type: article
Real-time trigger-response properties for Event-B applied to the pacemaker
Chenyang Zhu, Michael Butler & Corina Cirstea, 2020
Type: conference
Towards a framework for the successful implementation of a government cloud in Saudi Arabia
Amal Alkhlewi, Robert Walters & Gary Wills, 2020, International Journal of Business Process Integration and Management, 9(4), 281-291
DOI: 10.1504/IJBPIM.2019.105678
Type: article
Refinement and verification of responsive control systems
2020
Type: conference
A pair estimation technique of effort estimation in mobile app development for agile process: Case study
2020
DOI: 10.1145/3388176.3388212
Type: conference
Anti-windup for model-reference adaptive control schemes with rate-limits
Matthew Turner, Jorge Sofrony & Emmanuel Prempain, 2020, Systems & Control Letters, 137, 1-9
DOI: 10.1016/j.sysconle.2020.104630
Type: article
Optimising resource management for embedded machine learning
Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi & Geoff Merrett, 2020
DOI: 10.23919/DATE48585.2020.9116235
Type: conference