| Retrenchment: An engineering variation on refinement R Banach, M Poppleton International Conference of B Users, 129-147, 1998 | 117 | 1998 |
| Engineering and theoretical underpinnings of retrenchment R Banach, M Poppleton, C Jeske, S Stepney Science of Computer Programming 67 (2-3), 301-329, 2007 | 73 | 2007 |
| Sharp retrenchment, modulated refinement and simulation R Banach, M Poppleton Formal Aspects of Computing 11 (5), 498-540, 1999 | 54 | 1999 |
| Retrenching partial requirements into system definitions: A simple feature interaction case study R Banach, M Poppleton Requirements Engineering 8 (4), 266-288, 2003 | 48 | 2003 |
| Retrenchment, refinement, and simulation R Banach, M Poppleton International Conference of B and Z Users, 304-323, 2000 | 44 | 2000 |
| Towards feature-oriented specification and development with Event-B MR Poppleton International Working Conference on Requirements Engineering: Foundation for …, 2007 | 42 | 2007 |
| The composition of Event-B models M Poppleton International Conference on Abstract State Machines, B and Z, 209-222, 2008 | 41 | 2008 |
| Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One R Razali, CF Snook, MR Poppleton, PW Garratt, R Walters 11th International Conference on Evaluation and Assessment in Software …, 2007 | 36 | 2007 |
| Diagram-led formal modelling using iUML-B for hybrid ERTMS level 3 D Dghaym, M Poppleton, C Snook International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 35 | 2018 |
| Composing Event-B specifications-case-study experience A Gondal, M Poppleton, M Butler International Conference on Software Composition, 100-115, 2011 | 33 | 2011 |
| Retrenching the purse: Finite sequence numbers, and the tower pattern R Banach, M Poppleton, C Jeske, S Stepney International Symposium on Formal Methods, 382-398, 2005 | 32 | 2005 |
| Composition mechanisms for retrenchment R Banach, C Jeske, M Poppleton The Journal of Logic and Algebraic Programming 75 (2), 209-229, 2008 | 31 | 2008 |
| Retrenching the purse: The balance enquiry quandary, and generalised and (1, 1) forward refinements R Banach, C Jeske, M Poppleton, S Stepney Fundamenta Informaticae 77 (1-2), 29-69, 2007 | 30 | 2007 |
| Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B D Dghaym, MS Dalvandi, M Poppleton, C Snook International Journal on Software Tools for Technology Transfer, 2019 | 27 | 2019 |
| Controlling control systems: An application of evolving retrenchment M Poppleton, R Banach International Conference of B and Z Users, 42-61, 2002 | 25 | 2002 |
| An interval-based approach to modelling time in Event-B G Sulskus, M Poppleton, A Rezazadeh International Conference on Fundamentals of Software Engineering, 292-307, 2015 | 22 | 2015 |
| Retrenching the purse: finite exception logs, and validating the small R Banach, M Poppleton, S Stepney 2006 30th Annual IEEE/NASA Software Engineering Workshop, 234-248, 2006 | 22 | 2006 |
| Retrenchment and punctured simulation R Banach, M Poppleton IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999 | 22 | 1999 |
| Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols D Méry, M Poppleton Software & Systems Modeling 16 (4), 1083-1115, 2017 | 21 | 2017 |
| Usability assessment of a UML-based formal modeling method using a cognitive dimensions framework R Razali, C Snook, M Poppleton, P Garratt Human Technology: An Interdisciplinary Journal on Humans in ICT Environments, 2008 | 21 | 2008 |
