186 results on '"Yamine Aït-Ameur"'
Search Results
2. Reflexive Event-B: Semantics and Correctness the EB4EB Framework.
3. A Complete Fragment of LTL(EB).
4. Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.
5. Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.
6. Introduction to the TASE 2022 Special issue.
7. EB4EB: A Framework for Reflexive Event-B.
8. Empowering the Event-B Method Using External Theories.
9. Reachability Analysis and Simulation for Hybridised Event-B Models.
10. Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
11. F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
12. Realisability of Control-State Choreographies.
13. Standard Conformance-by-Construction with Event-B.
14. Towards Leveraging Domain Knowledge in State-Based Formal Methods.
15. Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.
16. Event-B Refinement for Continuous Behaviours Approximation.
17. Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness.
18. Formal Distributed Protocol Development for Reservation of Railway Sections.
19. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B.
20. Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
21. Realisability of Choreographies.
22. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling.
23. An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
24. An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation.
25. A refinement-based development of a distributed signalling system.
26. Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems.
27. On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
28. Modelling Hybrid Train Speed Controller using Proof and Refinement.
29. Finding conservative schema evolutions by analysing API changes.
30. Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.
31. Certified Embedding of B Models in an Integrated Verification Framework.
32. A Refinement Based Method for Developing Distributed Protocols.
33. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.
34. A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.
35. Formal domain-driven system development in Event-B: Application to interactive critical systems.
36. Handling Reparation in Incremental Construction of Realizable Conversation Protocols.
37. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.
38. Incremental Construction of Realizable Choreographies.
39. On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
40. Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.
41. Formal Ontology Driven Model Refactoring.
42. Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks.
43. Automating the Evolution of Data Models for Space Missions. A Model-Based Approach.
44. B-PERFect - Applying the PERF Approach to B Based System Developments.
45. QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems.
46. Formal development process of safety-critical embedded human machine interface systems.
47. Realisability of Control-State Choreographies.
48. Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks.
49. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
50. A scalable model based approach for data model evolution: Application to space missions data models.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.