Open menu
View all staff
Emeritus Professor Michael Poppleton

Emeritus Professor Michael Poppleton

Connect with Michael

Email: mrp@ecs.soton.ac.uk

Publications
Publications

Publications

45 publications
Page 1 of 5
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
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
Modelling complex timing requirements with refinement
Gintautas Sulskus,
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2016
Type: conference
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
Dominique Mery,
& Michael Poppleton
, 2015 , Software and Systems Modeling , 1--33
DOI: 10.1007/s10270-015-0504-y
Type: article
A model-based trace testing approach for validation of formal co-simulation models
Adisak Intana,
Michael R. Poppleton,
& Geoff V. Merrett
, 2015
Type: conference
Fast model-based fault localisation with test suites
Geoff Birch,
Bernd Fischer,
& Michael Poppleton
, 2015
DOI: 10.1007/978-3-319-21215-9_3
Type: conference
An Interval-Based Approach to Modelling Time in Event-B
Gintautas Sulskus,
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2015
DOI: 10.1007/978-3-319-24644-4_20
Type: conference
A formal co-simulation approach for wireless sensor network development
Adisak Intana,
Michael R. Poppleton,
& Geoff V. Merrett
, 2014 , Electronic Communications of the EASST , 70 , 1--15
Type: article
How to edit profile
Back
to top