Thai Son Hoang

Latest

• 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
• Verifying HyperLTL Properties in Event-B
• 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
• The Hybrid ERTMS/ETCS Level 3 Case Study
• Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
• Formal System Modelling Using Abstract Data Types in Event-B
• Refinement by Interface Instantiation
• Event-B Decomposition for Parallel Programs