Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us Cyber Physical Systems 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 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 Pagination Previous page Previous … Page 18 Page 19 Page 20 Page 21 Page 22 Page 23 … Next page Next