Research
Research groups
Member of:
Publications
78 publications
Page 3 of 8
Dana Dghaym, Mohammad Sadegh Dalvandi, Michael Poppleton & Colin Snook,
2019, International Journal on Software Tools for Technology Transfer
Type: article
Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick & Peter Tummeltshammer,
2019
Type: bookChapter
Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler,
2019
Type: conference
Michael Butler, Dana Dghaym, Thai Son Hoang, Temitope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer & Peter Tummeltshammer,
2019
Type: conference
Dana Dghaym, Colin Snook, Thai Son Hoang & Michael Butler,
2018
Type: conference
Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong & Michael Butler,
2018
Type: conference
Rupert Schlick, Michael Felderer, Istvan Majzik, Roberto Nardone, Alexander Raschke, Colin Snook & Valeria Vittorini,
2018
Type: conference
Dana Dghaym, Michael Poppleton & Colin Snook,
2018
Type: conference
Thai Son Hoang, Dana Dghaym, Colin Snook & Michael Butler,
2018
Type: conference
Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas Fischer, Rupert Schlick & Keming Wang,
2018
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.