Search results for "Michael Butler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mohammad Reza Sarshogh, Michael Butler	Specification and refinement of discrete timing properties in Event-B.	ECEASST	2011	DBLP BibTeX RDF
1	Sanaz Yeganefard, Michael Butler	Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation.	ECEASST	2011	DBLP BibTeX RDF
1	Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler	Decomposition tool for event-B.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Michael Butler, Leslie Barnes, Debjit Das Sarma, Bob Gelinas	Bulldozer: An Approach to Multithreaded Compute Performance.	IEEE Micro	2011	DBLP DOI BibTeX RDF
1	Carl Senior, Nick Lee, Michael Butler	PERSPECTIVE - Organizational Cognitive Neuroscience.	Organization Science	2011	DBLP DOI BibTeX RDF
1	Ali Gondal, Michael Poppleton, Michael Butler	Composing Event-B Specifications - Case-Study Experience.	Software Composition	2011	DBLP DOI BibTeX RDF
1	Michael Butler, Wolfram Schulte (eds.)	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings	FM	2011	DBLP DOI BibTeX RDF
1	Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler	Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith	Editorial.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF
1	Issam Maamria, Michael Butler	Rewriting and Well-Definedness within a Proof System	PAR	2010	DBLP DOI BibTeX RDF
1	Renato Silva, Michael Butler	Shared Event Composition/Decomposition in Event-B.	FMCO	2010	DBLP DOI BibTeX RDF
1	Andrew Ireland, Gudmund Grov, Michael Butler	Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.	ASM	2010	DBLP DOI BibTeX RDF
1	Issam Maamria, Michael Butler, Andrew Edmunds, Abdolbaghi Rezazadeh	On an Extensible Rule-Based Prover for Event-B.	ASM	2010	DBLP DOI BibTeX RDF
1	Jennifer Sorge, Michael Poppleton, Michael Butler	A Basis for Feature-Oriented Modelling in Event-B.	ASM	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Elisabeth Ball, Michael Butler	Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Renato Silva, Michael Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
1	Asieh Salehi Fathabadi, Michael Butler	Applying Event-B Atomicity Decomposition to a Multi Media Protocol.	FMCO	2009	DBLP DOI BibTeX RDF
1	Michael Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
1	Divakar Yadav, Michael Butler	Verification of Liveness Properties in Distributed Systems.	IC3	2009	DBLP DOI BibTeX RDF
1	Michael Butler, Divakar Yadav	An incremental development of the Mondex system in Event-B.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Mechanical proof, Methodological guidelines, Refinement, System design, Event-B
1	Andrew Edmunds, Michael Butler	Linking Event-B and Concurrent Object-Oriented Programs.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	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	ICFEM	2007	DBLP BibTeX RDF
1	Eerke A. Boiten, Michael Butler	Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05".	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF
1	Divakar Yadav, Michael Butler	Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Paul Huck, Michael Butler, Amar Gupta, Michael Feng	A self-configuring and self-administering name system with dynamic address assignment.	ACM Trans. Internet Techn.	2002	DBLP DOI BibTeX RDF	Berkeley Internet Name Domain, name-to-name address binding, self-administering systems, self-configuring systems, dynamic reconfiguration
1	Michael Butler	A System-Based Approach to the Formal Development of Embedded Controllers for a Railway.	Design Autom. for Emb. Sys.	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Michael Butler, Yale N. Patt	A comparative performance evaluation of various state maintenance mechanisms.	MICRO	1993	DBLP DOI BibTeX RDF
1	Michael Butler, Yale N. Patt	An investigation of the performance of various dynamic scheduling techniques.	MICRO	1992	DBLP DOI BibTeX RDF
1	Michael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow	Single Instruction Stream Parallelism is Greater Than Two.	ISCA	1991	DBLP DOI BibTeX RDF
1	Michael Butler, Yale N. Patt	The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling.	MICRO	1991	DBLP DOI BibTeX RDF
1	Michael Butler, Yale N. Patt	An Area-Efficient Register Alias Table for Implementing HPS.	ICPP	1990	DBLP BibTeX RDF

Publications of "Michael Butler" ( http://dblp.L3S.de/Authors/Michael_Butler )