Racem Bougacha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2024
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSOC | Towards the Interoperability of Port Digital Twin Systems Through Ontologies Alignment. | Racem Bougacha |
| 2023 | ICECCS | Formal alignment of requirements models with high-level architecture models. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul |
| 2022 | CRiSIS | Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. | Racem Bougacha, Rgine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2022 | TASE | Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2019 | ENASE | 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 |