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 (ENASE, 2019)

A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements. - Racem Bougacha (ABZ, 2020)

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 (CRiSIS, 2022)

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul; Rahma Ben Ayed (TASE, 2022)

Formal alignment of requirements models with high-level architecture models. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul (ICECCS, 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 (2023)

Towards the Interoperability of Port Digital Twin Systems Through Ontologies Alignment. - Racem Bougacha (ICSOC Workshops (1), 2024)