Faïza Belala

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 5

Top Topics

Formal Verification

Software Architecture

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Charaf Eddine Dridi, Zakaria Benzadri, Faïza Belala
System of Systems Modelling: Recent work Review and a Path Forward. ICAASE (2020)
Sahar Smaali, Aïcha Choutri, Faïza Belala
A formal framework-based K-Maude for modelling scalable software architectures. Int. J. Comput. Aided Eng. Technol. 11 (3) (2019)
Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain
A Maude based Specification for SoS Architecture. SoSE (2018)
Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui
A bigraph-based framework for specification and analysis of context-aware systems. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Hamza Sahli, Faïza Belala, Chafia Bouanaka
Formal verification of cloud systems elasticity. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Rachida Boucebsi, Faïza Belala
Towards BRS based model for Wireless Mesh Networks. CFIP/NOTERE (2015)
Zakaria Benzadri, Chafia Bouanaka, Faïza Belala
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ESaaSA@CLOSER (2014)
Halima Douibi, Sahar Smaali, Faïza Belala
A K-based language for Design Patterns. AICCSA (2014)
Sahar Smaali, Aïcha Choutri, Faïza Belala
Towards a meta-model for dynamic applications. CBSE (2014)
Taha Abdelmoutaleb Cherfia, Faïza Belala
Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems. Int. J. Adapt. Resilient Auton. Syst. 5 (4) (2014)
Sahar Smaali, Aïcha Choutri, Faïza Belala
K-Maude Definition of Dynamic Software Architecture. ICAASE (2014)