Cyber Physical Systems
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
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
Semantics formalisation – from Event-B contexts to theories
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler, 2024
Type: conference