Michael Butler

	2011
33		Michael Butler, Wolfram Schulte: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings Springer 2011
32		Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler: Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. NASA Formal Methods 2011: 328-342
31		Ali Gondal, Michael Poppleton, Michael Butler: Composing Event-B Specifications - Case-Study Experience. Software Composition 2011: 100-115
30		Mohammad Reza Sarshogh, Michael Butler: Specification and refinement of discrete timing properties in Event-B. ECEASST 46: (2011)
29		Sanaz Yeganefard, Michael Butler: Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. ECEASST 46: (2011)
28		Michael Butler, Leslie Barnes, Debjit Das Sarma, Bob Gelinas: Bulldozer: An Approach to Multithreaded Compute Performance. IEEE Micro 31(2): 6-15 (2011)
27		Carl Senior, Nick Lee, Michael Butler: PERSPECTIVE - Organizational Cognitive Neuroscience. Organization Science 22(3): 804-815 (2011)
26		Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler: Decomposition tool for event-B. Softw., Pract. Exper. 41(2): 199-208 (2011)
	2010
25		Andrew Ireland, Gudmund Grov, Michael Butler: Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM 2010: 189-202
24		Issam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh: On an Extensible Rule-Based Prover for Event-B. ASM 2010: 407
23		Jennifer Sorge, Michael Poppleton, Michael Butler: A Basis for Feature-Oriented Modelling in Event-B. ASM 2010: 409
22		Renato Silva, Michael Butler: Shared Event Composition/Decomposition in Event-B. FMCO 2010: 122-141
21		Issam Maamria, Michael Butler: Rewriting and Well-Definedness within a Proof System PAR 2010: 49-64
20		Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)
	2009
19		Asieh Salehi Fathabadi, Michael Butler: Applying Event-B Atomicity Decomposition to a Multi Media Protocol. FMCO 2009: 89-104
18		Divakar Yadav, Michael Butler: Verification of Liveness Properties in Distributed Systems. IC3 2009: 625-636
17		Renato Silva, Michael Butler: Supporting Reuse of Event-B Developments through Generic Instantiation. ICFEM 2009: 466-484
16		Michael Butler: Decomposition Structures for Event-B. IFM 2009: 20-38
15		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
14		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
13		Andrew Edmunds, Michael Butler: Linking Event-B and Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 214: 159-182 (2008)
12		Michael Butler, Divakar Yadav: An incremental development of the Mondex system in Event-B. Formal Asp. Comput. 20(1): 61-77 (2008)
	2007
11		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
10		Divakar Yadav, Michael Butler: Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. RODIN Book 2006: 343-363
9		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
8		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
7		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)
6		Michael Butler: A System-Based Approach to the Formal Development of Embedded Controllers for a Railway. Design Autom. for Emb. Sys. 6(4): 355-366 (2002)
	1993
5		Michael Butler, Yale N. Patt: A comparative performance evaluation of various state maintenance mechanisms. MICRO 1993: 70-79
	1992
4		Michael Butler, Yale N. Patt: An investigation of the performance of various dynamic scheduling techniques. MICRO 1992: 1-9
	1991
3		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		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	[15]
3	Leslie Barnes	[28]
4	Eerke A. Boiten	[9] [20]
5	Mark A. Boyer	[8]
6	Scott W. Brown	[8]
7	John Derrick	[20]
8	Andrew Edmunds	[13] [24]
9	Asieh Salehi Fathabadi	[19] [32]
10	Michael Feng	[7]
11	Natalie Florea	[8]
12	Bob Gelinas	[28]
13	Ali Gondal	[31]
14	Gudmund Grov	[25]
15	Amar Gupta	[7]
16	Michael G. Hinchey (Mike Hinchey)	[11]
17	Thai Son Hoang	[26]
18	Paul Huck	[7]
19	Andrew Ireland	[25]
20	Paula R. Johnson	[8]
21	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[11]
22	Nick Lee	[27]
23	Issam Maamria	[21] [24]
24	Hayley J. Mayall	[8]
25	Lin Meng	[8]
26	Carine Pascal	[26]
27	Yale N. Patt	[1] [2] [3] [4] [5]
28	Michael Poppleton (M. Poppleton)	[23] [31]
29	Sally Reis	[8]
30	Abdolbaghi Rezazadeh	[24] [32]
31	Debjit Das Sarma	[28]
32	Mohammad Reza Sarshogh	[30]
33	Hunter Scales	[3]
34	Wolfram Schulte	[33]
35	Carl Senior	[27]
36	Michael Shebanow	[3]
37	Renato Silva	[17] [22] [26]
38	Graeme Smith	[20]
39	Jennifer Sorge	[23]
40	Kimberley Weir	[8]
41	Divakar Yadav	[10] [12] [14] [18]
42	Sanaz Yeganefard	[29]
43	Tse-Yu Yeh	[3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page