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 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 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 Pagination Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next ›