Publications

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

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