View all research projects
Research project

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

Staff

Lead researchers

Professor Michael Butler

Dean of Engineering and Physical Science
Connect with Michael

Email: M.J.Butler@soton.ac.uk

Research outputs

Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B
Dana Dghaym, Mohammad Sadegh Dalvandi, Michael Poppleton & Colin Snook, 2019, International Journal on Software Tools for Technology Transfer
DOI: 10.1007/s10009-019-00548-w
Type: article
Systematic verification and testing
Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick & Peter Tummeltshammer, 2019
DOI: 10.1007/978-3-030-14628-3_9
Type: bookChapter
Behaviour-driven formal model development of the ETCS hybrid level 3
Michael Butler, Dana Dghaym, Thai Son Hoang, Temitope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer & Peter Tummeltshammer, 2019
Type: conference
Formal model validation through acceptance tests
2019
DOI: 10.1007/978-3-030-18744-6_10
Type: conference
Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3
Dana Dghaym, Michael Poppleton & Colin Snook, 2018
DOI: 10.1007/978-3-319-91271-4_23
Type: conference
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