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.
