Michael Poppleton

M. Poppleton

	2008
26		Michael Poppleton: The Composition of Event-B Models. ABZ 2008: 209-222
25		Colin F. Snook, Michael Poppleton, Ian Johnson: Rigorous engineering of product-line requirements: A case study in failure management. Information & Software Technology 50(1-2): 112-129 (2008)
24		Richard Banach, Czeslaw Jeske, Michael Poppleton: Composition mechanisms for retrenchment. J. Log. Algebr. Program. 75(2): 209-229 (2008)
	2007
23		Letu Yang, Michael Poppleton: Automatic Translation from Combined B and CSP Specification to Java Programs. B 2007: 64-78
22		Letu Yang, Michael Poppleton: JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. CPA 2007: 67-88
21		Michael Poppleton: Towards Feature-Oriented Specification and Development with Event-B. REFSQ 2007: 367-381
20		Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney: Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Inform. 77(1-2): 29-69 (2007)
19		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
	2006
18		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
17		Colin F. Snook, Michael Poppleton, Ian Johnson: Towards a Method for Rigorous Development of Generic Requirements Patterns. RODIN Book 2006: 326-342
16		Richard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248
	2005
15		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
14		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
	2004
13		Michael Poppleton, Richard Banach: Requirements Validation by Lifting Retrenchments in B. ICECCS 2004: 87-96
	2003
12		Michael Poppleton, Richard Banach: Structuring Retrenchments in B by Decomposition. FME 2003: 814-833
11		Richard Banach, Michael Poppleton: Retrenching partial requirements into system definitions: a simple feature interaction case study. Requir. Eng. 8(4): 266-288 (2003)
	2002
10		Michael Poppleton, Richard Banach: Controlling Control Systems: An Application of Evolving Retrenchment. ZB 2002: 42-61
	2000
9		Richard Banach, Michael Poppleton: Fragmented Retrenchment, Concurrency and Fairness. ICFEM 2000: 143-
8		Michael Poppleton, Richard Banach: Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM 2000
7		Richard Banach, Michael Poppleton: Retrenchment, Refinement, and Simulation. ZB 2000: 304-323
	1999
6		Michael Poppleton, Richard Banach: Retrenchment: Extending the Reach of Refinement. ASE 1999: 158-165
5		Richard Banach, Michael Poppleton: Retrenchment and Punctured Simulation. IFM 1999: 457-476
4		Richard Banach, Michael Poppleton: Retrenchment. World Congress on Formal Methods 1999: 1864-1865
3		Richard Banach, Michael Poppleton: Sharp Retrenchment, Modulated Refinement and Simulation. Formal Asp. Comput. 11(5): 498-540 (1999)
	1998
2		Richard Banach, Michael Poppleton: Retrenchment: An Engineering Variation on Refinement. B 1998: 129-147
	1997
1		Michael Poppleton: The Single Transferable Voting System: Functional Decomposition in Formal Specification. IWFM 1997

Coauthor Index

1	Richard Banach	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [24]
2	Czeslaw Jeske	[14] [15] [18] [19] [20] [24]
3	Ian Johnson	[17] [25]
4	Colin F. Snook	[17] [25]
5	Susan Stepney	[14] [15] [16] [18] [19] [20]
6	Letu Yang	[22] [23]

Colors in the list of coauthors