Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more

Research outputs

An empirical investigation of spikes in agile software development
2020
DOI: 10.1145/3393822.3432342
Type: conference
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