Towards a formal model for cloud computing Z Benzadri, F Belala, C Bouanaka Service-Oriented Computing–ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE …, 2014 | 32 | 2014 |
Delivery and adoption of cloud computing Services in Contemporary Organizations V Chang IGI Global, 2015 | 31 | 2015 |
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 | 17 | 2020 |
System of systems engineering: Meta-modelling perspective CE Dridi, Z Benzadri, F Belala 2020 IEEE 15th International Conference of System of Systems Engineering …, 2020 | 14 | 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 |
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 |
Big-caf: a bigraphical-generic cloud architecture framework Z Benzadri, C Bouanaka, F Belala International Journal of Grid and Utility Computing 8 (3), 222-240, 2017 | 8 | 2017 |
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 | 6 | 2018 |
BiAgent-Based Model for IoT Applications: Case of a Collision Avoidance System S Marir, R Kitouni, Z Benzadri, F Belala Service-Oriented Computing–ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and …, 2018 | 5 | 2018 |
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. Z Benzadri, C Bouanaka, F Belala ICAASE, 165-170, 2014 | 5 | 2014 |
A theoretical approach for modelling Cloud Services Composition Z Benzadri, N Hameurlain, F Belala, C Bouanaka 2016 International Conference on Advanced Aspects of Software Engineering …, 2016 | 4 | 2016 |
A formal framework for cloud systems Z Benzadri, C Bouanaka, F Belala Web-Based Services: Concepts, Methodologies, Tools, and Applications, 471-495, 2016 | 4 | 2016 |
Modern Industrial IoT, Big Data and Supply Chain: Proceedings of the IIoTBDSC 2020 V Chang, M Ramachandran, VM Muñoz Springer Nature, 2021 | 3 | 2021 |
A modelling framework for CPS-based Industry 4.0: application to manufacturing systems Z Benzadri, T Bouheroum, YO Cheloufi, MN Hassani, F Belala Modern Industrial IoT, Big Data and Supply Chain: Proceedings of the …, 2021 | 3 | 2021 |
Towards a Multi-Viewpoints Approach for the SoS Engineering CE Dridi, Z Benzadri, F Belala 2022 International Conference on Advanced Aspects of Software Engineering …, 2022 | 2 | 2022 |
Modern Industrial IoT, Big Data and Supply Chain V Chang, M Ramachandran, VM Muñoz Proceedings of the IIoTBDSC 218, 2020 | 2 | 2020 |
A Component-based Modeling of Edge Systems Computing. ON Sehout, M Ghiat, Z Benzadri, F Belala ICAASE, 99-106, 2018 | 1 | 2018 |
Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis. A Abdelmoumen, Z Benzadri, IB Rodriguez TACC, 120-137, 2023 | | 2023 |
A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems CE Dridi, Z Benzadri, F Belala International Journal of Organizational and Collective Intelligence (IJOCI …, 2023 | | 2023 |