Michael Butler
Impact in
- Software top 0.5%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Hardware and Architecture top 2%
- Parallel Computing and Optimization Techniques
Papers in
- Software 57
- Model-Driven Software Engineering Techniques 33
- Software Reliability and Analysis Research 16
-
- Formal Methods in Verification 77
- Co-authors
- Colin SnookMichaël LeuschelThai Son HoangStefan HallerstedeYale N. PattJean-Raymond AbrialLaurent VoisinFarhad Mehta
- Journals
- Science of Computer Programming (12 papers)Formal Aspects of Computing (7 papers)International Journal on Software Tools for Technology Transfer (3 papers)Journal of Systems Architecture (2 papers)ACM Transactions on Software Engineering and Methodology (1 paper)
- Partner nations
- United KingdomUnited StatesGermany
In The Last Decade
Michael Butler
162 papers receiving 1.7k citations
Peers
Comparison fields: 5 of 112
- Software 705
- Hardware and Architecture 425
- Computational Theory and Mathematics 838
- Artificial Intelligence 811
- Computer Networks and Communications 469
Countries citing papers authored by Michael Butler
This map shows the geographic impact of Michael Butler's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michael Butler with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael Butler more than expected).
Fields of papers citing papers by Michael Butler
This network shows the impact of papers produced by Michael Butler. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michael Butler. The network helps show where Michael Butler may publish in the future.
Co-authors
The 25 scholars most cited alongside Michael Butler, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2024 | 2 | |
| 2 | 2019 | 1 | |
| 3 | Proceedings of the 6th Rodin User and Developer Workshop, 2016 | 2016 | 2 |
| 4 | Co-simulation of Event-B and Continuous Models in Rodin | 2013 | 1 |
| 5 | 2012 | 4 | |
| 6 | 2009 | 0 | |
| 7 | Towards a Cookbook for Modelling and Refinement of Control Problems | 2009 | 5 |
| 8 | Abstract State Machines, B and Z - First International Conference ABZ 2008 | 2008 | 2 |
| 9 | UML-B and Event-B: an integration of languages and tools | 2008 | 36 |
| 10 | Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007 | 2007 | 8 |
| 11 | Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance | 2007 | 2 |
| 12 | A Proposal for Records in Event-B | 2006 | 1 |
| 13 | Combining CSP and B for Specification and Property Verification | 2005 | 6 |
| 14 | Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). | 2005 | 1 |
| 15 | A Trace Semantics for Long−Running Transactions | 2004 | 4 |
| 16 | A Generic Model for Assessing Process Quality | 2001 | 2 |
| 17 | Using a Graphical Design Tool for Formal Specification | 2001 | 11 |
| 18 | Questions and Answers About Ten Formal Methods | 1999 | 5 |
| 19 | 1993 | 5 | |
| 20 | An Area-Efficient Register Alias Table for Implementing HPS. | 1990 | 7 |
About Michael Butler
Michael Butler is a scholar working on Software, Computational Theory and Mathematics, Hardware and Architecture, Artificial Intelligence and Computer Networks and Communications, having authored 180 papers that have together received 1.9k indexed citations. Recurring topics across this work include Formal Methods in Verification (77 papers), Advanced Software Engineering Methodologies (43 papers), Model-Driven Software Engineering Techniques (33 papers), Logic, programming, and type systems (21 papers), Distributed systems and fault tolerance (17 papers), Software Reliability and Analysis Research (16 papers), Real-Time Systems Scheduling (15 papers) and Parallel Computing and Optimization Techniques (15 papers). The work is most often cited by research in Software (705 citations), Hardware and Architecture (425 citations), Computational Theory and Mathematics (838 citations), Artificial Intelligence (811 citations) and Computer Networks and Communications (469 citations). Michael Butler has collaborated with scholars based in United Kingdom, United States and Germany. Frequent co-authors include Colin Snook, Michaël Leuschel, Thai Son Hoang, Stefan Hallerstede, Yale N. Patt, Jean-Raymond Abrial, Laurent Voisin, Farhad Mehta, Andrew Edmunds and Tse-Yu Yeh. Their work appears in journals such as Science of Computer Programming, Formal Aspects of Computing, International Journal on Software Tools for Technology Transfer, Journal of Systems Architecture and ACM Transactions on Software Engineering and Methodology.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.