Cyber Physical Systems
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