Michael Butler 个人学术档案

引用次数

	总计	2019 年至今
引用	9469	2195
h 指数	46	20
i10 指数	150	47

540

270

135

405

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 62 63 83 108 125 144 148 256 290 349 444 448 521 467 507 436 497 439 537 416 491 413 506 375 390 341 170

开放获取的出版物数量

查看全部

27 篇文章

7 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Thai Son HoangAssociate Professor, University of Southampton在 soton.ac.uk 的电子邮件经过验证
Michael LeuschelHeinrich-Heine Universität Düsseldorf在 hhu.de 的电子邮件经过验证
Stefan HallerstedeAssociate Professor at Aarhus University Department of Engineering在 eng.au.dk 的电子邮件经过验证
Carla FerreiraNOVA LINCS / NOVA University Lisbon在 fct.unl.pt 的电子邮件经过验证
Renato SilvaResearch Fellow, university of Southampton在 ecs.soton.ac.uk 的电子邮件经过验证
Cliff B JonesProfessor of Computing Science, Newcastle University, UK在 ncl.ac.uk 的电子邮件经过验证
Richard BanachSchool of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute of在 kth.se 的电子邮件经过验证
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UK在 ncl.ac.uk 的电子邮件经过验证
Vitaly SavicksPhD in Computer Science, University of Southampton在 ecs.soton.ac.uk 的电子邮件经过验证
Marina WaldénUniversity Lecturer of Computer Science, Åbo Akademi University在 abo.fi 的电子邮件经过验证
Pieter HartelProfessor Emeritus Cyber security在 tudelft.nl 的电子邮件经过验证
Ralph-Johan BackProfessor of Computer Science, Åbo Akademi在 abo.fi 的电子邮件经过验证
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D在 iitbombay.org 的电子邮件经过验证
Rachel HarrisonProfessor of Computer Science, Oxford Brookes University在 brookes.ac.uk 的电子邮件经过验证
Jim GrundyApple Computer在 acm.org 的电子邮件经过验证
Hernán MelgrattiUniversidad de Buenos Aires在 dc.uba.ar 的电子邮件经过验证
Carroll MorganProfessor, University of New South Wales and DATA61在 unsw.edu.au 的电子邮件经过验证

关注

Michael Butler

Professor of Computer Science, University of Southampton

在 ecs.soton.ac.uk 的电子邮件经过验证 - 首页

formal methods verification


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	864	2010
ProB: A model checker for B M Leuschel, M Butler FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003	862	2003
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	510	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	441	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	197	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	193	2005
Decomposition structures for Event-B M Butler International Conference on Integrated Formal Methods, 20-38, 2009	191	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	161	2005
csp2B: A practical approach to combining CSP and B M Butler Formal Aspects of computing 12, 182-198, 2000	137	2000
An approach to the design of distributed systems with B AMN M Butler International Conference of Z Users, 221-241, 1997	113	1997
UML-B and Event-B: an integration of languages and tools C Snook, M Butler	112	2008
A CSP approach to action systems MJ Butler University of Oxford, 1992	108	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
Practical theory extension in Event-B M Butler, I Maamria Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013	104	2013
An incremental development of the Mondex system in Event-B M Butler, D Yadav Formal Aspects of Computing 20, 61-77, 2008	103	2008
Decomposition tool for event‐B R Silva, C Pascal, TS Hoang, M Butler Software: Practice and Experience 41 (2), 199-208, 2011	100	2011
Stepwise refinement of communicating systems MJ Butler Science of Computer programming 27 (2), 139-173, 1996	98	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	94	2015
csp2B: A practical approach to combining CSP and B M Butler FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999	94	1999

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用