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