Khaoula Bouba

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Modeling Framework

Safety Analysis

Statistical Model

Finite State Machines

Top Venues

J. Comput. Lang.

Publications

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini
A transformation methodology for Capella to Event-B models with DSL verification. J. Comput. Lang. 77 (2023)
Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini
Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems. MEDI (2022)