Michael Butler Vis

*	2009
16	EE	Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna: Methods, Models and Tools for Fault Tolerance Springer 2009
15	EE	Michael Butler: Decomposition Structures for Event-B. IFM 2009: 20-38
14	EE	Elisabeth Ball, Michael Butler: Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. Methods, Models and Tools for Fault Tolerance 2009: 104-129
13	EE	Divakar Yadav, Michael Butler: Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. Methods, Models and Tools for Fault Tolerance 2009: 152-176
	2008
12	EE	Andrew Edmunds, Michael Butler: Linking Event-B and Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 214: 159-182 (2008)
11	EE	Michael Butler, Divakar Yadav: An incremental development of the Mondex system in Event-B. Formal Asp. Comput. 20(1): 61-77 (2008)
	2007
10		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
	2006
9	EE	Divakar Yadav, Michael Butler: Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. RODIN Book 2006: 343-363
8	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)
	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	Mitch Alsup	[3]
2	Elisabeth Ball	[14]
3	Eerke A. Boiten	[8]
4	Mark A. Boyer	[7]
5	Scott W. Brown	[7]
6	Andrew Edmunds	[12]
7	Michael Feng	[6]
8	Natalie Florea	[7]
9	Amar Gupta	[6]
10	Michael G. Hinchey (Mike Hinchey)	[10]
11	Paul Huck	[6]
12	Paula R. Johnson	[7]
13	Cliff B. Jones	[16]
14	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[10]
15	Hayley J. Mayall	[7]
16	Lin Meng	[7]
17	Yale N. Patt	[1] [2] [3] [4] [5]
18	Sally Reis	[7]
19	Alexander Romanovsky (Alexander B. Romanovsky)	[16]
20	Hunter Scales	[3]
21	Michael Shebanow	[3]
22	Elena Troubitsyna	[16]
23	Kimberley Weir	[7]
24	Divakar Yadav	[9] [11] [13]
25	Tse-Yu Yeh	[3]

Colors in the list of coauthors