Meryem Afendi

According to our database, Meryem Afendi authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.

Meryem Afendi, Amel Mammar, Régine Laleau

Proceedings of the 18th International Conference on Software Technologies, 2023

2022

A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B).

Meryem Afendi

PhD thesis, 2022

Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation.

Amel Mammar, Meryem Afendi, Régine Laleau

Sci. Comput. Program., 2022

Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.

Meryem Afendi, Amel Mammar, Régine Laleau

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2020

Modelling Hybrid Programs with Event-B.

Meryem Afendi, Régine Laleau, Amel Mammar

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B.

Meryem Afendi

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020