Collection of books in library

Publications

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

Research outputs

A neuro-inspired visual tracking method based on programmable system-on-chip platform
2018, Neural Computing and Applications, 30(9), 2697-2708
DOI: 10.1007/s00521-017-2847-5
Type: article
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
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
Advergame for dementia awareness and supporting carers
Noreena Liu, Gary Wills & Ranchhod Ashok, 2018
Type: conference