Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Exploration of high-performance branch predictors for softcore implementations
Talha Israr, Ayesha Quddus & Philippos Papaphilippou, 2026
Type: conference
Student allocation - a case study with UML-B and ProB
Thai Son Hoang, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi, Colin Snook & Michael Butler, 2026
Type: bookChapter
Event-based vision at the edge: a review
Mark Middleton, Teymoor Ali, Epifanios Baikas, Hakan Kayan, Basabdatta Sen Bhattacharya, Elena Gheorghiu, Mark Vousden, Charith Perera, Oliver Rhodes & Martin A. Trefzer, 2026, Brain Sciences, 16(4)
DOI: 10.3390/brainsci16040422
Type: journalSpecialIssue
HyNIC: hybrid in-network inference for line-rate anomaly detection on smartNICs
Aristide Tanyi-Jong Akem & Noa Zilberman, 2026
Type: conference
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
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