Yamine Aït Ameur

Latest

• Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory
• Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness
• Formal Distributed Protocol Development for Reservation of Railway Sections
• Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
• On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• The landing gear case study: challenges and experiments
• Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
• A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
• Verification and Validation of Web Service Composition Using Event B Method