| Towards a formal model for cloud computing Z Benzadri, F Belala, C Bouanaka Service-Oriented Computing–ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE …, 2014 | 31 | 2014 |
| A bigraphical model for specifying cloud-based elastic systems and their behaviour H Sahli, N Hameurlain, F Belala International Journal of Parallel, Emergent and Distributed Systems 32 (6 …, 2017 | 20 | 2017 |
| System of systems modelling: Recent work review and a path forward CE Dridi, Z Benzadri, F Belala 2020 International Conference on Advanced Aspects of Software Engineering …, 2020 | 16 | 2020 |
| A maude-based rewriting approach to model and verify cloud/fog self-adaptation and orchestration K Khebbeb, N Hameurlain, F Belala Journal of Systems Architecture 110, 101821, 2020 | 14 | 2020 |
| A formal model for interaction specification and analysis in IoT applications S Marir, F Belala, N Hameurlain Model and Data Engineering: 8th International Conference, MEDI 2018 …, 2018 | 14 | 2018 |
| Model-Checking Cloud Systems Using BigMC. H Sahli, F Belala, C Bouanaka VECoS, 25-33, 2014 | 14 | 2014 |
| A BRS-based approach to model and verify cloud systems elasticity H Sahli, F Belala, C Bouanaka Procedia Computer Science 68, 29-41, 2015 | 13 | 2015 |
| Towards Formal Modeling and Verification of Context-Aware Systems. TA Cherfia, F Belala, K Barkaoui VECoS, 18-24, 2014 | 13 | 2014 |
| On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. C Bouanaka, A Choutri, F Belala ICSOFT (SE), 123-128, 2007 | 13 | 2007 |
| Formal modelling and verifying elasticity strategies in cloud systems K Khebbeb, N Hameurlain, F Belala, H Sahli IET Software 13 (1), 25-35, 2019 | 12 | 2019 |
| A tile logic based approach for software architecture description analysis A Choutri, F Belala, K Barkaoui Journal of Software Engineering and Applications 3 (11), 1067-1079, 2010 | 12 | 2010 |
| Towards a fuzzy bigraphical multi agent system for cloud of clouds elasticity management R Moudjari, Z Sahnoun, F Belala International Journal of Approximate Reasoning 102, 86-107, 2018 | 11 | 2018 |
| System of systems engineering: meta-modelling perspective CE Dridi, Z Benzadri, F Belala 2020 IEEE 15th International Conference of System of Systems Engineering …, 2020 | 10 | 2020 |
| Verifying cloud systems using a bigraphical maude-based model checker Z Benzadri, C Bouanaka, F Belala Workshop on Emerging Software as a Service and Analytics 2, 3-12, 2014 | 10 | 2014 |
| AADL behavioral annex based on generalized rewriting logic M Benammar, F Belala, F Latreche 2008 Second International Conference on Research Challenges in Information …, 2008 | 10 | 2008 |
| A formal framework for secure fog architectures: Application to guarantee reliability and availability Z Benzadri, A Bouheroum, F Belala International Journal of Organizational and Collective Intelligence (IJOCI …, 2021 | 9 | 2021 |
| Formalizing and simulating cross-layer elasticity strategies in Cloud systems K Khebbeb, N Hameurlain, F Belala Cluster Computing 23 (3), 1603-1631, 2020 | 9 | 2020 |
| A brs-based modeling approach for context-aware systems: A case study of smart car system TA Cherfia, K Barkaoui, F Belala 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing …, 2014 | 8 | 2014 |
| Towards a formal approach based on bigraphs for fog security: Case of oil and gas refinery plant A Bouheroum, Z Benzadri, F Belala 2019 7th International Conference on Future Internet of Things and Cloud …, 2019 | 7 | 2019 |
| A maude based specification for sos architecture A Seghiri, F Belala, Z Benzadri, N Hameurlain 2018 13th Annual Conference on System of Systems Engineering (SoSE), 45-52, 2018 | 7 | 2018 |
