Colin F. Snook

Latest

• Designing Exception Handling Using Event-B
• 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
• Refinement and Verification of Responsive Control Systems
• Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3
• Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
• On Component-Based Reuse for Event-B
• A Practical Event-B Refinement Method Based on a UML-Driven Development Process
• UML-B: A Plug-in for the Event-B Tool Set