Faïza Belala

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