Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more

Research outputs

Domain-specific scenarios for refinement-based methods
Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021, Journal of Systems Architecture, 112
DOI: 10.1016/j.sysarc.2020.101833
Type: article
A variance controlled stochastic method with biased estimation for faster non-convex optimization
Jia Bi & Stephen R. Gunn, 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 135 - 150
DOI: 10.1007/978-3-030-86523-8_9
Type: article
Proceedings of the 9th Rodin User and Developer Workshop, 2021
Asieh Salehi Fathabadi, Yamine Aït Ameur, Thai Son Hoang & Colin Snook, 2021
Type: book
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