Michael Poppleton

According to our database, Michael Poppleton authored at least 45 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook

Int. J. Softw. Tools Technol. Transf., 2020

2019

Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs.

Geoff Birch, Bernd Fischer, Michael Poppleton

Softw. Syst. Model., 2019

2018

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.

Dana Dghaym, Michael Poppleton, Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols.

Dominique Méry, Michael Poppleton

Softw. Syst. Model., 2017

2016

Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment.

Geoff Birch, Bernd Fischer, Michael Poppleton

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

Modelling Complex Timing Requirements with Refinement.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015

Fast Model-Based Fault Localisation with Test Suites.

Geoff Birch, Bernd Fischer, Michael R. Poppleton

Proceedings of the Tests and Proofs - 9th International Conference, 2015

A model-based trace testing approach for validation of formal co-simulation models.

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

An Interval-Based Approach to Modelling Time in Event-B.

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

A Formal Co-Simulation Approach for Wireless Sensor Network Development.

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett

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

2013

Adding value to WSN simulation through formal modelling and analysis.

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett

Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013

Formal Modelling and Verification of Population Protocols.

Dominique Méry, Michael Poppleton

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Towards a principled and evolvable approach to software development for future wireless sensor networks.

Michael R. Poppleton, Geoff V. Merrett

Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

A Pattern for Modelling Fault Tolerant Systems in Event-B.

Gintautas Sulskus, Michael Poppleton

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Composing Event-B Specifications - Case-Study Experience.

Ali Gondal, Michael Poppleton, Michael J. Butler

Proceedings of the Software Composition - 10th International Conference, 2011

2010

Java implementation platform for the integrated state- and event-based specification in PROB.

L. Yang, Michael R. Poppleton

Concurr. Comput. Pract. Exp., 2010

A Basis for Feature-Oriented Modelling in Event-B.

Jennifer Sorge, Michael Poppleton, Michael J. Butler

Proceedings of the Abstract State Machines, 2010

2008

Composition mechanisms for retrenchment.

Richard Banach, Czeslaw Jeske, Michael Poppleton

J. Log. Algebraic Methods Program., 2008

Rigorous engineering of product-line requirements: A case study in failure management.

Colin F. Snook, Michael Poppleton, Ian Johnson

Inf. Softw. Technol., 2008

The Composition of Event-B Models.

Michael Poppleton

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Engineering and theoretical underpinnings of retrenchment.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Sci. Comput. Program., 2007

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.

Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney

Fundam. Informaticae, 2007

JCSProB: Implementing Integrated Formal Specifications in Concurrent Java.

Letu Yang, Michael Poppleton

Proceedings of the 30th Communicating Process Architectures Conference, 2007

Towards Feature-Oriented Specification and Development with Event-B.

Michael Poppleton

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Usability Assessment of a UML-based Formal Modelling Method.

Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt

Proceedings of the 19th Annual Workshop of the Psychology of Programming Interest Group, 2007

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One.

Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt, Robert J. Walters

Proceedings of the 11th International Conference on Evaluation and Assessment in Software Engineering, 2007

Automatic Translation from Combined <i>B</i> and CSP Specification to Java Programs.

Letu Yang, Michael Poppleton

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Retrenching the Purse: Finite Exception Logs, and Validating the Small.

Richard Banach, Michael Poppleton, Susan Stepney

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Towards a Method for Rigorous Development of Generic Requirements Patterns.

Colin F. Snook, Michael Poppleton, Ian Johnson

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the FM 2005: Formal Methods, 2005

Retrenchment and the Mondex Electronic Purse.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Requirements Validation by Lifting Retrenchments in B.

Michael Poppleton, Richard Banach

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

2003

Retrenching partial requirements into system definitions: a simple feature interaction case study.

Richard Banach, Michael Poppleton

Requir. Eng., 2003

Structuring Retrenchments in B by Decomposition.

Michael Poppleton, Richard Banach

Proceedings of the FME 2003: Formal Methods, 2003

2002

Controlling Control Systems: An Application of Evolving Retrenchment.

Michael Poppleton, Richard Banach

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2000

Retrenchment, Refinement, and Simulation.

Richard Banach, Michael Poppleton

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Retrenchment: Extending Refinement for Continuous and Control Systems.

Michael Poppleton, Richard Banach

Proceedings of the 4th Irish Workshop on Formal Methods, 2000

Fragmented Retrenchment, Concurrency and Fairness.

Richard Banach, Michael Poppleton

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999

Sharp Retrenchment, Modulated Refinement and Simulation.

Richard Banach, Michael Poppleton

Formal Aspects Comput., 1999

Retrenchment: Extending the Reach of Refinement.

Michael Poppleton, Richard Banach

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Retrenchment and Punctured Simulation.

Richard Banach, Michael Poppleton

Proceedings of the Integrated Formal Methods, 1999

Retrenchment.

Richard Banach, Michael Poppleton

Proceedings of the FM'99 - Formal Methods, 1999

1998

Retrenchment: An Engineering Variation on Refinement.

Richard Banach, Michael Poppleton

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

The Single Transferable Voting System: Functional Decomposition in Formal Specification.

Michael Poppleton

Proceedings of the 1st Irish Workshop on Formal Methods, 1997