Khaoula Bouba

According to our database, Khaoula Bouba authored at least 3 papers between 2022 and 2026.

Collaborative distances:

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

2026

Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini

J. Object Technol., 2026

2023

A transformation methodology for Capella to Event-B models with DSL verification.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini

J. Comput. Lang., November, 2023

2022

Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini

Proceedings of the Model and Data Engineering: 11th International Conference, 2022