Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Refinable record structures in formal methods
Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler, 2021
DOI: 10.1007/978-3-030-87657-9_1
Type: conference
Scenario Checker: An Event-B tool for validating abstract models
Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym & Michael Butler, 2021
Type: conference
The dual function of explanations: Why computing explanations is of value
Niko Tsakalakis, Sophie Stalla-Bourdillon, Laura Carmichael, Dong Huynh, Luc Moreau & Ayah Helal, 2021
DOI: 10.5040/9781509954544.ch-005
Type: bookChapter
The VoIP PBX Honeypot Advance Persistent Threat Analysis
Nathaniel McInnes & Gary Wills, 2021
DOI: 10.5220/0010443500700080
Type: conference
Towards CamilleX 3.0
Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym & Michael Butler, 2021
Type: conference
DEff-ARTS: differentiable efficient ARchiTecture search
Sulaiman Sadiq, Partha Maji, Jonathon Hare & Geoff Merrett, 2020
Type: conference
Constrained rigid body attitude stabilization: an anti-windup approach
Matthew Turner & Christopher M. Richards, 2020, IEEE Embedded Systems Letters, 1663 - 1668
DOI: 10.1109/LCSYS.2020.3042932
Type: article