The Single Transferable Voting System: Functional Decomposition in Formal Specification. - Michael Poppleton (IWFM, 1997)

Retrenchment: An Engineering Variation on Refinement. - Richard Banach; Michael Poppleton (B, 1998)

Retrenchment. - Richard Banach; Michael Poppleton (World Congress on Formal Methods, 1999)

Retrenchment and Punctured Simulation. - Richard Banach; Michael Poppleton (IFM, 1999)

Retrenchment: Extending the Reach of Refinement. - Michael Poppleton; Richard Banach (ASE, 1999)

Sharp Retrenchment, Modulated Refinement and Simulation. - Richard Banach; Michael Poppleton (Formal Aspects Comput., 1999)

Fragmented Retrenchment, Concurrency and Fairness. - Richard Banach; Michael Poppleton (ICFEM, 2000)

Retrenchment: Extending Refinement for Continuous and Control Systems. - Michael Poppleton; Richard Banach (IWFM, 2000)

Retrenchment, Refinement, and Simulation. - Richard Banach; Michael Poppleton (ZB, 2000)

Controlling Control Systems: An Application of Evolving Retrenchment. - Michael Poppleton; Richard Banach (ZB, 2002)

Structuring Retrenchments in B by Decomposition. - Michael Poppleton; Richard Banach (FME, 2003)

Retrenching partial requirements into system definitions: a simple feature interaction case study. - Richard Banach; Michael Poppleton (Requir. Eng., 2003)

Requirements Validation by Lifting Retrenchments in B. - Michael Poppleton; Richard Banach (ICECCS, 2004)

Retrenchment and the Mondex Electronic Purse. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (Abstract State Machines, 2005)

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (FM, 2005)

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (ISoLA, 2006)

Towards a Method for Rigorous Development of Generic Requirements Patterns. - Colin F. Snook; Michael Poppleton; Ian Johnson (RODIN Book, 2006)

Retrenching the Purse: Finite Exception Logs, and Validating the Small. - Richard Banach; Michael Poppleton; Susan Stepney (SEW, 2006)

Automatic Translation from Combined B and CSP Specification to Java Programs. - Letu Yang; Michael Poppleton (B, 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 (EASE, 2007)

Usability Assessment of a UML-based Formal Modelling Method. - Rozilawati Razali; Colin F. Snook; Michael Poppleton; Paul W. Garratt (PPIG, 2007)

Towards Feature-Oriented Specification and Development with Event-B. - Michael Poppleton (REFSQ, 2007)

JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. - Letu Yang; Michael Poppleton (CPA, 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)

Engineering and theoretical underpinnings of retrenchment. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (Sci. Comput. Program., 2007)

The Composition of Event-B Models. - Michael Poppleton (ABZ, 2008)

Rigorous engineering of product-line requirements: A case study in failure management. - Colin F. Snook; Michael Poppleton; Ian Johnson (Inf. Softw. Technol., 2008)

Composition mechanisms for retrenchment. - Richard Banach; Czeslaw Jeske; Michael Poppleton (J. Log. Algebraic Methods Program., 2008)

A Basis for Feature-Oriented Modelling in Event-B. - Jennifer Sorge; Michael Poppleton; Michael J. Butler (ASM, 2010)

Java implementation platform for the integrated state- and event-based specification in PROB. - L. Yang; Michael R. Poppleton (Concurr. Comput. Pract. Exp., 2010)

Composing Event-B Specifications - Case-Study Experience. - Ali Gondal; Michael Poppleton; Michael J. Butler (SC@TOOLS, 2011)

A Pattern for Modelling Fault Tolerant Systems in Event-B. - Gintautas Sulskus; Michael Poppleton (ABZ, 2012)

Towards a principled and evolvable approach to software development for future wireless sensor networks. - Michael R. Poppleton; Geoff V. Merrett (SESENA, 2012)

Formal Modelling and Verification of Population Protocols. - Dominique Méry; Michael Poppleton (IFM, 2013)

Adding value to WSN simulation through formal modelling and analysis. - Adisak Intana; Michael R. Poppleton; Geoff V. Merrett (SESENA, 2013)

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)

An Interval-Based Approach to Modelling Time in Event-B. - Gintautas Sulskus; Michael Poppleton; Abdolbaghi Rezazadeh (FSEN, 2015)

A model-based trace testing approach for validation of formal co-simulation models. - Adisak Intana; Michael R. Poppleton; Geoff V. Merrett (SpringSim (TMS-DEVS), 2015)

Fast Model-Based Fault Localisation with Test Suites. - Geoff Birch; Bernd Fischer 002; Michael R. Poppleton (TAP@STAF, 2015)

Modelling Complex Timing Requirements with Refinement. - Gintautas Sulskus; Michael Poppleton; Abdolbaghi Rezazadeh (IRI, 2016)

Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. - Geoff Birch; Bernd Fischer 002; Michael Poppleton (ITiCSE, 2016)

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)

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. - Dana Dghaym; Michael Poppleton; Colin F. Snook (ABZ, 2018)

Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. - Geoff Birch; Bernd Fischer 002; Michael Poppleton (Softw. Syst. Model., 2019)

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)