Michael Butler

Cited by

	All	Since 2019
Citations	9794	2438
h-index	47	21
i10-index	156	55

540

270

135

405

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202445 62 63 85 108 125 144 148 255 295 347 453 453 521 480 507 444 490 444 539 429 502 415 500 385 403 345 382

Public access

View all

30 articles

8 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	876	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	796	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	532	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	446	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	281	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	199	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	195	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	180	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	159	2005
csp2B: A practical approach to combining CSP and B M Butler Formal Aspects of computing 12, 182-198, 2000	136	2000
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
Practical theory extension in Event-B M Butler, I Maamria Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013	109	2013
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
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
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	99	2015

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