Open menu
View all staff
Doctor Michael Poppleton

Doctor Michael Poppleton

Connect with Michael

Email: mrp@ecs.soton.ac.uk

Publications

Publications

52 publications
Page 1 of 6
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
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
Geoff Birch,
Bernd Fischer,
& Michael Poppleton
, 2019 , Software and Systems Modeling , 18 (1) , 445--471
DOI: 10.1007/s10270-017-0612-y
Type: article
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
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
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
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
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
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
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
Using fast model-based fault localisation to aid students in self-guided program repair and to improve assessment
Geoff Birch,
Bernd Fischer,
& Michael Poppleton
, 2016
DOI: 10.1145/2899415.2899433
Type: conference
How to edit profile
Back to top