Asieh Salehi Fathabadi

Latest

• Designing Exception Handling Using Event-B
• Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems
• Property Ownership Formal Modelling Using Event-B and iUML-B
• Designing Critical Systems Using Hierarchical STPA and Event-B
• Extensible Record Structures in Event-B
• The CamilleX Framework for the Rodin Platform
• Verifiable Code Generation from Scheduled Event-B Models
• A Graphical Tool for Event Refinement Structures in Event-B
• Formal Derivation of Distributed MapReduce