default search action
Zakaria Benzadri
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e1]Slim Kallel, Zakaria Benzadri, Ahmed Hadj Kacem:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. CEUR Workshop Proceedings 3642, CEUR-WS.org 2024 [contents] - 2023
- [j3]Charaf Eddine Dridi
, Zakaria Benzadri, Faiza Belala
A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems. Int. J. Organ. Collect. Intell. 13(1): 1-30 (2023) - [c16]Salheddine Sadouni, O. Sadouni
Innovative FloodGuard: Pioneering Early Flood Detection Station. ICSC 2023: 153-158 - [c15]Aymen Abdelmoumen, Zakaria Benzadri, Ismael Bouassida Rodriguez:
Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis. TACC 2023: 120-137 - 2022
- [c14]Charaf Eddine Dridi, Zakaria Benzadri
Towards a Multi-Viewpoints Approach for the SoS Engineering. ICAASE 2022: 1-6 - 2021
- [j2]Zakaria Benzadri, Ayoub Bouheroum, Faiza Belala
A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. Int. J. Organ. Collect. Intell. 11(2): 51-74 (2021) - [c13]Zakaria Benzadri
Towards a Service-Driven Model for Industry-4.0. ICSCA 2021: 14-21 - 2020
- [c12]Charaf Eddine Dridi, Zakaria Benzadri
System of Systems Modelling: Recent work Review and a Path Forward. ICAASE 2020: 1-8 - [c11]Charaf Eddine Dridi, Zakaria Benzadri
System of Systems Engineering: Meta-Modelling Perspective. SoSE 2020: 135-144
2010 – 2019
- 2019
- [c10]Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala:
Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. CAL 2019: 67-90 - [c9]Zakaria Benzadri, Abdeldjalil Boultifat, Sami Resslene Zair, Faiza Belala:
Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport. CAL 2019: 121-140 - [c8]Ayoub Bouheroum
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud 2019: 64-71 - 2018
- [c7]Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala:
A Component-based Modeling of Edge Systems Computing. ICAASE 2018: 99-106 - [c6]Akram Seghiri
A Maude based Specification for SoS Architecture. SoSE 2018: 45-52 - 2017
- [j1]Zakaria Benzadri, Chafia Bouanaka, Faiza Belala:
Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. 8(3): 222-240 (2017) - [c5]Souad Marir
BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops 2017: 111-123 - 2016
- [c4]Zakaria Benzadri
A theoretical approach for modelling Cloud Services Composition. ICAASE 2016: 1-8 - 2014
- [c3]Zakaria Benzadri
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ESaaSA@CLOSER 2014: 3-12 - [c2]Zakaria Benzadri, Chafia Bouanaka, Faiza Belala:
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE 2014: 165-170 - 2013
- [c1]Zakaria Benzadri
Towards a Formal Model for Cloud Computing. ICSOC Workshops 2013: 381-393
Coauthor Index
aka: Faïza Belala
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: