Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Systematic verification and testing
Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick & Peter Tummeltshammer, 2019
DOI: 10.1007/978-3-030-14628-3_9
Type: bookChapter
The circuit breaker pattern targeted to future IoT applications
Gibeon Aquino, Rafael Queiroz, Geoff Merrett & Bashir Al-Hashimi, 2019
DOI: 10.1007/978-3-030-33702-5_30
Type: conference
Domain-specific scenarios for refinement-based methods
Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler, 2019
DOI: 10.1007/978-3-030-32213-7_2
Type: conference
Energy-neutral wireless-powered networks
Oktay Cetinkaya, Ergin Dinc, Caglar Koca, Geoff Merrett & Ozgur B. Akan, 2019, IEEE Wireless Communications Letters, 8(5), 1373-1376
DOI: 10.1109/LWC.2019.2918527
Type: letterEditorial
Survey of Lockstep based Mitigation Techniques for Soft Errors in Embedded Systems
Eduardo Weber Wachter, Server Kasap, Xiaojun Zhai, Shoaib Ehsan & Klaus McDonald-Maier, 2019
DOI: 10.1109/CEEC47804.2019.8974333
Type: conference
Building rating system
Watthanasak Jeamwatthanachai, Michael Wald & Gary Wills, 2019, Journal of Enabling Technologies, 13(3), 158-172
DOI: 10.1108/JET-12-2018-0060
Type: article
Spatial representation framework for better indoor navigation by people with visual impairment
Watthanasak Jeamwatthanachai, Michael Wald & Gary Wills, 2019, Journal of Enabling Technologies, 13(4), 212-227
DOI: 10.1108/JET-12-2018-0068
Type: article