default search action
Faiza Belala
Faïza Belala
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c60]Riad Helal
, Akram Seghiri
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. ICSCA 2024: 298-309 - [e5]Fouzia Benchikha, Faiza Belala, Zizette Boufaïda, Wafa Ghemmaz, Sahar Smaali:
Proceedings of The 12th Seminary of Computer Science Research at Feminine (RIF 2023) LIRE Laboratory, Constantine 2 University- Abdelhamid Mehri, Constantine, Algeria, March 9, 2023. CEUR Workshop Proceedings 3616, CEUR-WS.org 2024 [contents] - 2023
- [j32]Charaf Eddine Dridi
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) - [c59]Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem:
Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC 2023: 27-42 - [c58]Feryel Benina, Nadira Benlahrache, Faiza Belala, Ahmed Hadj Kacem:
Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. TACC 2023: 148-158 - [c57]Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala:
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. WETICE 2023: 1-6 - [e4]Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, Constantine, Algeria, December 13-14, 2022. CEUR Workshop Proceedings 3333, CEUR-WS.org 2023 [contents] - 2022
- [j31]Souad Marir
A Strategy-Based Formal Approach for Fog Systems Analysis. Future Internet 14(2): 52 (2022) - [j30]Akram Seghiri
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. Int. J. Syst. Serv. Oriented Eng. 12(1): 1-17 (2022) - [c56]Akram Seghiri
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. ENASE 2022: 162-173 - [c55]Charaf Eddine Dridi, Zakaria Benzadri
Towards a Multi-Viewpoints Approach for the SoS Engineering. ICAASE 2022: 1-6 - [c54]Charaf Eddine Dridi
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. MEDI Workshops 2022: 207-221 - [c53]Ayoub Bouheroum
A Formal Integrated Approach for Cyber Physical Systems. PAIS 2022: 1-7 - [c52]Riad Helal, Akram Seghiri, Faiza Belala:
An Integrated Approach to Formal Analyze Cyber Physical Systems. TACC 2022: 92-97 - [e3]Faiza Belala, Fouzia Benchikha, Zizette Boufaïda, Sahar Smaali:
Proceedings of The 11th Seminary of Computer Science Research at Feminine (RIF 2022) LIRE Laboratory, Constantine 2 University- Abdelhamid Mehri, Constantine, Algeria, March 10, 2022. CEUR Workshop Proceedings 3176, CEUR-WS.org 2022 [contents] - [e2]Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez:
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. CEUR Workshop Proceedings 3067, CEUR-WS.org 2022 [contents] - 2021
- [j29]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) - [c51]Zakaria Benzadri
Towards a Service-Driven Model for Industry-4.0. ICSCA 2021: 14-21 - [c50]Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala:
From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems. TACC 2021: 149-163 - 2020
- [j28]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Clust. Comput. 23(3): 1603-1631 (2020) - [j27]Faiza Belala, Ramdane Maamri
Formal modeling and analysis of complex software. J. King Saud Univ. Comput. Inf. Sci. 32(4): 385-386 (2020) - [j26]Chafia Bouanaka
A formal quantitative analysis of elastic cloud systems based on PSMaude. J. King Saud Univ. Comput. Inf. Sci. 32(4): 387-397 (2020) - [j25]Rachida Boucebsi, Faiza Belala
A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks. J. King Saud Univ. Comput. Inf. Sci. 32(9): 1071-1080 (2020) - [j24]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. J. Syst. Archit. 110: 101821 (2020) - [c49]Charaf Eddine Dridi, Zakaria Benzadri
System of Systems Modelling: Recent work Review and a Path Forward. ICAASE 2020: 1-8 - [c48]Souad Marir
Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. ICAASE 2020: 1-7 - [c47]Charaf Eddine Dridi, Zakaria Benzadri
System of Systems Engineering: Meta-Modelling Perspective. SoSE 2020: 135-144
2010 – 2019
- 2019
- [j23]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli:
Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13(1): 25-35 (2019) - [j22]Sahar Smaali
A formal framework-based K-Maude for modelling scalable software architectures. Int. J. Comput. Aided Eng. Technol. 11(3): 361-390 (2019) - [j21]Fateh Latreche, Faiza Belala:
Timed CTL checking of time critical cloud applications using timed bigraphs. Int. J. Crit. Comput. Based Syst. 9(4): 379-406 (2019) - [j20]Halima Douibi, Faiza Belala
Design Patterns Formal Composition and Analysis. Int. J. Inf. Technol. Syst. Approach 12(2): 1-21 (2019) - [c46]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 - [c45]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 - [c44]Ayoub Bouheroum
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud 2019: 64-71 - [c43]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. MEDI Workshops 2019: 64-77 - [e1]Ramdane Maamri, Faiza Belala:
Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, ICAASE 2018, Constantine, Algeria, December 1-2, 2018. CEUR Workshop Proceedings 2326, CEUR-WS.org 2019 [contents] - 2018
- [j19]Rayene Moudjari, Zaïdi Sahnoun, Faiza Belala:
Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds Elasticity Management. Int. J. Approx. Reason. 102: 86-107 (2018) - [j18]Manel Amel Djenouhat, Faiza Belala, Kamel Barkaoui:
Architectural method to design and control dynamic composite web services. Int. J. Comput. Appl. Technol. 57(1): 59-71 (2018) - [c42]Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib:
A Quality-driven Approach for Analyzing Elastic Cloud Computing. ICAASE 2018: 84-91 - [c41]Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala:
A Component-based Modeling of Edge Systems Computing. ICAASE 2018: 99-106 - [c40]Akram Seghiri, Faiza Belala, A. Aymen Teniou:
Towards Software Architectural Description for Systems of Systems: Case of a Maritime Transport SoS. ICIEB 2018: 183-187 - [c39]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. MEDI 2018: 168-183 - [c38]Souad Marir
A Formal Model for Interaction Specification and Analysis in IoT Applications. MEDI 2018: 371-384 - [c37]Akram Seghiri
A Maude based Specification for SoS Architecture. SoSE 2018: 45-52 - 2017
- [j17]Fateh Latreche, Faiza Belala:
A layered Petri net model to formally analyse time critical web service composition. Int. J. Crit. Comput. Based Syst. 7(2): 119-137 (2017) - [j16]Zakaria Benzadri, Chafia Bouanaka, Faiza Belala:
Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. 8(3): 222-240 (2017) - [j15]Chafia Bouanaka
A Formal Framework for Scalable Component-Based Systems. Int. J. Inf. Syst. Model. Des. 8(1): 1-23 (2017) - [j14]Hamza Sahli, Nabil Hameurlain, Faiza Belala:
A bigraphical model for specifying cloud-based elastic systems and their behaviour. Int. J. Parallel Emergent Distributed Syst. 32(6): 593-616 (2017) - [c36]Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala:
A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops 2017: 5-17 - [c35]Souad Marir
BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops 2017: 111-123 - 2016
- [j13]Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui:
A bigraph-based framework for specification and analysis of context-aware systems. Int. J. Crit. Comput. Based Syst. 6(4): 322-342 (2016) - [j12]Hamza Sahli, Faïza Belala, Chafia Bouanaka
Formal verification of cloud systems elasticity. Int. J. Crit. Comput. Based Syst. 6(4): 364-384 (2016) - [c34]Nadira Benlahrache, Faiza Belala, Randa Ait Younes, Zoubida Belala:
Translating AADL systems to Java programs. ICAASE 2016: 1-8 - [c33]Zakaria Benzadri
A theoretical approach for modelling Cloud Services Composition. ICAASE 2016: 1-8 - [c32]Rachida Boucebsi, Faiza Belala:
Towards modeling and verifying Wireless Mesh Networks. ICAASE 2016: 1-7 - 2015
- [c31]Kamel Boukhelfa
Towards a Formalization of Real-Time Patterns-Based Designs. CIIA 2015: 624-635 - [c30]Hamza Sahli, Faiza Belala, Chafia Bouanaka
A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Cloud Forward 2015: 29-41 - [c29]Rachida Boucebsi, Faïza Belala:
Towards BRS based model for Wireless Mesh Networks. CFIP/NOTERE 2015: 1-6 - [c28]Sahar Smaali
K-based definition of Real Time Distributed Systems: from a meta-model to maude modules. CFIP/NOTERE 2015: 1-6 - 2014
- [j11]Taha Abdelmoutaleb Cherfia, Faïza Belala
Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems. Int. J. Adapt. Resilient Auton. Syst. 5(4): 1-19 (2014) - [j10]Meriem Belguidoum
A RT-Maude-based framework for component installation. Int. J. Crit. Comput. Based Syst. 5(1/2): 103-126 (2014) - [j9]Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb:
Transactional Petri nets: a semantic framework for UML2 activities. Int. J. Crit. Comput. Based Syst. 5(3/4): 241-267 (2014) - [j8]Fateh Latreche
RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis. Int. J. Embed. Real Time Commun. Syst. 5(3): 42-67 (2014) - [c27]Halima Douibi, Sahar Smaali
A K-based language for Design Patterns. AICCSA 2014: 614-620 - [c26]Sahar Smaali
Towards a meta-model for dynamic applications. CBSE 2014: 23-28 - [c25]Zakaria Benzadri
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. ESaaSA@CLOSER 2014: 3-12 - [c24]Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala:
A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. EUC 2014: 310-314 - [c23]Fateh Latreche, Faiza Belala:
Mop-ECATNets for Formal Modeling Dynamic Web Services. ICAASE 2014: 27-34 - [c22]Sahar Smaali, Aïcha Choutri, Faïza Belala:
K-Maude Definition of Dynamic Software Architecture. ICAASE 2014: 92-99 - [c21]Rachida Boucebsi, Faiza Belala, Lakhdar Derdouri:
Modeling Channel Allocation via BRS: Case of WMNs. ICAASE 2014: 133-139 - [c20]Zakaria Benzadri, Chafia Bouanaka, Faiza Belala:
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE 2014: 165-170 - [c19]Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui:
Towards Formal Modeling and Verification of Context-Aware Systems. VECoS 2014: 18-24 - [c18]Hamza Sahli, Faiza Belala, Chafia Bouanaka:
Model-Checking Cloud Systems Using BigMC. VECoS 2014: 25-33 - 2013
- [j7]Nadira Benlahrache, Faiza Belala:
Towards formalising installation and reconfiguration tasks of AADL architecture. Int. J. Commun. Networks Distributed Syst. 11(4): 431-452 (2013) - [c17]Taha Abdelmoutaleb Cherfia, Faiza Belala:
Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. ECSA 2013: 340-343 - [c16]Zakaria Benzadri
Towards a Formal Model for Cloud Computing. ICSOC Workshops 2013: 381-393 - 2011
- [j6]Chafia Bouanaka
A tile logic-based semantics for mobile software architectures. Int. J. Crit. Comput. Based Syst. 2(3/4): 288-308 (2011) - [j5]Malika Benammar, Faiza Belala, Kamel Barkaoui:
Implémentation orientée objet d'ABAReL en Maude. Tech. Sci. Informatiques 30(6): 741-767 (2011) - [c15]Faiza Belala, Chafia Bouanaka
Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE 2011: 1-8 - [c14]Fateh Latreche
A Novel Semantic Framework for Analyzing Dynamic Web Services. WETICE 2011: 67-72 - 2010
- [j4]Sabine Boufenara, Faiza Belala, Kamel Barkaoui:
Mapping UML 2.0 Activities to Zero-Safe Nets. J. Softw. Eng. Appl. 3(5): 426-435 (2010) - [j3]Aicha Choutri, Faiza Belala, Kamel Barkaoui:
A Tile Logic Based Approach for Software Architecture Description Analysis. J. Softw. Eng. Appl. 3(11): 1067-1079 (2010) - [c13]Kamel Boukhelfa
For more understandable UML diagrams. AICCSA 2010: 1-7 - [c12]Nadira Benlahrache, Faiza Belala, Chafia Bouanaka, Malika Benammar:
Vers un Modèle de Déploiement à base de Bigraphes. CAL 2010: 131-143
2000 – 2009
- 2009
- [c11]Sabine Boufenara, Faiza Belala, Chafia Bouanaka
A synchronization schema in activity diagrams via zero-safe-nets. AICCSA 2009: 161-167 - [c10]Sabine Boufenara, Faiza Belala, Narayan C. Debnath:
On Formalizing UML 2.0 Activities: Stream and Exception Parameters. CAINE 2009: 219-224 - [c9]Malika Benammar, Faiza Belala, Kamel Barkaoui, Nadira Benlahrache:
Extension d'ABAReL par les Propriétés d'Exécution. CAL 2009: 47-60 - [c8]Sabine Boufenara, Faiza Belala, Chafia Bouanaka:
Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML. LMO 2009: 89-104 - 2008
- [c7]Chafia Bouanaka
Towards a mobile architecture description language. AICCSA 2008: 743-748 - [c6]Faiza Belala, Fateh Latreche, Malika Benammar:
Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. CAL 2008: 91-105 - [c5]Chafia Bouanaka
Tile logic as an architectural model for mobility. ISCC 2008: 525-530 - [c4]Malika Benammar, Faiza Belala, Fateh Latreche
AADL behavioral annex based on generalized rewriting logic. RCIS 2008: 1-8 - [c3]Aicha Choutri, Faiza Belala, Kamel Barkaoui:
Towards a tile based LfP semantics. RCIS 2008: 9-16 - 2007
- [c2]Chafia Bouanaka, Aicha Choutri, Faiza Belala:
On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. ICSOFT (SE) 2007: 123-128 - 2006
- [c1]Faiza Belala, A. Boucherit:
A Contribution to the Formal Checking of Multi-Agents Systems. AICCSA 2006: 9-16 - 2002
- [j2]Faiza Belala, Mohamed Bettaz:
A Natural Semantic Framework for ECATNets. Appl. Categorical Struct. 10(5): 431-447 (2002) - 2000
- [j1]Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy:
Concurrent Systems Analysis Using ECATNets. Log. J. IGPL 8(2): 149-164 (2000)
Coauthor Index
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-04 21:43 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: