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 Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello & vladi Sassone, 2025 Type: conference An NLP-driven framework for Business Email Compromise detection and authorship verification Amirah Almutairi, 2025 Type: thesis Evolutionary data subset selection for class-Incremental learning on memory-constrained systems Epifanios Baikas, Danesh Tarapore & David Thomas, 2024 DOI: 10.1145/3638530.3654109 Type: conference Boosting reinforcement learning with strongly delayed feedback through auxiliary short delays Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jurgen Schmidhuber & Chao Huang, 2024 Type: conference Designing exception handling using Event-B Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone, 2024 Type: conference Event-B development of modelling human intervention request in self-driving vehicle systems Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi & Michael Butler, 2024 Type: conference Property ownership formal modelling using Event-B and iUML-B Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi & Gary Wills, 2024 Type: conference Pagination Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 … Next page Next