Search

Michael J. Butler

An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
Designing Exception Handling Using Event-B
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems
Semantics Formalisation - From Event-B Contexts to Theories
Designing Critical Systems Using Hierarchical STPA and Event-B
Extensible Record Structures in Event-B
The CamilleX Framework for the Rodin Platform
Verifying System-Level Security of a Smart Ballot Box
Refinement and Verification of Responsive Control Systems
Refinement of Timing Constraints for Concurrent Tasks with Scheduling
Verifiable Code Generation from Scheduled Event-B Models
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
A Graphical Tool for Event Refinement Structures in Event-B
Formal Derivation of Distributed MapReduce
Event-B Code Generation: Type Extension with Theories
A Basis for Feature-Oriented Modelling in Event-B
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
On an Extensible Rule-Based Prover for Event-B
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
A Roadmap for the Rodin Toolset
UML-B: A Plug-in for the Event-B Tool Set