Research
Research groups
Member of:
Publications
78 publications
Page 1 of 8
Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler & Martin Kubisch,
2024
Type: bookChapter
Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone,
2024
Type: conference
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler,
2024
Type: conference
Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi & Michael Butler,
2024, Innovations in Systems and Software Engineering
Type: article
Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook & Michael Butler,
2023
Type: conference
Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Abduallah Alotaibi & Michael Butler,
2023
Type: conference
K. Morris, C. Snook, T. S. Hoang, G. Hulette, R. Armstrong & M. Butler,
2022, Innovations in Systems and Software Engineering, 18(4), 523-541
Type: article
Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler,
2022
Type: conference
Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi & Dana Dghaym,
2022
Type: conference
Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler & Colin Snook,
2022
Type: conference
External roles and responsibilities
Name:
Formal modelling processes for analysing cyber-physical systems
Role:
Speaker
Year:
2020
Biography
Dr Colin Snook is a Senior Research Fellow in the cyber-physical systems group at the University of Southampton, UK. He was involved in the development of the Rodin modelling tools, especially UML-B which is a UML-like diagrammatic front-end for the Event-B formal modelling language. He has spent the past 20 years collaborating with industry in the Aerospace and Railway domains to facilitate industrial use of formal methods. This has included consultancy on modelling and verification of systems as well as developing formal modelling tools and training various industrial partners in their use. Before gaining his PhD in computer science at Southampton in 2001 he worked as a software engineer on safety-critical aircraft engine controls.