Meryem Afendi

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Top Venues

Sci. Comput. Program.

Publications

Meryem Afendi, Amel Mammar, Régine Laleau
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. ICSOFT (2023)
Amel Mammar, Meryem Afendi, Régine Laleau
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. Sci. Comput. Program. 222 (2022)
Meryem Afendi, Amel Mammar, Régine Laleau
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. ICECCS (2022)
Meryem Afendi
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. ABZ (2020)
Meryem Afendi, Régine Laleau, Amel Mammar
Modelling Hybrid Programs with Event-B. ABZ (2020)