Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
The CamilleX Framework for the Rodin Platform
Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021
DOI: 10.1007/978-3-030-77543-8_11
Type: conference
Verifying System-level Security of a Smart Ballot Box
Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello & Vladimiro Sassone, 2021
DOI: 10.1007/978-3-030-77543-8_3
Type: conference
Towards scalable modeling of biology in Event-B
Usman Sanwal, Thai Son Hoang, Luigia Petre & Ion Petre, 2021
DOI: 10.48550/arXiv.2105.10344
Type: other
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions
Chenyang Zhu, Michael Butler, Corina Cirstea & Thai Son Hoang, 2021
Type: conference
Exploring performance enhancement of event-driven processor networks
Tim Todman, David Thomas & Wayne Luk, 2021
DOI: 10.1109/ICFPT51103.2020.00056
Type: conference
An STPA-based formal composition framework for trustworthy autonomous maritime systems
Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes & Ben Pritchard, 2021, Safety Science, 136
DOI: 10.1016/j.ssci.2020.105139
Type: article
Discrete‐time systems with slope restricted nonlinearities: Zames–Falb multiplier analysis using external positivity
Matthew C. Turner & Ross Drummond, 2021, International Journal of Robust and Nonlinear Control, 31(6), 2255-2273
DOI: 10.1002/rnc.5391
Type: article