Michael Butler

2008
22	EE	Michael Butler, Divakar Yadav: An incremental development of the Mondex system in Event-B. Formal Asp. Comput. 20(1): 61-77 (2008)
21	EE	Michael Leuschel, Michael Butler: ProB: an automated analysis toolset for the B method. STTT 10(2): 185-203 (2008)
2007
20		Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings Springer 2007
19	EE	Michael Leuschel, Michael Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
18	EE	Manoranjan Satpathy, Michael Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113
17	EE	Edd Turner, Michael Leuschel, Corinna Spermann, Michael Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34
2006
16		Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] Springer 2006
15	EE	Neil Evans, Michael Butler: A Proposal for Records in Event-B. FM 2006: 221-235
14	EE	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael 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
13	EE	Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin: An Open Extensible Tool Environment for Event-B. ICFEM 2006: 588-605
12	EE	Divakar Yadav, Michael Butler: Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. RODIN Book 2006: 343-363
11	EE	Colin Snook, Michael Butler: UML-B: Formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1): 92-122 (2006)
10	EE	Eerke A. Boiten, Michael Butler: Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". Formal Asp. Comput. 18(3): 263 (2006)
2005
9	EE	Michael Butler, Michael Leuschel, Colin Snook: Tools for System Validation with B Abstract Machines. Abstract State Machines 2005: 57-69
8	EE	Michael Butler, Shamim Ripon: Executable Semantics for Compensating CSP. EPEW/WS-FM 2005: 243-256
2002
7		Scott W. Brown, Mark A. Boyer, Hayley J. Mayall, Paula R. Johnson, Lin Meng, Michael Butler, Kimberley Weir, Natalie Florea, Sally Reis: Global Education via the Web: The GloablEd Project. ICCE 2002: 367-368
6	EE	Paul Huck, Michael Butler, Amar Gupta, Michael Feng: A self-configuring and self-administering name system with dynamic address assignment. ACM Trans. Internet Techn. 2(1): 14-46 (2002)
1993
5	EE	Michael Butler, Yale N. Patt: A comparative performance evaluation of various state maintenance mechanisms. MICRO 1993: 70-79
1992
4	EE	Michael Butler, Yale N. Patt: An investigation of the performance of various dynamic scheduling techniques. MICRO 1992: 1-9
1991
3	EE	Michael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow: Single Instruction Stream Parallelism is Greater Than Two. ISCA 1991: 276-286
2	EE	Michael Butler, Yale N. Patt: The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling. MICRO 1991: 34-41
1990
1		Michael Butler, Yale N. Patt: An Area-Efficient Register Alias Table for Implementing HPS. ICPP (1) 1990: 611-612

Coauthor Index

1	Jean-Raymond Abrial	[13] [14]
2	Mitch Alsup	[3]
3	Don S. Batory	[14]
4	Eerke A. Boiten	[10]
5	Mark A. Boyer	[7]
6	Scott W. Brown	[7]
7	Alessandro Coglio	[14]
8	Neil Evans	[15]
9	Michael Feng	[6]
10	Kathi Fisler	[14]
11	Natalie Florea	[7]
12	Amar Gupta	[6]
13	Stefan Hallerstede	[13]
14	Eric C. R. Hehner	[14]
15	Michael G. Hinchey	[20]
16	Paul Huck	[6]
17	Paula R. Johnson	[7]
18	Cliff B. Jones	[14] [16]
19	Simon L. Peyton Jones	[14]
20	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[20]
21	Gary T. Leavens	[14]
22	Michael Leuschel	[9] [17] [18] [19] [21]
23	Hayley J. Mayall	[7]
24	Lin Meng	[7]
25	Dale Miller	[14]
26	Yale N. Patt	[1] [2] [3] [4] [5]
27	S. Ramesh (Sethu Ramesh)	[18]
28	Sally Reis	[7]
29	Shamim Ripon	[8]
30	Alexander Romanovsky (Alexander B. Romanovsky)	[16]
31	Manoranjan Satpathy	[18]
32	Hunter Scales	[3]
33	Michael Shebanow	[3]
34	Murali Sitaraman	[14]
35	Douglas R. Smith	[14]
36	Colin Snook	[9] [11]
37	Corinna Spermann	[17] [19]
38	Aaron Stump	[14]
39	Elena Troubitsyna	[16]
40	Edd Turner	[17] [19]
41	Laurent Voisin	[13]
42	Kimberley Weir	[7]
43	Divakar Yadav	[12] [22]
44	Tse-Yu Yeh	[3]

Colors in the list of coauthors