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