Research
Research groups
Member of:
Publications
74 publications
Page 5 of 8
M. Satpathy,
S. Ramesh,
Colin Snook,
N.K. Singh,
, 2013
Type: conference
John Colley,
Andrew Edmunds,
Colin Snook,
Neil Evans,
Neil Grant,
& Helen Marshall
, 2013
Type: conference
Brett Bicknell,
Jose Reis,
John Colley,
& Colin Snook
, 2012
Type: conference
Stefan Hallerstede,
& Colin Snook
, 2011
Type: conference
Colin Snook
, 2011
Type: conference
Colin Snook,
Vitaly Savicks,
, 2011
, Lecture Notes in Computer Science
, 6957 , 251
Type: article
Tossaporn Joochim,
Colin Snook,
& Andrew Gravell
, 2010
Type: conference
Ali Gondal,
& Colin Snook
, 2010
Type: conference
Mar Yah Said,
& Colin Snook
, 2009
Type: conference
Pagination
-
- …
- 3
- 4
- 5
- 6
- 7
- …
-
Next page
Next
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.