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 A fairness-based refinement strategy to transform liveness properties in Event-B models Chenyang Zhu, Michael Butler, Corina Cirstea & Son Hoang, 2023, Science of Computer Programming, 225 DOI: 10.1016/j.scico.2022.102907 Type: article Adapting branched networks to realise progressive intelligence Jack Dymond, Sebastian Stein & Stephen Gunn, 2022 Type: conference Multi-source multi-destination hybrid infrastructure-aided traffic aware routing in V2V/I networks Teodor Ivanescu, Halil Yetgin, Geoff Merrett & Mohammed El-Hajjar, 2022, IEEE Access, 10, 119956-119969 DOI: 10.1109/ACCESS.2022.3221446 Type: article Using machine learning for anomaly detection on a system-on-chip under gamma radiation Eduardo Weber Wachter, Server Kasap, Sefki Kolozali, Xiaojun Zhai, Shoaib Ehsan & Klaus D. McDonald-Maier, 2022, Nuclear Engineering and Technology, 54(11), 3985-3995 DOI: 10.1016/j.net.2022.06.028 Type: article A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym & Son Hoang, 2022 Type: conference Multihop Networking for Intermittent Devices Edward Longman, Mohammed El-Hajjar & Geoff Merrett, 2022 DOI: 10.1145/3560905.3568104 Type: conference Understanding fraudulent returns and mitigation strategies in multichannel retailing Danni Zhang, Regina Frei, P.K. Senyo, Steffen Bayer, Enrico Gerding, Gary Wills & Adrian Beck, 2022, Journal of Retailing and Consumer Services, 70 DOI: 10.1016/j.jretconser.2022.103145 Type: article Pagination Previous page Previous … Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 … Next page Next