Publications

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

Research outputs

On Runtime Communication and Thermal-Aware Application Mapping and Defragmentation in 3D NoC Systems

2019, IEEE Transactions on Parallel and Distributed Systems, 30(12), 2775-2789

DOI: 10.1109/TPDS.2019.2921542

Type: article

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants

2019, Journal of Automated Reasoning, 63(4), 1005-1029

DOI: 10.1007/s10817-018-9497-x

Type: article

Verifying cross-layer interactions through formal model-based assertion generation

Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi , Michael Butler & Bashir M. Al-Hashimi, 2019, IEEE Embedded Systems Letters

DOI: 10.1109/LES.2019.2955316

Type: article

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