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 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 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 Pagination Previous page ‹ Previous … Page 16 Page 17 Page 18 Page 19 Page 20 Page 21 Page 22 Page 23 Page 24 … Next page Next ›