Emeritus Professor Michael Poppleton

Connect with Michael

Email: mrp@ecs.soton.ac.uk

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

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

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

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