View all staff

Dr Colin Snook

 PhD
Senior Research Fellow

Connect with Colin

Email: cfs@soton.ac.uk

Tel: +44 23 8059 9052

ORCID
Publications External roles and responsibilities Biography
Publications External roles and responsibilities Biography

Publications

78 publications
Page 1 of 8
Analysing the safety implications of security risks in cyber-physical systems
Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler & Martin Kubisch, 2024
DOI: 10.1007/978-3-031-66673-5_6
Type: bookChapter
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
Semantics formalisation – from Event-B contexts to theories
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler, 2024
Type: conference
Systematic hierarchical analysis of requirements for critical systems
Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi & Michael Butler, 2024, Innovations in Systems and Software Engineering
DOI: 10.1007/s11334-024-00551-8
Type: article
Formal language semantics for triggered enable statecharts with a run-to-completion scheduling
Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook & Michael Butler, 2023
Type: conference
Designing critical systems using hierarchical STPA and event-B
Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Abduallah Alotaibi & Michael Butler, 2023
Type: conference
Formal verification and validation of run-to-completion style state charts using Event-B
K. Morris, C. Snook, T. S. Hoang, G. Hulette, R. Armstrong & M. Butler, 2022, Innovations in Systems and Software Engineering, 18(4), 523-541
DOI: 10.1007/s11334-021-00416-4
Type: article
Building an extensible textual framework for the rodin platform
Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2022
Type: conference
Developing the UML-B modelling tools
Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi & Dana Dghaym, 2022
Type: conference
Generating SPARK from Event-B, providing fundamental safety and security
Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler & Colin Snook, 2022
Type: conference
How to edit profile