Michael Butler

Citado por

	Todos	Desde 2018
Citações	9086	2315
Índice h	45	20
Índice i10	145	53

540

270

135

405

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202337 62 58 88 109 121 144 156 264 291 337 433 447 529 480 517 436 485 435 538 417 499 402 504 384 355 167

Acesso público

Ver tudo

23 artigos

5 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Thai Son HoangLecturer in Cyber-Physical Systems, University of SouthamptonEmail confirmado em ecs.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 University Lisbon / NOVA LINCSEmail 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
Pieter HartelProfessor Emeritus Cyber securityEmail confirmado em tudelft.nl
Ralph-Johan BackProfessor of Computer Science, Åbo AkademiEmail confirmado em abo.fi
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 Wales and DATA61Email 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	828	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	811	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	478	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	427	2006
An open extensible tool environment for Event-B JR Abrial, M Butler, S Hallerstede, L Voisin ICFEM 4260, 588-605, 2006	277	2006
An operational semantics for StAC, a language for modelling long-running business transactions M Butler, C Ferreira Coordination Models and Languages: 6th International Conference …, 2004	197	2004
A trace semantics for long-running transactions. MJ Butler, CAR Hoare, C Ferreira 25 Years Communicating Sequential Processes, 133-150, 2004	196	2004
Decomposition structures for Event-B M Butler Integrated Formal Methods: 7th International Conference, IFM 2009 …, 2009	186	2009
Combining CSP and B for specification and property verification M Butler, M Leuschel FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	155	2005
csp2B: A practical approach to combining CSP and B M Butler Formal Aspects of computing 12, 182-198, 2000	136	2000
An approach to the design of distributed systems with B AMN M Butler ZUM'97: The Z Formal Specification Notation: 10th International Conference …, 2005	111	2005
A CSP approach to action systems MJ Butler Oxford University, 1992	108	1992
UML-B and Event-B: an integration of languages and tools C Snook, M Butler	106	2008
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	104	2006
An incremental development of the Mondex system in Event-B M Butler, D Yadav Formal Aspects of Computing 20, 61-77, 2008	103	2008
Stepwise refinement of communicating systems MJ Butler Science of Computer programming 27 (2), 139-173, 1996	97	1996
Practical theory extension in Event-B M Butler, I Maamria Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013	95	2013
Decomposition tool for event‐B R Silva, C Pascal, TS Hoang, M Butler Software: Practice and Experience 41 (2), 199-208, 2011	95	2011
csp2B: A practical approach to combining CSP and B M Butler FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999	93	1999
Distributed system development in B MJ Butler, M Waldén IRIN (Institut de Recherche en Informatique de Nantes), 1996	90	1996

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