H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 37 Citations 7,263 208 World Ranking 5421 National Ranking 321

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

Programming language, Algorithm, Theoretical computer science, Formal methods and B-Method are his primary areas of study. His work in Operational semantics, Semantics, Correctness, Process calculus and Software development is related to Programming language. Michael Butler interconnects Event and Hybrid system in the investigation of issues within Theoretical computer science.

His research integrates issues of Model checking, Automated theorem proving and Proof theory in his study of Formal methods. As a member of one scientific family, Michael Butler mostly works in the field of Proof theory, focusing on Complex system and, on occasion, Software engineering. His work deals with themes such as UML state machine, Shlaer–Mellor method, Logic programming and Unified Modeling Language, which intersect with B-Method.

His most cited work include:

  • Rodin: an open toolset for modelling and reasoning in Event-B (484 citations)
  • ProB: A Model Checker for B (463 citations)
  • ProB : an automated analysis toolset for the B method (291 citations)

What are the main themes of his work throughout his whole career to date?

Michael Butler focuses on Programming language, Formal methods, Software engineering, Theoretical computer science and Event. As part of his studies on Programming language, Michael Butler often connects relevant areas like Notation. His Formal methods study combines topics in areas such as Formal verification, Mathematical proof, Software development and Systems engineering.

In general Theoretical computer science study, his work on Refinement calculus often relates to the realm of Formalism, thereby connecting several areas of interest. The Event study combines topics in areas such as Distributed computing, Structure, Semantics and Decomposition. His Model checking research is multidisciplinary, relying on both Animation and Automated theorem proving.

He most often published in these fields:

  • Programming language (31.97%)
  • Formal methods (26.96%)
  • Software engineering (18.81%)

What were the highlights of his more recent work (between 2017-2021)?

  • Formal methods (26.96%)
  • Programming language (31.97%)
  • Theoretical computer science (18.18%)

In recent papers he was focusing on the following fields of study:

Michael Butler mainly focuses on Formal methods, Programming language, Theoretical computer science, Domain and Semantics. His Formal methods study is concerned with Software engineering in general. His work in Programming language tackles topics such as Notation which are related to areas like Window.

The concepts of his Theoretical computer science study are interwoven with issues in Systems design, Mathematical proof and Function. His Domain research includes elements of Control system, Systems theory and Vulnerability. His work in Semantics addresses issues such as Leverage, which are connected to fields such as Formal verification, Temporal logic, Model checking and Invariant.

Between 2017 and 2021, his most popular works were:

  • The Hybrid ERTMS/ETCS Level 3 Case Study (17 citations)
  • A model-based framework for software portability and verification in embedded power management systems (9 citations)
  • Verifiable Code Generation from Scheduled Event-B Models (8 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

Formal methods, Formal verification, Systems design, Semantics and Theoretical computer science are his primary areas of study. Michael Butler is interested in B-Method, which is a branch of Formal methods. His study in Formal verification is interdisciplinary in nature, drawing from both Software, Correctness, Software engineering and Embedded system.

His Software engineering research is multidisciplinary, incorporating elements of Formal system and Focus. His Systems design study combines topics from a wide range of disciplines, such as Software deployment, Concurrency, Nondeterministic algorithm, Queue and Scheduling. His work carried out in the field of Semantics brings together such families of science as Window, Property, SCXML and Leverage.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

ProB: A Model Checker for B

Michael Leuschel;Michael J. Butler.
formal methods (2003)

756 Citations

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial;Michael Butler;Stefan Hallerstede;Thai Son Hoang.
verified software theories tools experiments (2010)

687 Citations

ProB : an automated analysis toolset for the B method

Michael Leuschel;Michael Butler.
International Journal on Software Tools for Technology Transfer (2008)

417 Citations

UML-B: Formal modeling and design aided by UML

Colin Snook;Michael Butler.
ACM Transactions on Software Engineering and Methodology (2006)

397 Citations

An open extensible tool environment for event-b

Jean-Raymond Abrial;Michael Butler;Stefan Hallerstede;Laurent Voisin.
formal methods (2006)

268 Citations

A trace semantics for long-running transactions

Michael Butler;Tony Hoare;Carla Ferreira.
Lecture Notes in Computer Science (2005)

198 Citations

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions

Michael J. Butler;Carla Ferreira.
international conference on coordination models and languages (2004)

195 Citations

Decomposition Structures for Event-B

Michael Butler.
integrated formal methods (2009)

176 Citations

Combining CSP and b for specification and property verification

Michael Butler;Michael Leuschel.
formal methods (2005)

154 Citations

FM 2011: Formal Methods

Michael Butler;Wolfram Schulte.
TAEBC-2011 (2011)

148 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing Michael Butler

Michael Leuschel

Michael Leuschel

Heinrich Heine University Düsseldorf

Publications: 110

Steve Schneider

Steve Schneider

University of Surrey

Publications: 33

Jim Woodcock

Jim Woodcock

University of York

Publications: 18

Mike Hinchey

Mike Hinchey

Lero

Publications: 15

David Basin

David Basin

ETH Zurich

Publications: 14

Gianluigi Zavattaro

Gianluigi Zavattaro

University of Bologna

Publications: 13

Cliff B. Jones

Cliff B. Jones

Newcastle University

Publications: 12

Jean-Pierre Jacquot

Jean-Pierre Jacquot

University of Lorraine

Publications: 10

Jonathan P. Bowen

Jonathan P. Bowen

London South Bank University

Publications: 10

Jin Song Dong

Jin Song Dong

National University of Singapore

Publications: 10

Yang Liu

Yang Liu

Nanyang Technological University

Publications: 9

Ina Schaefer

Ina Schaefer

Technische Universität Braunschweig

Publications: 9

K. Rustan M. Leino

K. Rustan M. Leino

Amazon Web Services

Publications: 9

Pieter H. Hartel

Pieter H. Hartel

Delft University of Technology

Publications: 8

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 8

Something went wrong. Please try again later.