Login / Signup
Racem Bougacha
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Dynamic Aspects
High Level
Decomposition Methods
Formal Specification
Top Venues
CRiSIS
TASE
ICECCS
ENASE
</>
Publications
</>
Racem Bougacha
,
Régine Laleau
,
Simon Collart Dutilleul
Formal alignment of requirements models with high-level architecture models.
ICECCS
(2023)
Racem Bougacha
,
Régine Laleau
,
Philippe Bon
,
Simon Collart Dutilleul
,
Rahma Ben Ayed
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications.
CRiSIS
(2022)
Racem Bougacha
,
Régine Laleau
,
Simon Collart Dutilleul
,
Rahma Ben Ayed
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.
TASE
(2022)
Racem Bougacha
A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements.
ABZ
(2020)
Racem Bougacha
,
Abderrahim Ait Wakrime
,
Slim Kallel
,
Rahma Ben Ayed
,
Simon Collart Dutilleul
A Model-based Approach for the Modeling and the Verification of Railway Signaling System.
ENASE
(2019)