Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Comparing NVM technologies through the lens of Intermittent computation
Timothy Daulby, Alexander Weddell, Geoff Merrett & Anand Savanth, 2020
DOI: 10.1145/3417308.3430268
Type: conference
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