Michael Butler

Citado por

	Todos	Desde 2019
Citações	9794	2438
Índice h	47	21
Índice i10	156	55

540

270

135

405

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

Acesso público

Ver tudo

30 artigos

8 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

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

Seguir

Michael Butler

Professor of Computer Science, University of Southampton

Email confirmado em ecs.soton.ac.uk - Página inicial

formal methods verification


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores