Michael Butler | Academic Influence

Michael Butler 's AcademicInfluence.com Rankings

Michael Butler

Computer Science

#562

World Rank

#582

Historical Rank

Database

#1393

World Rank

#1466

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Michael Butler 's Degrees

PhD Computer Science Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Michael Butler Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences at the University of Southampton, England.

(See a Problem?)

Michael Butler 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Rodin: an open toolset for modelling and reasoning in Event-B (2010) (636)
ProB: A Model Checker for B (2003) (617)
ProB: an automated analysis toolset for the B method (2008) (368)
UML-B: Formal modeling and design aided by UML (2006) (342)
An Open Extensible Tool Environment for Event-B (2006) (218)
A Trace Semantics for Long-Running Transactions (2004) (171)
csp2B: A Practical Approach to Combining CSP and B (1999) (166)
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions (2004) (153)
Decomposition Structures for Event-B (2009) (136)
Combining CSP and B for Specification and Property Verification (2005) (113)
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (2011) (103)
Roadmap for enhanced languages and methods to aid verification (2006) (90)
UML-B and Event-B: an integration of languages and tools (2008) (83)
An incremental development of the Mondex system in Event-B (2007) (82)
A Process Compensation Language (2000) (82)
A CSP approach to action systems (1992) (79)
Stepwise Refinement of Communicating Systems (1996) (75)
Practical Theory Extension in Event-B (2013) (75)
An Approach to the Design of Distributed Systems with B AMN (1997) (75)
Core Hybrid Event-B I: Single Hybrid Event-B machines (2015) (69)
Comparing Two Approaches to Compensable Flow Composition (2005) (66)
Decomposition tool for event‐B (2011) (65)
Distributed System Development in B (1996) (61)
U2B - A tool for translating UML-B models into B (2004) (59)
Towards formalizing UML state diagrams in CSP (2003) (59)
The Refinement Calculator: Proof Support for Program Refinement (1997) (57)
Precise Modelling of Compensating Business Transactions and its Application to BPEL (2005) (55)
Automatic Refinement Checking for B (2005) (54)
Extending the concept of transaction compensation (2002) (54)
Tasking Event-B: An Extension to Event-B for Generating Concurrent Code (2011) (54)
Methods, Models and Tools for Fault Tolerance (2009) (53)
ProTest: An Automatic Test Environment for B Specifications (2004) (52)
An Action System Approach to the Steam Boiler Problem (1995) (49)
Language and Tool Support for Class and State Machine Refinement in UML-B (2009) (47)
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin (2008) (47)
Rigorous Development of Complex Fault-Tolerant Systems (2006) (46)
Shared Event Composition/Decomposition in Event-B (2010) (46)
Executable Semantics for Compensating CSP (2005) (44)
Exploring Summation and Product Operators in the Refinement Calculus (1995) (41)
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B (2009) (39)
The Rodin formal modelling tool (2007) (38)
On the Use of Data Refinement in the Development of Secure Communications Systems (2002) (37)
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B (2011) (36)
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction (2009) (36)
Supporting Reuse of Event-B Developments through Generic Instantiation (2009) (35)
Incremental Design of Distributed Systems with Event-B (2009) (32)
A method of refinement in UML-B (2015) (32)
A System-Based Approach to the Formal Development of Embedded Controllers for a Railway (2002) (31)
Fusion and simultaneous execution in the refinement calculus (1998) (31)
Tool Support for Event-B Code Generation (2010) (30)
Automatic Testing from Formal Specifications (2007) (30)
A Proposal for Records in Event-B (2006) (30)
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] (2006) (30)
Specification and refinement of discrete timing properties in Event-B (2011) (30)
The ProB Animator and Model Checker for B A Tool Description (2003) (29)
The Hybrid ERTMS/ETCS Level 3 Case Study (2018) (28)
Symmetry Reduction for B by Permutation Flooding (2007) (28)
Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit (2000) (28)
Tool Support for Visualizing CSP in UML (2002) (28)
An Approach to Combining B and Alloy (2002) (28)
UML-B: A Plug-in for the Event-B Tool Set (2008) (28)
Modelling and Refining Hybrid Systems in Event-B and Rodin (2016) (28)
Symmetry Reduced Model Checking for B (2007) (27)
Rigorous development of reusable, domain-specific components, for complex applications (2004) (27)
A Generic Model for Assessing Process Quality (2000) (26)
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B (2006) (26)
Linking Event-B and Concurrent Object-Oriented Programs (2008) (25)
The Operational Semantics of a Java Secure Processor (1999) (25)
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B (2010) (25)
Co-simulating event-B and continuous models via FMI (2014) (24)
An Approach to Modelling and Refining Timing Properties in B (2002) (24)
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation (2016) (23)
Composing Event-B Specifications - Case-Study Experience (2011) (23)
Using a Graphical Design Tool for Formal Specification (2001) (23)
Mastering System Analysis and Design through Abstraction and Refinement (2013) (22)
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines (2017) (22)
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology (2017) (22)
UML-B specification for proven embedded systems design (2004) (21)
Language and tool support for event refinement structures in Event-B (2015) (21)
Questions and Answers About Ten Formal Methods (1999) (21)
Program Derivation Using the Refinement Calculator (1996) (21)
Application of Event B to Global Causal Ordering for Fault Tolerant Transactions (2005) (21)
Verification of UML Models by Translation to UML-B (2010) (20)
Reasoning about Grover's quantum search algorithm using probabilistic wp (1998) (20)
Redevelopment of an industrial case study using event-B and Rodin (2007) (19)
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation (2011) (19)
A Comparative Study of Formal and Informal Specifications through an Industrial Case Study (2001) (19)
A Trust Analysis Methodology for Pervasive Computing Systems (2004) (19)
Building traceable Event-B models from requirements (2014) (18)
Towards a UML profile for UML-B (2003) (18)
The UML-B Profile for Formal Systems Modelling in UML (2004) (18)
Refinement and Decomposition of Value-Passing Action Systems (1993) (18)
Holistic Trust Design of E-Services (2006) (16)
Applying Event-B Atomicity Decomposition to a Multi Media Protocol (2009) (16)
Formal Development of Policing Functions for Intelligent Systems (2017) (16)
The First Twenty-Five Years of Industrial Use of the B-Method (2020) (16)
Using the Extensible Model Checker XTL to Verify StAC Business Specifications (2003) (16)
Reasoned modelling critics: Turning failed proofs into modelling guidance (2013) (16)
The Use of Formal Methods in the Analysis of Trust (Position Paper) (2004) (16)
A Systematic Approach to Atomicity Decomposition in Event-B (2012) (16)
A Roadmap for the Rodin Toolset (2008) (16)
Post Office Protocol: Version 2 (1985) (16)
Some Guidelines for Formal Development of Web-Based Applications in B-Method (2005) (16)
Towards a Cookbook for Modelling and Refinement of Control Problems (2009) (15)
A model-based framework for software portability and verification in embedded power management systems (2018) (15)
An STPA-based formal composition framework for trustworthy autonomous maritime systems (2021) (15)
Parallel Programming with the B Method (1999) (14)
Formal Modelling for Ada Implementations: Tasking Event-B (2012) (14)
Cruise Control in Hybrid Event-B (2013) (14)
Calculational Derivation of Pointer Algorithms from Tree Operations (1999) (13)
Animation and Model Checking of CSP and B using Prolog Technology (2001) (13)
Action systems, unbounded nondeterminism, and infinite traces (2005) (13)
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2020) (13)
On an Extensible Rule-Based Prover for Event-B (2010) (13)
Control Systems: Phenomena and Structuring Functional Requirement Documents (2012) (12)
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking (2010) (12)
Mathematical Extension in Event-B through the Rodin Theory Component (2010) (12)
From Event-B Models to Dafny Code Contracts (2015) (12)
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B (2009) (12)
A Hybrid Event-B Study of Lane Centering (2013) (11)
Validating and Animating Higher-Order Recursive Functions in B (2009) (11)
Using B Refinement to Analyse Compensating Business Processes (2003) (11)
PVS Embedding of cCSP Semantic Models and Their Relationship (2009) (10)
Event-B Code Generation: Type Extension with Theories (2012) (10)
Verifiable Code Generation from Scheduled Event-B Models (2018) (10)
The Developer's Guide to Cursor on Target (2005) (10)
A Basis for Feature-Oriented Modelling in Event-B (2010) (10)
Verification of Liveness Properties in Distributed Systems (2009) (10)
Behaviour-Driven Formal Model Development (2018) (10)
Analysing Security Protocols Using Refinement in iUML-B (2017) (9)
Transacted Memory for Smart Cards (2000) (9)
A Graphical Tool for Event Refinement Structures in Event-B (2016) (9)
A Composition Mechanism for Refinement-Based Methods (2017) (9)
Domain-Specific Scenarios for Refinement-Based Methods (2019) (8)
Co-simulation Environment for Rodin: Landing Gear Case Study (2014) (8)
Using Event-B Refinement to Verify a Control Strategy (2009) (8)
Combining B and Alloy (2001) (8)
Using Decomposition to Model Multi-agent Interaction Protocols in Event-B (2006) (7)
Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016) (7)
Towards a Trust Analysis Framework for Pervasive Computing Scenarios (2003) (7)
Transforming Event-B Models to Dafny Contracts (2015) (7)
Service Extension at the Specification Level (1990) (7)
Performance analysis of probabilistic action systems (2004) (7)
Formal Modelling Techniques for Efficient Development of Railway Control Products (2017) (7)
Modelling and Refinement in CODA (2013) (7)
Tools for System Validation with B Abstract Machines (2005) (6)
Extending ERS for Modelling Dynamic Workflows in Event-B (2017) (6)
Semantics of Real-Time Trigger-Response Properties in Event-B (2018) (6)
Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts (2007) (6)
Derivation of algorithmic control structures in Event-B refinement (2017) (6)
Rewriting and Well-Definedness within a Proof System (2010) (6)
Using SPIN and STeP to Verify Business Processes Specifications (2003) (6)
Securing navigation of unmanned maritime systems (2018) (6)
Some Observations About Using SPIN and STeP to Verify StAC Specifications (2002) (5)
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems (2014) (5)
A Formal, Systematic Approach to STPA using Event-B Refinement and Proof (2013) (5)
Refinement of Timing Constraints for Concurrent Tasks with Scheduling (2018) (5)
Co-simulation of Event-B and Continuous Models in Rodin (2013) (5)
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B (2019) (5)
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B (2007) (5)
Formal Derivation of Distributed MapReduce (2014) (5)
A mixed approach to rigorous development of control designs (2013) (5)
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset (2017) (5)
Towards Automatic Code Generation of Run-Time Power Management for Embedded Systems Using Formal Methods (2015) (5)
Refinement of Statecharts with Run-to-Completion Semantics (2018) (5)
Supporting Reuse Mechanisms for Developments in Event-B: Composition (2009) (5)
Class and State Machine Re?nement in UML-B (2009) (4)
Co-simulation of Event-B and Ptolemy II Models via FMI (2014) (4)
Class-Diagrams for Abstract Data Types (2017) (4)
Formal verification and validation of run-to-completion style state charts using Event-B (2022) (4)
Specification of a Program Derivation Editor (1994) (4)
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) (2007) (4)
Systematic Development of Control Designs via Formal Refinement (2013) (4)
Feature Interaction Analysis Using Z (1993) (4)
Using Refinement to Analyse the Safety of an Authentication Protocol (1998) (4)
Modeling guidelines of FreeRTOS in Event-B (2016) (4)
Formalizing hierarchical scheduling for refinement of real-time systems (2020) (4)
Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis (2019) (4)
Trace semantics and refinement patterns for real-time properties in event-B models (2020) (4)
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling (2014) (4)
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B (2016) (4)
Policing functions for machine learning systems (2018) (4)
Theory Plug-in for Rodin 3.x (2017) (4)
Automated Verification of Critical Systems ( AVoCS 2015 ) Transforming Event-B Models to Dafny Contracts (2015) (3)
Proceedings of the Third International Conference on Integrated Formal Methods (2002) (3)
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems (2009) (3)
Animation of UML-B State-machines (2009) (3)
Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems (2003) (3)
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (2014) (3)
Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008) (3)
External and internal choice with event groups in Event-B (2012) (3)
Rodin multi-simulation plug-in (2014) (3)
Verifying System-Level Security of a Smart Ballot Box (2021) (3)
From Event-B models to code: sensing, actuating, and the environment (2011) (3)
The Rodin Formal Modelling Tool 1 (2007) (3)
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 (2020) (3)
Relating Semantic Models of Compensating CSP (2006) (3)
Extensible Record Structures in Event-B (2021) (3)
Performing Algorithmic Refinement before Data Refinement in B (2000) (3)
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3 (2019) (2)
Event Ordering in Action Systems (1998) (2)
Formalizing cCSP Synchronous Semantics in PVS (2010) (2)
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B (2019) (2)
Applying Formal Methods to the Design of Smart Card Software (1997) (2)
Refinement and Verification of Responsive Control Systems (2020) (2)
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B (2019) (2)
Symmetry Reduction in the ProB Model Checker (2006) (2)
On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification (2009) (2)
Formal Verification of Run-to-Completion Style Statecharts Using Event-B (2020) (2)
Verifying Dynamic Properties of UML Models by Translation to the B Method and Toolkit (2000) (2)
Service Specification Using Z (1993) (2)
Building on the DEPLOY Legacy: Code Generation and Simulation (2012) (2)
Reasoned Modelling with Event-B (2016) (2)
ProB User Manual (2005) (2)
High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems (2022) (2)
A Formal Approach to Multi-UAV Route Validation (2015) (2)
Contracts for Scenario-Based Testing of Object-Oriented Programs (2002) (2)
Calculating Total Cost of Ownership on Intrusion Prevention Technology (2015) (2)
Formal Development of Broadcast Systems and Verification of Ordering Properties using Event-B (2008) (2)
The CamilleX Framework for the Rodin Platform (2021) (2)
Problem decomposition and sub-model reconciliation of control systems in Event-B (2013) (2)
Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings (2002) (2)
Developing a Framework for Trustworthy Autonomous Maritime Systems (2020) (2)
Proceedings of the 6th Rodin User and Developer Workshop, 2016 (2016) (2)
On the Verified-by-Construction Approach (2006) (2)
Using UML Class Diagrams for Constructing B Specifications (2000) (2)
UB2DB Rodin plug-in for automated database code generation (2018) (1)
Formal Modelling and Verification of Trust in a Pervasive Application (2004) (1)
Incremental Database Design using UML-B and Event-B (2018) (1)
Domain-Specific Developments Using Rodin Theories (2020) (1)
A report on PRiME code generation activities (2018) (1)
Calculational derivation of algorithms on tree-based pointer structures (1996) (1)
Developing A New Language to Construct Algebraic Hierarchies for Event-B (2018) (1)
Study of Security in Multi-Agent Architectures (2000) (1)
Standards, Tools & Best Practices (2003) (1)
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). (2005) (1)
Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering (2007) (1)
A roadmap for the Rodin toolset ? Version 1 . 0 : 12 June 2008 (2008) (1)
A Code Generation Example for Event-B:A Shared Channel with Concurrent Read/Writers (2009) (1)
Feature-Oriented Modelling Using Event-B (2010) (1)
Distributed Electronic Mail System (1999) (1)
DeepSaucer: Unified Environment for Verifying Deep Neural Networks (2018) (1)
Deriving Relationship Between Semantic Models - An Approach for cCSP (2010) (1)
Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks (2016) (1)
Refinement of Dynamic Systems (1999) (1)
Proceedings of the 17th international conference on Formal methods (2011) (1)
Reusing Formal Models via Lifting (2018) (1)
Extending Code Generation to Support Platform-Independent Event-B Models (2016) (0)
Railground RSSRail models - iUML-B/Event-B (2017) (0)
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings (2007) (0)
Towards verified implementation of Event-B models in Dafny (2014) (0)
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker (2020) (0)
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation (2020) (0)
Formal Methods and Software Engineering (2018) (0)
Automatic Testing from Formal Specifi (2006) (0)
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007). (2007) (0)
Anomaly detection within software build processes (2018) (0)
Introduction to the ABZ 2016 Special issue (2018) (0)
Shared Event Composition / Decomposition in Event - (2011) (0)
Applications of Summation and Product Operators in the Refinement Calculus (1994) (0)
Faculty of Engineering, Science and Mathematics School of Electronics and Computer Science A group design project report submitted for the award of MEng Computer Science (2006) (0)
Rodin User & Developer Workshop Proceedings (2012) (0)
Integrated Formal Methods 2002 (2002) (0)
Behavioural Extension for CSP (1991) (0)
Abstraction, Refinement and Decomposition for Systems Engineering (2012) (0)
Towards Tool Support for Formal Refinement (1998) (0)
A method of refinement in UML-B (2013) (0)
ATM Case study models - UML-B/Event-B (2012) (0)
A Practical Approach for Closed Systems Formal Verification Using Event-B (2012) (0)
Renaissance: a Revolutionary Approach to Low-Cost Ground Data Systems (1996) (0)
Appendix E : Alternative Approaches (2011) (0)
Dataset for 'Formalizing Hierarchical Scheduling for Refinement of Real-Time Systems' (2019) (0)
Proposal for an extensible rule-based prover for Event-B (2009) (0)
Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14) (2016) (0)
Editorial: Special Issue on Software Engineering and Formal Methods (2016) (0)
Literature Survey on Trust (2005) (0)
Service Specification Using Z 1.1 Conceptual Model (0)
Proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 9675 (2016) (0)
Linking Event-B and Concurrent (2008) (0)
UML-B Version of SSF Mini-pilot (2008) (0)
Language and tool support for event refinement structures in Event-B (2014) (0)
Event-B and Rodin (2013) (0)
A B C D -automated Validation of Business Critical Systems with Component Based Designs Environment and Previous Track Record Dsse { Declarative Systems and Software Engineering (1999) (0)
Innovative Approach for Requirements Verification of Closed Systems (2014) (0)
Validation of Railway Control Systems (2019) (0)
Project Ist-511599 Rodin " Rigorous Open Development Environment for Complex Systems " Rodin Deliverable D9 Preliminary Report on Methodology Many including People Have Written Material for This Deliverable (including the Current Editor); Specific Contributions Include: Section 2.2.2 Written by Ian (2005) (0)
ABZ2008 Conference - Short Papers (2008) (0)
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007 (2007) (0)
Code generation update (2012) (0)
Generic Instantiation 3 ! Channel ! 1 ! machine Channel sees ChannelParameters ! 2 ! ! 3 ! variables channel ! 4 ! ! 5 ! invariants ! (2009) (0)
RailGround using Theory plug-in (2017) (0)
Event-Based Modelling and Refinement of Distributed Monitoring and Controlling System ( Extended Abstract ) (2003) (0)
Developing portable embedded software for multicore systems through formal abstraction and refinement (2019) (0)
Experiment D: Application of Z to IN-Services Test Case (1993) (0)
iUML-B model of VLAN system (2016) (0)
November 09 , 2018 Anomaly detection within software build processes (2018) (0)
Questions and Answers about Ten Formal Methods Questions and Answers about Ten Formal Methods (2006) (0)
Formal Techniques Applied to the X.400 Reliable Transfer Service (1989) (0)
Behavioural Extension for CSP Processes (1991) (0)
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions (2021) (0)
Lectures on Modelling and Verification in Event-B (2016) (0)
D43 Jd3 — Final Assessment and Integration Results D43 Jd3 — Final Assessment and Integration Results D43 Jd3 — Final Assessment and Integration Results 2/46 Table of Content (2012) (0)
17th International Conference on Formal Engineering Methods, ICFEM 2015 (2007) (0)
Generating SPARK from Event-B, Providing Fundamental Safety and Security (2022) (0)
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 (2020) (0)
A Composition Mechanism for Reﬁnement-Based Methods (2018) (0)
Formal specification of a Haemodialysis Machine (HD Machine) using Event-B (2016) (0)
0 / Policing Functions for Machine Learning Systems (2018) (0)
Rodin User and Developer Workshop 2009 - Extended Abstracts (2009) (0)
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design (2022) (0)
Formal Methods and Software Engineering (2015) (0)
Harmonization of Research and Development Activities towards Standardization in the Automated Warehousing Systems (2016) (0)
A fairness-based refinement strategy to transform liveness properties in Event-B models (2022) (0)
Developing the UML-B Modelling Tools (2022) (0)
Tooling in DEPLOY (2013) (0)
Refinable Record Structures in Formal Methods (2021) (0)
Rodin Developments for Formal Policing Functions based on Metamorphic Relations (2018) (0)
Route Validation in Event-B (2017) (0)
Development of a System Controlling Cars on a Bridge using Machine Inclusion (2017) (0)
DevFemOps: enhancing maintainability based on microservices using formal engineering methods (2022) (0)
Building an Extensible Textual Framework for the Rodin Platform (2022) (0)
Formal Development of Supervision for Autonomous Systems (2016) (0)
Ensuring extensibility within code generation (2012) (0)
Extending the B Method with Distribution (1998) (0)
Incremental Construction of Large Specifications: Case Study and Techniques (2006) (0)
Verifying Correctness in StAC Specifications (2003) (0)
Action System Analysis of an Authentication Protocol (extended abstract) (1997) (0)
Using formal methods for automatic platform-independent code generation of run-time management (2018) (0)
Tooling: Code Generation Update (2012) (0)
Slides on Event-B used for Deploy Associate Training (2010) (0)

This paper list is powered by the following services:

Other Resources About Michael Butler

en.wikipedia.org

What Schools Are Affiliated With Michael Butler ?

Michael Butler is affiliated with the following schools:

Image Attributions

Image Source for Michael Butler