Michael Butler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

13EEMichael Butler: Decomposition Structures for Event-B. IFM 2009: 20-38
12EEAndrew Edmunds, Michael Butler: Linking Event-B and Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 214: 159-182 (2008)
11EEMichael Butler, Divakar Yadav: An incremental development of the Mondex system in Event-B. Formal Asp. Comput. 20(1): 61-77 (2008)
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
9EEDivakar Yadav, Michael Butler: Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. RODIN Book 2006: 343-363
8EEEerke 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)
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
6EEPaul 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)
5EEMichael Butler, Yale N. Patt: A comparative performance evaluation of various state maintenance mechanisms. MICRO 1993: 70-79
4EEMichael Butler, Yale N. Patt: An investigation of the performance of various dynamic scheduling techniques. MICRO 1992: 1-9
3EEMichael 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
2EEMichael 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
1 Michael Butler, Yale N. Patt: An Area-Efficient Register Alias Table for Implementing HPS. ICPP (1) 1990: 611-612

Coauthor Index

1Mitch Alsup [3]
2Eerke A. Boiten [8]
3Mark A. Boyer [7]
4Scott W. Brown [7]
5Andrew Edmunds [12]
6Michael Feng [6]
7Natalie Florea [7]
8Amar Gupta [6]
9Michael G. Hinchey (Mike Hinchey) [10]
10Paul Huck [6]
11Paula R. Johnson [7]
12María M. Larrondo-Petrie (Maria M. Larrondo-Petrie) [10]
13Hayley J. Mayall [7]
14Lin Meng [7]
15Yale N. Patt [1] [2] [3] [4] [5]
16Sally Reis [7]
17Hunter Scales [3]
18Michael Shebanow [3]
19Kimberley Weir [7]
20Divakar Yadav [9] [11]
21Tse-Yu Yeh [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)