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 Domain-specific developments using Rodin theories Thai Son Hoang, Laurent Voisin & Michael Butler, 2020 Type: bookChapter Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe 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 A control flow for transiently-powered energy harvesting sensor systems Domenico Balsamo, Oktay Cetinkaya, Alberto Rodriguez Arreola, Samuel Chang Bing Wong, Geoff Merrett & Alexander Weddell, 2020, IEEE Sensors Journal, 20(18), 10687-10695 DOI: 10.1109/JSEN.2020.2993213 Type: article Pagination Previous page Previous … Page 12 Page 13 Page 14 Page 15 Page 16 Page 17 … Next page Next