Michael Butler

Cited by

	All	Since 2020
Citations	9866	2089
h-index	47	18
i10-index	156	43

560

280

140

420

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202545 62 64 84 108 128 143 141 253 290 349 452 459 523 479 507 445 491 443 556 430 502 415 524 373 401 346 410 28

Public access

View all

31 articles

7 articles

available

not available

Based on funding mandates

Co-authors

Thai Son HoangAssociate Professor, University of SouthamptonVerified email at soton.ac.uk
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
Stefan HallerstedeAssociate Professor at Aarhus University Department of EngineeringVerified email at eng.au.dk
Carla FerreiraNOVA LINCS / NOVA University LisbonVerified email at fct.unl.pt
Renato SilvaResearch Fellow, university of SouthamptonVerified email at ecs.soton.ac.uk
Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
Richard BanachSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofVerified email at kth.se
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
Vitaly SavicksPhD in Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Marina WaldénUniversity Lecturer of Computer Science, Åbo Akademi UniversityVerified email at abo.fi
Ralph-Johan BackProfessor of Computer Science, Åbo AkademiVerified email at abo.fi
Pieter HartelProfessor Emeritus Cyber securityVerified email at tudelft.nl
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Rachel HarrisonProfessor of Computer Science, Oxford Brookes UniversityVerified email at brookes.ac.uk
Jim GrundyApple ComputerVerified email at acm.org
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au

Michael Butler

Professor of Computer Science, University of Southampton

Verified email at ecs.soton.ac.uk - Homepage

formal methods verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ProB: A model checker for B M Leuschel, M Butler FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003	883	2003
Rodin: an open toolset for modelling and reasoning in Event-B JR Abrial, M Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin International journal on software tools for technology transfer 12, 447-466, 2010	802	2010
ProB: an automated analysis toolset for the B method M Leuschel, M Butler International Journal on Software Tools for Technology Transfer 10, 185-203, 2008	537	2008
UML-B: Formal modeling and design aided by UML C Snook, M Butler ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 92-122, 2006	448	2006
An open extensible tool environment for Event-B JR Abrial, M Butler, S Hallerstede, L Voisin Formal Methods and Software Engineering: 8th International Conference on …, 2006	282	2006
An operational semantics for StAC, a language for modelling long-running business transactions M Butler, C Ferreira International Conference on Coordination Languages and Models, 87-104, 2004	201	2004
A trace semantics for long-running transactions M Butler, T Hoare, C Ferreira Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005	196	2005
Decomposition structures for Event-B M Butler International Conference on Integrated Formal Methods, 20-38, 2009	192	2009
Thai Son Hoang, Farhad Mehta, and Laurent Voisin. Rodin: an open toolset for modelling and reasoning in Event-B JR Abrial, M Butler, S Hallerstede International journal on software tools for technology transfer 12 (6), 447-466, 2010	181	2010
Combining CSP and B for specification and property verification M Butler, M Leuschel FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	160	2005
csp2B: A practical approach to combining CSP and B M Butler Formal Aspects of computing 12, 182-198, 2000	136	2000
Practical theory extension in Event-B M Butler, I Maamria Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013	114	2013
UML-B and Event-B: an integration of languages and tools C Snook, M Butler	114	2008
An approach to the design of distributed systems with B AMN M Butler International Conference of Z Users, 221-241, 1997	114	1997
A CSP approach to action systems MJ Butler University of Oxford, 1992	109	1992
Roadmap for enhanced languages and methods to aid verification GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ... Proceedings of the 5th international conference on Generative programming …, 2006	106	2006
An incremental development of the Mondex system in Event-B M Butler, D Yadav Formal Aspects of Computing 20, 61-77, 2008	104	2008
Core hybrid Event-B I: single hybrid Event-B machines R Banach, M Butler, S Qin, N Verma, H Zhu Science of Computer Programming 105, 92-123, 2015	103	2015
Decomposition tool for event‐B R Silva, C Pascal, TS Hoang, M Butler Software: Practice and Experience 41 (2), 199-208, 2011	102	2011
Stepwise refinement of communicating systems MJ Butler Science of Computer programming 27 (2), 139-173, 1996	102	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors