Michael Poppleton

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 6

Top Topics

Distributed Systems

Top Venues

Softw. Syst. Model.

Int. J. Softw. Tools Technol. Transf.

Publications

Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Geoff Birch, Bernd Fischer, Michael Poppleton
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. Softw. Syst. Model. 18 (1) (2019)
Dana Dghaym, Michael Poppleton, Colin F. Snook
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. ABZ (2018)
Dominique Méry, Michael Poppleton
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. Softw. Syst. Model. 16 (4) (2017)
Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
Modelling Complex Timing Requirements with Refinement. IRI (2016)
Geoff Birch, Bernd Fischer, Michael Poppleton
Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. ITiCSE (2016)
Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
An Interval-Based Approach to Modelling Time in Event-B. FSEN (2015)
Dominique Méry, Michael Poppleton
Formal Modelling and Verification of Population Protocols. IFM (2013)
Gintautas Sulskus, Michael Poppleton
A Pattern for Modelling Fault Tolerant Systems in Event-B. ABZ (2012)
Ali Gondal, Michael Poppleton, Michael J. Butler
Composing Event-B Specifications - Case-Study Experience. SC@TOOLS (2011)
Jennifer Sorge, Michael Poppleton, Michael J. Butler
A Basis for Feature-Oriented Modelling in Event-B. ASM (2010)
Colin F. Snook, Michael Poppleton, Ian Johnson
Rigorous engineering of product-line requirements: A case study in failure management. Inf. Softw. Technol. 50 (1-2) (2008)
Michael Poppleton
The Composition of Event-B Models. ABZ (2008)
Richard Banach, Czeslaw Jeske, Michael Poppleton
Composition mechanisms for retrenchment. J. Log. Algebraic Methods Program. 75 (2) (2008)
Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt
Usability Assessment of a UML-based Formal Modelling Method. PPIG (2007)
Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Informaticae 77 (1-2) (2007)
Rozilawati Razali, Colin F. Snook, Michael Poppleton, Paul W. Garratt, Robert J. Walters
Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. EASE (2007)
Michael Poppleton
Towards Feature-Oriented Specification and Development with Event-B. REFSQ (2007)
Letu Yang, Michael Poppleton
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. CPA (2007)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67 (2-3) (2007)
Letu Yang, Michael Poppleton
and CSP Specification to Java Programs. B (2007)
Colin F. Snook, Michael Poppleton, Ian Johnson
Towards a Method for Rigorous Development of Generic Requirements Patterns. RODIN Book (2006)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA (2006)
Richard Banach, Michael Poppleton, Susan Stepney
Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW (2006)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenchment and the Mondex Electronic Purse. Abstract State Machines (2005)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM (2005)
Michael Poppleton, Richard Banach
Requirements Validation by Lifting Retrenchments in B. ICECCS (2004)
Richard Banach, Michael Poppleton
Retrenching partial requirements into system definitions: a simple feature interaction case study. Requir. Eng. 8 (4) (2003)
Michael Poppleton, Richard Banach
Structuring Retrenchments in B by Decomposition. FME (2003)
Michael Poppleton, Richard Banach
Controlling Control Systems: An Application of Evolving Retrenchment. ZB (2002)
Michael Poppleton, Richard Banach
Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM (2000)
Richard Banach, Michael Poppleton
Fragmented Retrenchment, Concurrency and Fairness. ICFEM (2000)
Richard Banach, Michael Poppleton
Retrenchment, Refinement, and Simulation. ZB (2000)
Richard Banach, Michael Poppleton
Retrenchment. World Congress on Formal Methods (1999)
Richard Banach, Michael Poppleton
Retrenchment and Punctured Simulation. IFM (1999)
Richard Banach, Michael Poppleton
Sharp Retrenchment, Modulated Refinement and Simulation. Formal Aspects Comput. 11 (5) (1999)
Michael Poppleton, Richard Banach
Retrenchment: Extending the Reach of Refinement. ASE (1999)
Richard Banach, Michael Poppleton
Retrenchment: An Engineering Variation on Refinement. B (1998)
Michael Poppleton
The Single Transferable Voting System: Functional Decomposition in Formal Specification. IWFM (1997)