| 2009 |
|---|
| 13 | EE | Michael Butler:
Decomposition Structures for Event-B.
IFM 2009: 20-38 |
| 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 |
