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 2 of 5
Proof-based formal methods for WSN development with Simulation Approach
Adisak Intana,
Michael R. Poppleton,
& Geoff V. Merrett
, 2013
Type: conference
Formal modelling and verification of population protocols
Dominique Mery,
& Michael Poppleton
, 2013
Type: conference
Adding value to WSN simulation through formal modelling and analysis
Adisak Intana,
Michael R. Poppleton,
& Geoff V. Merrett
, 2013
Type: conference
Modelling the pacemaker in event-B: towards methodology for reuse
Michael Poppleton,
& Abdolbaghi Rezazadeh
, 2012
Type: workingPaper
Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks
Michael R. Poppleton,
& Geoff V. Merrett
, 2012
Type: conference
Composing Event-B Specifications - Case-Study Experience
Ali Gondal,
Mike Poppleton,
Michael Butler,
S Apel,
& E Jackson
, 2011
Type: conference
A Basis for Feature-Oriented Modelling in Event-B
Jennifer Sorge,
Mike Poppleton,
& Michael Butler
, 2010
Type: conference
Timing diagrams requirements modeling using Event-B formal methods
Tossaporn Joochim,
Colin Snook,
Mike Poppleton,
& Andrew Gravell
, 2010
Type: conference
Feature-Oriented Modelling Using Event-B
Ali Gondal,
Mike Poppleton,
Michael Butler,
& Colin Snook
, 2010
Type: conference
Java implementation platform for the integrated state- and event-based specification in PROB
Letu Yang,
& Michael Poppleton
, 2009 , Concurrency and Computation: Practice and Experience , 22 (8) , 1007--1022
DOI: 10.1002/cpe.1425
Type: article
How to edit profile