Michael R. Poppleton

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Wireless Sensor Networks

Simulation Model

Software Development

Execution Traces

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

SpringSim (TMS-DEVS)

Publications

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
A model-based trace testing approach for validation of formal co-simulation models. SpringSim (TMS-DEVS) (2015)
Geoff Birch, Bernd Fischer, Michael R. Poppleton
Fast Model-Based Fault Localisation with Test Suites. TAP@STAF (2015)
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
A Formal Co-Simulation Approach for Wireless Sensor Network Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
Adding value to WSN simulation through formal modelling and analysis. SESENA (2013)
Michael R. Poppleton, Geoff V. Merrett
Towards a principled and evolvable approach to software development for future wireless sensor networks. SESENA (2012)
L. Yang, Michael R. Poppleton
Java implementation platform for the integrated state- and event-based specification in PROB. Concurr. Comput. Pract. Exp. 22 (8) (2010)