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
A Basis for feature-oriented modelling in Event-B
Jennifer Sorge, Michael Poppleton & Michael Butler, 2009
Type: report