Michael Butler

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 663 citations

Reasoning, Engineering, Data Science +13

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 377 citations

Engineering, Computer Analysis, Program Analysis +7

UML-B

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 289 citations

Engineering, Automated Reasoning, Object-oriented Modeling +14

Single instruction stream parallelism is greater than two

Michael Butler, Tse-Yu Yeh, Yale N. Patt et al. · 1991 · 141 citations

Engineering, Memory Design, Computer Architecture +20

Bulldozer: An Approach to Multithreaded Compute Performance

Michael Butler, Leslie Barnes, Debjit Das Sarma et al. · IEEE Micro · 2011 · 80 citations

Engineering, Computer Architecture, Multithreading (Computer Architecture) +17