Author of the publication

Big-CAF: a bigraphical-generic cloud architecture framework.

, , and . Int. J. Grid Util. Comput., 8 (3): 222-240 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker., , and . ESaaSA@CLOSER, page 3-12. SciTePress, (2014)A theoretical approach for modelling Cloud Services Composition., , , and . ICAASE, page 1-8. IEEE, (2016)BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis., , and . ICAASE, volume 1294 of CEUR Workshop Proceedings, page 165-170. CEUR-WS.org, (2014)Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant., , and . FiCloud, page 64-71. IEEE, (2019)Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis., , and . TACC, volume 3642 of CEUR Workshop Proceedings, page 120-137. CEUR-WS.org, (2023)System of Systems Modelling: Recent work Review and a Path Forward., , and . ICAASE, page 1-8. IEEE, (2020)A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems., , and . Int. J. Organ. Collect. Intell., 13 (1): 1-30 (2023)A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability., , and . Int. J. Organ. Collect. Intell., 11 (2): 51-74 (2021)Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing., , and . CAL, volume L-9 of RNTI, page 67-90. Éditions RNTI, (2019)BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System., , , and . ICSOC Workshops, volume 10797 of Lecture Notes in Computer Science, page 111-123. Springer, (2017)