Michael J. Butler

	2009
57		Mar Yah Said, Michael J. Butler, Colin F. Snook: Language and Tool Support for Class and State Machine Refinement in UML-B. FM 2009: 579-595
56		Kriangsak Damchoom, Michael J. Butler: Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. SBMF 2009: 134-152
55		Shamim Ripon, Michael J. Butler: PVS Embedding of cCSP Semantic Models and Their Relationship. Electr. Notes Theor. Comput. Sci. 250(2): 103-118 (2009)
	2008
54		Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Springer 2008
53		Colin F. Snook, Michael J. Butler: UML-B: A Plug-in for the Event-B Tool Set. ABZ 2008: 344
52		Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: A Roadmap for the Rodin Toolset. ABZ 2008: 347
51		Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial: Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. ICFEM 2008: 25-44
50		Michael Leuschel, Michael J. Butler: ProB: an automated analysis toolset for the B method. STTT 10(2): 185-203 (2008)
	2007
49		Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
48		Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113
47		Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34
	2006
46		Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] Springer 2006
45		Neil Evans, Michael J. Butler: A Proposal for Records in Event-B. FM 2006: 221-235
44		Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
43		Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin: An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605
42		Colin F. Snook, Michael J. Butler: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1): 92-122 (2006)
	2005
41		Michael J. Butler, Michael Leuschel, Colin F. Snook: Tools for System Validation with B Abstract Machines. Abstract State Machines 2005: 57-69
40		Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari: Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397
39		Michael J. Butler, Shamim Ripon: Executable Semantics for Compensating CSP. EPEW/WS-FM 2005: 243-256
38		Michael J. Butler, Michael Leuschel: Combining CSP and B for Specification and Property Verification. FM 2005: 221-236
37		Michael Leuschel, Michael J. Butler: Automatic Refinement Checking for B. ICFEM 2005: 345-359
36		Abdolbaghi Rezazadeh, Michael J. Butler: Some Guidelines for Formal Development of Web-Based Applications in B-Method. ZB 2005: 472-492
35		Manoranjan Satpathy, Michael Leuschel, Michael J. Butler: ProTest: An Automatic Test Environment for B Specifications. Electr. Notes Theor. Comput. Sci. 111: 113-136 (2005)
34		Michael J. Butler, Carla Ferreira, Muan Yong Ng: Precise Modelling of Compensating Business Transactions and its Application to BPEL. J. UCS 11(5): 712-743 (2005)
	2004
33		Michael J. Butler, C. A. R. Hoare, Carla Ferreira: A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes 2004: 133-150
32		Michael J. Butler, Carla Ferreira: An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. COORDINATION 2004: 87-104
31		Stéphane Lo Presti, Michael J. Butler, Michael Leuschel, Chris Booth: A Trust Analysis Methodology for Pervasive Computing Systems. Trusting Agents for Trusting Electronic Societies 2004: 129-143
30		Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, Phillip Turner: The Use of Formal Methods in the Analysis of Trust (Position Paper). iTrust 2004: 333-339
29		Stefan Hallerstede, Michael J. Butler: Performance analysis of probabilistic action systems. Formal Asp. Comput. 16(4): 313-331 (2004)
	2003
28		Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig: Using SPIN and STeP to Verify Business Processes Specifications. Ershov Memorial Conference 2003: 207-213
27		Michael Leuschel, Michael J. Butler: ProB: A Model Checker for B. FME 2003: 855-874
26		Muan Yong Ng, Michael J. Butler: Towards Formalizing UML State Diagrams in CSP. SEFM 2003: 138-
25		Carla Ferreira, Michael J. Butler: Using B Refinement to Analyse Compensating Business Processes. ZB 2003: 477-496
	2002
24		Michael J. Butler, Luigia Petre, Kaisa Sere: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings Springer 2002
23		Muan Yong Ng, Michael J. Butler: Tool Support for Visualizing CSP in UML. ICFEM 2002: 287-298
22		Leonid Mikhailov, Michael J. Butler: An Approach to Combining B and Alloy. ZB 2002: 140-161
21		Michael J. Butler: On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Asp. Comput. 14(1): 2-34 (2002)
20		Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson: Extending the concept of transaction compensation. IBM Systems Journal 41(4): 743-758 (2002)
	2001
19		Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley: Transacted Memory for Smart Cards. FME 2001: 478-499
	2000
18		Michael J. Butler, Carla Ferreira: A Process Compensation Language. IFM 2000: 61-76
17		Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler: A Generic Model for Assessing Process Quality. IWSM 2000: 94-110
16		Michael J. Butler, Mairead Meagher: Performing Algorithmic Refinement before Data Refinement in B. ZB 2000: 324-343
15		Michael J. Butler: csp2B: A Practical Approach to Combining CSP and B. Formal Asp. Comput. 12(3): 182-198 (2000)
	1999
