Michael Butler

Jonathan P. Bowen, Michael Butler, Steve Reeves, Mike Hinchey: Editorial. Formal Asp. Comput. 25(3): 343 (2013)

Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael Butler: Reasoned modelling critics: Turning failed proofs into modelling guidance. Sci. Comput. Program. 78(3): 293-309 (2013)

Michael Butler: External and internal choice with event groups in Event-B. Formal Asp. Comput. 24(4-6): 555-567 (2012)

Andrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler: Formal Modelling for Ada Implementations: Tasking Event-B. Ada-Europe 2012: 119-132

Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva, Chris Lovell: Event-B Code Generation: Type Extension with Theories. ABZ 2012: 365-368

Sanaz Yeganefard, Michael Butler: Control Systems: Phenomena and Structuring Functional Requirement Documents. ICECCS 2012: 39-48

Asieh Salehi Fathabadi, Michael Butler, Abdolbaghi Rezazadeh: A Systematic Approach to Atomicity Decomposition in Event-B. SEFM 2012: 78-93

Andrew Edmunds, Michael Butler, John Colley: Building on the DEPLOY Legacy: Code Generation and Simulation. CoRR abs/1210.7034 (2012)

Mohammad Reza Sarshogh, Michael Butler: Specification and refinement of discrete timing properties in Event-B. ECEASST 46 (2011)

Sanaz Yeganefard, Michael Butler: Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. ECEASST 46 (2011)

Michael Butler, Leslie Barnes, Debjit Das Sarma, Bob Gelinas: Bulldozer: An Approach to Multithreaded Compute Performance. IEEE Micro 31(2): 6-15 (2011)

Carl Senior, Nick Lee, Michael Butler: PERSPECTIVE - Organizational Cognitive Neuroscience. Organization Science 22(3): 804-815 (2011)

Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler: Decomposition tool for event-B. Softw., Pract. Exper. 41(2): 199-208 (2011)

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

Ali Gondal, Michael Poppleton, Michael Butler: Composing Event-B Specifications - Case-Study Experience. Software Composition 2011: 100-115

Michael Butler, Wolfram Schulte (Eds.): FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6664, Springer 2011, isbn 978-3-642-21436-3

Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith: Editorial. Formal Asp. Comput. 22(1): 1 (2010)

Andrew Ireland, Gudmund Grov, Michael Butler: Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM 2010: 189-202

Issam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh: On an Extensible Rule-Based Prover for Event-B. ASM 2010: 407

Jennifer Sorge, Michael Poppleton, Michael Butler: A Basis for Feature-Oriented Modelling in Event-B. ASM 2010: 409

Renato Silva, Michael Butler: Shared Event Composition/Decomposition in Event-B. FMCO 2010: 122-141

Sanaz Yeganefard, Michael Butler, Abdolbaghi Rezazadeh: Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods 2010: 182-191

Issam Maamria, Michael Butler: Rewriting and Well-Definedness within a Proof System. PAR 2010: 49-64

Asieh Salehi Fathabadi, Michael Butler: Applying Event-B Atomicity Decomposition to a Multi Media Protocol. FMCO 2009: 89-104

Divakar Yadav, Michael Butler: Verification of Liveness Properties in Distributed Systems. IC3 2009: 625-636

Renato Silva, Michael Butler: Supporting Reuse of Event-B Developments through Generic Instantiation. ICFEM 2009: 466-484

Michael Butler: Decomposition Structures for Event-B. IFM 2009: 20-38

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

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

Andrew Edmunds, Michael Butler: Linking Event-B and Concurrent Object-Oriented Programs. Electr. Notes Theor. Comput. Sci. 214: 159-182 (2008)

Michael Butler, Divakar Yadav: An incremental development of the Mondex system in Event-B. Formal Asp. Comput. 20(1): 61-77 (2008)

Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.): Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Lecture Notes in Computer Science 4789, Springer 2007, isbn 978-3-540-76648-3

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)

Divakar Yadav, Michael Butler: Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. RODIN Book 2006: 343-363

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)

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)

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

Michael Butler, Yale N. Patt: A comparative performance evaluation of various state maintenance mechanisms. MICRO 1993: 70-79

Michael Butler, Yale N. Patt: An investigation of the performance of various dynamic scheduling techniques. MICRO 1992: 1-9

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

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

Michael Butler, Yale N. Patt: An Area-Efficient Register Alias Table for Implementing HPS. ICPP (1) 1990: 611-612