Michael Poppleton

M. Poppleton

2008
25	EE	Michael Poppleton: The Composition of Event-B Models. ABZ 2008: 209-222
24	EE	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)
23	EE	Richard Banach, Czeslaw Jeske, Michael Poppleton: Composition mechanisms for retrenchment. J. Log. Algebr. Program. 75(2): 209-229 (2008)
2007
22	EE	Letu Yang, Michael Poppleton: Automatic Translation from Combined B and CSP Specification to Java Programs. B 2007: 64-78
21		Letu Yang, Michael Poppleton: JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. CPA 2007: 67-88
20	EE	Michael Poppleton: Towards Feature-Oriented Specification and Development with Event-B. REFSQ 2007: 367-381
19	EE	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)
18	EE	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
2006
17	EE	Colin F. Snook, Michael Poppleton, Ian Johnson: Towards a Method for Rigorous Development of Generic Requirements Patterns. RODIN Book 2006: 326-342
16	EE	Richard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248
2005
15	EE	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
14	EE	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
2004
13	EE	Michael Poppleton, Richard Banach: Requirements Validation by Lifting Retrenchments in B. ICECCS 2004: 87-96
2003
12	EE	Michael Poppleton, Richard Banach: Structuring Retrenchments in B by Decomposition. FME 2003: 814-833
11	EE	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	EE	Michael Poppleton, Richard Banach: Controlling Control Systems: An Application of Evolving Retrenchment. ZB 2002: 42-61
2000
9	EE	Richard Banach, Michael Poppleton: Fragmented Retrenchment, Concurrency and Fairness. ICFEM 2000: 143-
8	EE	Michael Poppleton, Richard Banach: Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM 2000
7	EE	Richard Banach, Michael Poppleton: Retrenchment, Refinement, and Simulation. ZB 2000: 304-323
1999
6	EE	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	EE	Richard Banach, Michael Poppleton: Retrenchment. World Congress on Formal Methods 1999: 1864-1865
3	EE	Richard Banach, Michael Poppleton: Sharp Retrenchment, Modulated Refinement and Simulation. Formal Asp. Comput. 11(5): 498-540 (1999)
1998
2	EE	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] [23]
2	Czeslaw Jeske	[14] [15] [18] [19] [23]
3	Ian Johnson	[17] [24]
4	Colin F. Snook	[17] [24]
5	Susan Stepney	[14] [15] [16] [18] [19]
6	Letu Yang	[21] [22]

Colors in the list of coauthors