14		Pieter H. Hartel, Michael J. Butler, Moshe Levy: The Operational Semantics of a Java Secure Processor. Formal Syntax and Semantics of Java 1999: 313-352
13		Michael J. Butler: csp2B: A Practical Approach to Combining CSP and B. World Congress on Formal Methods 1999: 490-508
12		Michael J. Butler, Pieter H. Hartel: Reasoning about Grover's quantum search algorithm using probabilistic wp. ACM Trans. Program. Lang. Syst. 21(3): 417-429 (1999)
11		Michael J. Butler: Calculational Derivation of Pointer Algorithms from Tree Operations. Sci. Comput. Program. 33(3): 221-260 (1999)
	1998
10		Ralph-Johan Back, Michael J. Butler: Fusion and Simultaneous Execution in the Refinement Calculus. Acta Inf. 35(11): 921-949 (1998)
	1997
9		Michael J. Butler: An Approach to the Design of Distributed Systems with B AMN. ZUM 1997: 223-241
	1996
8		Michael J. Butler, Thomas Långbacka: Program Derivation Using the Refinement Calculator. TPHOLs 1996: 93-108
7		Michael J. Butler: Stepwise Refinement of Communicating Systems. Sci. Comput. Program. 27(2): 139-173 (1996)
	1995
6		Michael J. Butler, Emil Sekerinski, Kaisa Sere: An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications 1995: 129-148
5		Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158
4		Michael J. Butler, Carroll Morgan: Action Systemes, Unbounded Nondeterminism, and Infinite Traces. Formal Asp. Comput. 7(1): 37-53 (1995)
	1993
3		Michael J. Butler: Refinement and Decomposition of Value-Passing Action Systems. CONCUR 1993: 217-232
	1991
2		Michael J. Butler: Behavioural Extension for CSP. VDM Europe (1) 1991: 254-267
	1990
1		Michael J. Butler: Service Extension at the Specification Level. Z User Workshop 1990: 319-333

Coauthor Index

1	Jean-Raymond Abrial	[43] [44] [51] [52]
2	Juan Carlos Augusto	[28]
3	Ralph-Johan Back	[5] [10]
4	Don S. Batory	[44]
5	Paul Boca	[54]
6	Chris Booth	[31]
7	Egon Börger	[54]
8	Jonathan P. Bowen	[54]
9	Roberto Bruni	[40]
10	Mandy Chessell	[20]
11	Alessandro Coglio	[44]
12	Stephen-John Craig	[28]
13	Kriangsak Damchoom	[51] [56]
14	Neil Evans	[45]
15	Carla Ferreira	[18] [20] [25] [28] [32] [33] [34] [40]
16	Kathi Fisler	[44]
17	Catherine Griffin	[20]
18	Stefan Hallerstede	[29] [43] [52]
19	Rachel Harrison	[17]
20	Pieter H. Hartel	[12] [14] [19]
21	Eric C. R. Hehner	[44]
22	Peter Henderson	[20]
23	C. A. R. Hoare (Tony Hoare)	[33] [40]
24	Cliff B. Jones	[44] [46]
25	Simon L. Peyton Jones	[44]
26	Eduard de Jong	[19]
27	Thomas Långbacka	[8]
28	Gary T. Leavens	[44]
29	Michael Leuschel	[27] [30] [31] [35] [37] [38] [41] [47] [48] [49] [50]
30	Moshe Levy	[14]
31	Mark Longley	[19]
32	Mairead Meagher	[16]
33	Hernán C. Melgratti	[40]
34	Leonid Mikhailov	[22]
35	Dale Miller	[44]
36	Ugo Montanari	[40]
37	Carroll Morgan (Carroll C. Morgan)	[4]
38	Muan Yong Ng	[23] [26] [34]
39	Luigia Petre	[24]
40	Stéphane Lo Presti	[30] [31]
41	S. Ramesh (Sethu Ramesh)	[48]
42	Abdolbaghi Rezazadeh	[36]
43	Shamim Ripon	[39] [55]
44	Alexander Romanovsky (Alexander B. Romanovsky)	[46]
45	Mar Yah Said	[57]
46	Manoranjan Satpathy	[17] [35] [48]
47	Emil Sekerinski	[6]
48	Kaisa Sere	[6] [24]
49	Murali Sitaraman	[44]
50	Douglas R. Smith	[44]
51	Colin F. Snook	[17] [41] [42] [53] [57]
52	Corinna Spermann	[47] [49]
53	Aaron Stump	[44]
54	Elena Troubitsyna	[46]
55	Edd Turner	[47] [49]
56	Phillip Turner	[30]
57	David Vines	[20]
58	Laurent Voisin	[43] [52]

Colors in the list of coauthors