Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Refinement of statecharts with run-to-completion semantics
Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong & Michael Butler, 2018
Type: conference
Simple globally stabilising anti-windup designs for systems with rate-limits
Jorge Sofrony, Matthew C. Turner & Richard T. O'Brien, 2018
DOI: 10.1109/CONTROL.2018.8516867
Type: conference
A proposal of an example and experiments repository to foster industrial adoption of formal methods
Rupert Schlick, Michael Felderer, Istvan Majzik, Roberto Nardone, Alexander Raschke, Colin Snook & Valeria Vittorini, 2018
DOI: 10.1007/978-3-030-03427-6_20
Type: conference
Workload-Aware runtime energy management for HPC Systems
Karunakar Reddy Basireddy, Eduardo Weber Wachter, Bashir M. Al-Hashimi & Geoff Merrett, 2018
DOI: 10.1109/HPCS.2018.00057
Type: conference
Lightweight PUF-based authentication protocol for IoT devices
Yildiran Yilmaz, Steve R. Gunn & Basel Halak, 2018
DOI: 10.1109/IVSW.2018.8494884
Type: conference