A Model-based Approach for the Modeling and the Verification of Railway Signaling System. R Bougacha, AA Wakrime, S Kallel, RB Ayed, SC Dutilleul ENASE, 367-376, 2019 | 10 | 2019 |
Extending SYSML with Refinement and Decomposition Mechanisms to Generate EVENT-B Specifications R Bougacha, R Laleau, SC Dutilleul, RB Ayed Theoretical Aspects of Software Engineering: 16th International Symposium …, 2022 | 9 | 2022 |
Modeling train systems: from high-level architecture graphical models to formal specifications R Bougacha, R Laleau, P Bon, S Collart-Dutilleul, R Ben Ayed International Conference on Risks and Security of Internet and Systems, 153-168, 2022 | 6 | 2022 |
Ato over etcs: a system analysis for freight trains P Bon, S Collart-Dutilleul, R Bougacha Comput. Railways XVIII: Railway Eng. Des. Oper 213, 37, 2022 | 2 | 2022 |
Engineering for Critical Systems: The Automatic Train Operation over European Train Control System for Freight Trains Use Case S Collart-Dutilleul, P Bon, R Bougacha, R Laleauv International Journal of Transport-Development and integration 7 (4), 311-320, 2023 | 1 | 2023 |
Formal alignment of requirements models with high-level architecture models R Bougacha, R Laleau, S Collart-Dutilleul 2023 27th International Conference on Engineering of Complex Computer …, 2023 | 1 | 2023 |
A formal approach for the modeling of high-level architectures aligned with system requirements R Bougacha Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 1 | 2020 |
International Journal of Transport Development and Integration S Collart-Dutilleul, P Bon, R Bougacha, R Laleau Integration 7 (4), 311-320, 2023 | | 2023 |
A formal approach for modeling high-level architectures of complex systems aligned with requirement models R Bougacha Centrale Lille Institut, 2023 | | 2023 |
Une approche formelle pour la modélisation d’architectures de haut niveau de systèmes complexes alignées avec les modèles d’exigences R Bougacha Centrale Lille Institut, 2023 | | 2023 |