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 Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles & Colin Snook, 2020, Journal of Systems Architecture DOI: 10.1016/j.sysarc.2020.101911 Type: article Energy-driven systems and compute Geoff Merrett, 2020 Type: conference Intra- and inter-server smart task scheduling for profit and energy optimization of HPC data centers Sayed Ashraf Mamun, Alexander Gilday, Amit Kumar Singh, Amlan Ganguly, Geoff Merrett, Xiaohang Wang & Bashir Al-Hashimi, 2020, Journal of Low Power Electronics and Applications, 10(4) DOI: 10.3390/jlpea10040032 Type: article A case study validation of the Pair-estimation technique in effort estimation of mobile app development using agile processes 2020 DOI: 10.1109/ACIT49673.2020.9208985 Type: conference Energy-driven occupant behaviour sensing Samuel Chang Bing Wong, Stephanie Gauthier & Geoff Merrett, 2020 Type: conference Pagination Previous page ‹ Previous … Page 15 Page 16 Page 17 Page 18 Current page 19 Page 20 Page 21 Page 22 Page 23 … Next page Next ›