| 2016 | IRI | Modelling Complex Timing Requirements with Refinement. | Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh |
| 2016 | ITiCSE | Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. | Geoff Birch, Bernd Fischer, Michael Poppleton |
| 2013 | IFM | Formal Modelling and Verification of Population Protocols. | Dominique Mry, Michael Poppleton |
| 2007 | EASE | 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 |
| 2007 | REFSQ | Towards Feature-Oriented Specification and Development with Event-B. | Michael Poppleton |
| 2006 | ISoLA | Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
| 2006 | SEW | Retrenching the Purse: Finite Exception Logs, and Validating the Small. | Richard Banach, Michael Poppleton, Susan Stepney |
| 2005 | FM | Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
| 2004 | ICECCS | Requirements Validation by Lifting Retrenchments in B. | Michael Poppleton, Richard Banach |
| 2003 | FM | Structuring Retrenchments in B by Decomposition. | Michael Poppleton, Richard Banach |
| 2000 | ICFEM | Fragmented Retrenchment, Concurrency and Fairness. | Richard Banach, Michael Poppleton |
| 1999 | FM | Retrenchment. | Richard Banach, Michael Poppleton |
| 1999 | IFM | Retrenchment and Punctured Simulation. | Richard Banach, Michael Poppleton |