Research
Research groups
Member of:
Publications
78 publications
Page 7 of 8
Rozilawati Razali, Colin Snook, Michael Poppleton & Paul Garratt,
2008, Human Technology: An Interdisciplinary Journal on Humans in ICT Environments
Type: article
R Razali, C. F. Snook & M. R. Poppleton,
2007
Type: conference
R Razali, C Snook, M Poppleton & P Garratt,
2007
Type: report
R Razali, C. F. Snook, M. R. Poppleton, P. W. Garratt, R. J. Walters, B Kitchenham, P Brereton & M Turner,
2007
Type: conference
Colin Snook & Michael Butler,
2006, ACM Transactions on Software Engineering and Methodology, 15(1), 92-122
Type: article
Colin Snook, Michael Poppleton, Ian Johnson, Erik Kamsties, Vincenzo Gervasi & Pete Sawyer,
2005
Type: conference
Michael Butler, Michael Leuschel & Colin Snook,
2005
Type: conference
Colin Snook, Michael Poppleton, Ian Johnson, M Butler, C Jones, A Romanovsky & E Troubitsyna,
2005
Type: conference
Stephane Lo Presti, Michael Butler, Michael Leuschel, Colin Snook & Phillip Turner,
2004
Type: report
Colin Snook, Michael Butler & Ian Oliver,
2004
Type: bookChapter
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.