Meryem Afendi
According to our database1,
Meryem Afendi
authored at least 6 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
0
1
2
3
4
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.
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).
PhD thesis, 2022
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation.
Sci. Comput. Program., 2022
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
2020
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.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020