Methods
Conferences
Case Studies
Publications
Keynotes
Committee
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
Cite
×