Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Energy-aware HW/SW co-modeling of batteryless wireless sensor nodes
Samuel Chang Bing Wong, Sivert T. Sliper, William Wang, Alexander Weddell, Stephanie Gauthier & Geoff Merrett, 2020
DOI: 10.1145/3417308.3430272
Type: conference
Towards generating SPARK from Event-B models
Sanjeevan Sritharan & Thai Son Hoang, 2020
Type: conference
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