Michael Poppleton

39 papers A* 1A 2B 6C 6Misc 1Journal 9Unranked 14

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