Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Memristor-enabled reconfigurable integrated circuit
Jakub Szypicyn, Christos Papavassiliou, Georgios Papandroulidakis, Geoff Merrett, Alexantrou Serb, Spyros Stathopoulos & Themistoklis Prodromakis, 2019
Type: conference
Special Issue: Intelligent Management of Cloud, IoT and Big Data Applications
Claus Pahl, Muthu Ramachandran & Gary Wills, 2019, Journal of Grid Computing
DOI: 10.1007/s10723-019-09496-w
Type: letterEditorial
Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B
Dana Dghaym, Mohammad Sadegh Dalvandi, Michael Poppleton & Colin Snook, 2019, International Journal on Software Tools for Technology Transfer
DOI: 10.1007/s10009-019-00548-w
Type: article
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