Racem Bougacha

According to our database, Racem Bougacha authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

2023

A formal approach for modeling high-level architectures of complex systems aligned with requirement models. (Une approche formelle pour la modélisation d'architectures de haut niveau de systèmes complexes alignées avec les modèles d'exigences).

Racem Bougacha

PhD thesis, 2023

Formal alignment of requirements models with high-level architecture models.

Racem Bougacha, Régine Laleau, Simon Collart Dutilleul

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.

Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications.

Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed

Proceedings of the Risks and Security of Internet and Systems, 2022

2020

A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements.

Racem Bougacha

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

2019

A Model-based Approach for the Modeling and the Verification of Railway Signaling System.

Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019