Faiza Belala

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 47

Top Topics

Top Venues

Int. J. Crit. Comput. Based Syst.

J. King Saud Univ. Comput. Inf. Sci.

Publications

Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. ICSCA (2024)
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)
Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem
Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC (2023)
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) (2023)
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)
Souad Marir, Faiza Belala, Nabil Hameurlain
A Strategy-Based Formal Approach for Fog Systems Analysis. Future Internet 14 (2) (2022)
Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala, Aya Lehamdi, Radhia Aouissate
A Formal Integrated Approach for Cyber Physical Systems. PAIS (2022)
Akram Seghiri, Faiza Belala, Nabil Hameurlain
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. Int. J. Syst. Serv. Oriented Eng. 12 (1) (2022)
Akram Seghiri, Faiza Belala, Nabil Hameurlain
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. ENASE (2022)
Riad Helal, Akram Seghiri, Faiza Belala
An Integrated Approach to Formal Analyze Cyber Physical Systems. TACC (2022)
Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
Towards a Multi-Viewpoints Approach for the SoS Engineering. ICAASE (2022)
Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. MEDI Workshops (2022)
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) (2021)
Zakaria Benzadri, Takieddine Bouheroum, Youcef Ouassim Cheloufi, Faiza Belala, Mohamed Nadir Hassani
Towards a Service-Driven Model for Industry-4.0. ICSCA (2021)
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)
Faiza Belala, Ramdane Maamri
Formal modeling and analysis of complex software. J. King Saud Univ. Comput. Inf. Sci. 32 (4) (2020)
Rachida Boucebsi, Faiza Belala
A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks. J. King Saud Univ. Comput. Inf. Sci. 32 (9) (2020)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Clust. Comput. 23 (3) (2020)
Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
A formal quantitative analysis of elastic cloud systems based on PSMaude. J. King Saud Univ. Comput. Inf. Sci. 32 (4) (2020)
Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
System of Systems Engineering: Meta-Modelling Perspective. SoSE (2020)
Souad Marir, Faiza Belala, Hameurlain Nabil
Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. ICAASE (2020)
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 (2020)
Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. MEDI Workshops (2019)
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)
Fateh Latreche, Faiza Belala
Timed CTL checking of time critical cloud applications using timed bigraphs. Int. J. Crit. Comput. Based Syst. 9 (4) (2019)
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)
Halima Douibi, Faiza Belala
Design Patterns Formal Composition and Analysis. Int. J. Inf. Technol. Syst. Approach 12 (2) (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13 (1) (2019)
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 (2018)
Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
A Quality-driven Approach for Analyzing Elastic Cloud Computing. ICAASE (2018)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. MEDI (2018)
Manel Amel Djenouhat, Faiza Belala, Kamel Barkaoui
Architectural method to design and control dynamic composite web services. Int. J. Comput. Appl. Technol. 57 (1) (2018)
Souad Marir, Faiza Belala, Nabil Hameurlain
A Formal Model for Interaction Specification and Analysis in IoT Applications. MEDI (2018)
Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala
A Component-based Modeling of Edge Systems Computing. ICAASE (2018)
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) (2017)
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) (2017)
Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala
BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops (2017)
Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib
A Formal Framework for Scalable Component-Based Systems. Int. J. Inf. Syst. Model. Des. 8 (1) (2017)
Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. 8 (3) (2017)
Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops (2017)
Rachida Boucebsi, Faiza Belala
Towards modeling and verifying Wireless Mesh Networks. ICAASE (2016)
Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
A theoretical approach for modelling Cloud Services Composition. ICAASE (2016)
Nadira Benlahrache, Faiza Belala, Randa Ait Younes, Zoubida Belala
Translating AADL systems to Java programs. ICAASE (2016)
Hamza Sahli, Faiza Belala, Chafia Bouanaka
A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Cloud Forward (2015)
Sahar Smaali, Aicha Choutri, Faiza Belala
K-based definition of Real Time Distributed Systems: from a meta-model to maude modules. CFIP/NOTERE (2015)
Kamel Boukhelfa, Faiza Belala
Towards a Formalization of Real-Time Patterns-Based Designs. CIIA (2015)
Fateh Latreche, Faiza Belala
RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis. Int. J. Embed. Real Time Commun. Syst. 5 (3) (2014)
Rachida Boucebsi, Faiza Belala, Lakhdar Derdouri
Modeling Channel Allocation via BRS: Case of WMNs. ICAASE (2014)
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) (2014)
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)
Fateh Latreche, Faiza Belala
Mop-ECATNets for Formal Modeling Dynamic Web Services. ICAASE (2014)
Hamza Sahli, Faiza Belala, Chafia Bouanaka
Model-Checking Cloud Systems Using BigMC. VECoS (2014)
Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE (2014)
Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui
Towards Formal Modeling and Verification of Context-Aware Systems. VECoS (2014)
Meriem Belguidoum, Faiza Belala, Fateh Latreche
A RT-Maude-based framework for component installation. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Taha Abdelmoutaleb Cherfia, Faiza Belala
Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. ECSA (2013)
Nadira Benlahrache, Faiza Belala
Towards formalising installation and reconfiguration tasks of AADL architecture. Int. J. Commun. Networks Distributed Syst. 11 (4) (2013)
Zakaria Benzadri, Faiza Belala, Chafia Bouanaka
Towards a Formal Model for Cloud Computing. ICSOC Workshops (2013)
Fateh Latreche, Faiza Belala
A Novel Semantic Framework for Analyzing Dynamic Web Services. WETICE (2011)
Faiza Belala, Chafia Bouanaka, Kamel Barkaoui
Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE (2011)
Chafia Bouanaka, Faiza Belala, Kamel Barkaoui
A tile logic-based semantics for mobile software architectures. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Malika Benammar, Faiza Belala, Kamel Barkaoui
Implémentation orientée objet d'ABAReL en Maude. Tech. Sci. Informatiques 30 (6) (2011)
Aicha Choutri, Faiza Belala, Kamel Barkaoui
A Tile Logic Based Approach for Software Architecture Description Analysis. J. Softw. Eng. Appl. 3 (11) (2010)
Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi
For more understandable UML diagrams. AICCSA (2010)
Nadira Benlahrache, Faiza Belala, Chafia Bouanaka, Malika Benammar
Vers un Modèle de Déploiement à base de Bigraphes. CAL (2010)
Sabine Boufenara, Faiza Belala, Kamel Barkaoui
Mapping UML 2.0 Activities to Zero-Safe Nets. J. Softw. Eng. Appl. 3 (5) (2010)
Sabine Boufenara, Faiza Belala, Narayan C. Debnath
On Formalizing UML 2.0 Activities: Stream and Exception Parameters. CAINE (2009)
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)
Sabine Boufenara, Faiza Belala, Chafia Bouanaka
A synchronization schema in activity diagrams via zero-safe-nets. AICCSA (2009)
Malika Benammar, Faiza Belala, Kamel Barkaoui, Nadira Benlahrache
Extension d'ABAReL par les Propriétés d'Exécution. CAL (2009)
Malika Benammar, Faiza Belala, Fateh Latreche
AADL behavioral annex based on generalized rewriting logic. RCIS (2008)
Aicha Choutri, Faiza Belala, Kamel Barkaoui
Towards a tile based LfP semantics. RCIS (2008)
Chafia Bouanaka, Faiza Belala
Towards a mobile architecture description language. AICCSA (2008)
Faiza Belala, Fateh Latreche, Malika Benammar
Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. CAL (2008)
Chafia Bouanaka, Faiza Belala
Tile logic as an architectural model for mobility. ISCC (2008)
Chafia Bouanaka, Aicha Choutri, Faiza Belala
On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. ICSOFT (SE) (2007)
Faiza Belala, A. Boucherit
A Contribution to the Formal Checking of Multi-Agents Systems. AICCSA (2006)
Faiza Belala, Mohamed Bettaz
A Natural Semantic Framework for ECATNets. Appl. Categorical Struct. 10 (5) (2002)
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy
Concurrent Systems Analysis Using ECATNets. Log. J. IGPL 8 (2) (2000)