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

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