View all research projects
Research project

H2020 - ENABLE-S3 - ECSEL-2015-1-RIA - Butler

Staff

Lead researcher

Professor Michael Butler

Dean of Engineering and Physical Science
Connect with Michael

Email: [email protected]

Research outputs

A composition mechanism for refinement-based methods
Thai Son Hoang, Dana Dghaym, Colin Snook & Michael Butler, 2018
DOI: 10.1109/ICECCS.2017.27
Type: conference
Behaviour-driven formal model development
Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas Fischer, Rupert Schlick & Keming Wang, 2018
DOI: 10.1007/978-3-030-02450-5_2
Type: conference
Formal modelling techniques for efficient development of railway control products
Michael Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook & Peter Tummeltshammer, 2017
DOI: 10.1007/978-3-319-68499-4_5
Type: conference
Class diagrams for Abstract Data Types
Thai Son Hoang, Colin Snook, Dana Dghaym & Michael Butler, 2017
DOI: 10.1007/978-3-319-67729-3_7
Type: conference
Analysing security protocols using refinement in iUML-B
Colin Snook, Thai Son Hoang & Michael Butler, 2017
DOI: 10.1007/978-3-319-57288-8_6
Type: bookChapter