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 A 3D-stacked cortex-M0 SoC with 20.3Gbps/mm2 7.1mW/mm2 simultaneous wireless inter-tier data and power transfer 2020 Type: conference Formalizing hierarchical scheduling for refinement of real-time systems Chenyang Zhu, Michael Butler & Corina Cirstea, 2020, Science of Computer Programming, 189 DOI: 10.1016/j.scico.2020.102390 Type: article 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 Pagination Previous page ‹ Previous … Page 13 Page 14 Page 15 Page 16 Page 17 Page 18 Page 19 Page 20 Page 21 … Next page Next ›