Faiza Belala - RankMe

95 papers B 5C 14Journal 30Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Formal Modeling Framework for Time-Aware Cyber-Physical Systems of Systems. Syst. Riad Helal, Faiza Belala, Nabil Hameurlain, Akram Seghiri
2025	B	`conf`	Maude Strategies-Based SoSs Workflow Modeling. ENASE Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
2025	—	`ed.`	Proceedings of the 13th International Conference on Research in Computing at Feminine (RIF 2024) LIRE Laboratory, Constantine 2 University - Abdelhamid Mehri, Constantine, Algeria, May 20-21, 2024. RIF Fouzia Benchikha, Faiza Belala, Zizette Boufaïda, Wafa Ghemmaz, Naila Marir, Wissem Bouarroudj
2025	—	`conf`	Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis. ECSA (Tracks and Workshops) Feryel Benina, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2024	—	`conf`	FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems. ICAASE Riad Helal, Akram Seghiri, Kamel Boukhelfa, Faiza Belala, Nabil Hameurlain
2024	—	`ed.`	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. RIF Fouzia Benchikha, Faiza Belala, Zizette Boufaïda, Wafa Ghemmaz, Sahar Smaali
2024	—	`ed.`	Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, November 8-10, 2023. TACC Ismael Bouassida Rodriguez, Slim Kallel, Zakaria Benzadri, Faiza Belala, Ahmed Hadj Kacem
2024	C	`conf`	Towards Specification and Analysis of Dependable Cyber-Physical Systems. MEDI Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala
2024	—	`conf`	Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. ICSCA Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain
2024	—	`conf`	Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks. LPKM Angham Boukhari, Aïcha Choutri, Faiza Belala, Ahmed Hadj Kacem
2023	C	`conf`	A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. WETICE Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
2023	J	`jnl`	A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems. Int. J. Organ. Collect. Intell. Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
2023	—	`conf`	Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. TACC Feryel Benina, Nadira Benlahrache, Faiza Belala, Ahmed Hadj Kacem
2023	—	`ed.`	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. TACC Chafia Bouanaka, Mohammed Nassim Lacheheub, Meriem Belguidoum, Faiza Belala, Mohamed Jmaiel, Ahmed Hadj Kacem, Ismael Bouassida Rodriguez, Slim Kallel
2023	—	`conf`	Towards improving the characteristics of deep neural networks: a meta-modeling approach. TACC Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem
2022	J	`jnl`	A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System. Int. J. Organ. Collect. Intell. Kamel Boukhelfa, Faiza Belala
2022	—	`conf`	A Formal Integrated Approach for Cyber Physical Systems. PAIS Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala, Aya Lehamdi, Radhia Aouissate
2022	J	`jnl`	A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. Int. J. Syst. Serv. Oriented Eng. Akram Seghiri, Faiza Belala, Nabil Hameurlain
2022	—	`conf`	A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. MEDI Workshops Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
2022	J	`jnl`	A Strategy-Based Formal Approach for Fog Systems Analysis. Future Internet Souad Marir, Faiza Belala, Nabil Hameurlain
2022	—	`conf`	An Integrated Approach to Formal Analyze Cyber Physical Systems. TACC Riad Helal, Akram Seghiri, Faiza Belala
2022	B	`conf`	Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. ENASE Akram Seghiri, Faiza Belala, Nabil Hameurlain
2022	—	`ed.`	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. RIF Faiza Belala, Fouzia Benchikha, Zizette Boufaïda, Sahar Smaali
2022	—	`ed.`	Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021. TACC Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez
2022	—	`conf`	Towards a Multi-Viewpoints Approach for the SoS Engineering. ICAASE Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
2021	J	`jnl`	A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. Int. J. Organ. Collect. Intell. Zakaria Benzadri, Ayoub Bouheroum, Faiza Belala
2021	—	`conf`	From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems. TACC Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala
2021	—	`conf`	Towards a Service-Driven Model for Industry-4.0. ICSCA Zakaria Benzadri, Takieddine Bouheroum, Youcef Ouassim Cheloufi, Faiza Belala, Mohamed Nadir Hassani
2020	J	`jnl`	A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks. J. King Saud Univ. Comput. Inf. Sci. Rachida Boucebsi, Faiza Belala
2020	J	`jnl`	A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. J. Syst. Archit. Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
2020	J	`jnl`	A formal quantitative analysis of elastic cloud systems based on PSMaude. J. King Saud Univ. Comput. Inf. Sci. Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
2020	—	`conf`	Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. ICAASE Souad Marir, Faiza Belala, Nabil Hameurlain
2020	J	`jnl`	Formal modeling and analysis of complex software. J. King Saud Univ. Comput. Inf. Sci. Faiza Belala, Ramdane Maamri
2020	J	`jnl`	Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Clust. Comput. Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
2020	—	`conf`	System of Systems Engineering: Meta-Modelling Perspective. SoSE Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala
2019	—	`conf`	Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. CAL Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
2019	—	`conf`	Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport. CAL Zakaria Benzadri, Abdeldjalil Boultifat, Sami Resslene Zair, Faiza Belala
2019	J	`jnl`	Design Patterns Formal Composition and Analysis. Int. J. Inf. Technol. Syst. Approach Halima Douibi, Faiza Belala
2019	—	`conf`	Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. MEDI Workshops Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
2019	J	`jnl`	Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
2019	—	`ed.`	Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, ICAASE 2018, Constantine, Algeria, December 1-2, 2018. ICAASE Ramdane Maamri, Faiza Belala
2019	J	`jnl`	Timed CTL checking of time critical cloud applications using timed bigraphs. Int. J. Crit. Comput. Based Syst. Fateh Latreche, Faiza Belala
2019	—	`conf`	Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. FiCloud Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala
2018	—	`conf`	A Component-based Modeling of Edge Systems Computing. ICAASE Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala
2018	C	`conf`	A Formal Model for Interaction Specification and Analysis in IoT Applications. MEDI Souad Marir, Faiza Belala, Nabil Hameurlain
2018	—	`conf`	A Quality-driven Approach for Analyzing Elastic Cloud Computing. ICAASE Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
2018	J	`jnl`	Architectural method to design and control dynamic composite web services. Int. J. Comput. Appl. Technol. Manel Amel Djenouhat, Faiza Belala, Kamel Barkaoui
2018	C	`conf`	Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. MEDI Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
2018	—	`conf`	Towards Software Architectural Description for Systems of Systems: Case of a Maritime Transport SoS. ICIEB Akram Seghiri, Faiza Belala, A. Aymen Teniou
2018	J	`jnl`	Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds Elasticity Management. Int. J. Approx. Reason. Rayene Moudjari, Zaïdi Sahnoun, Faiza Belala
2017	—	`conf`	A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
2017	J	`jnl`	A Formal Framework for Scalable Component-Based Systems. Int. J. Inf. Syst. Model. Des. Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib
2017	J	`jnl`	A bigraphical model for specifying cloud-based elastic systems and their behaviour. Int. J. Parallel Emergent Distributed Syst. Hamza Sahli, Nabil Hameurlain, Faiza Belala
2017	J	`jnl`	A layered Petri net model to formally analyse time critical web service composition. Int. J. Crit. Comput. Based Syst. Fateh Latreche, Faiza Belala
2017	—	`conf`	BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. ICSOC Workshops Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala
2017	J	`jnl`	Big-CAF: a bigraphical-generic cloud architecture framework. Int. J. Grid Util. Comput. Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
2016	—	`conf`	A theoretical approach for modelling Cloud Services Composition. ICAASE Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
2016	—	`conf`	Towards modeling and verifying Wireless Mesh Networks. ICAASE Rachida Boucebsi, Faiza Belala
2016	—	`conf`	Translating AADL systems to Java programs. ICAASE Nadira Benlahrache, Faiza Belala, Randa Ait Younes, Zoubida Belala
2015	—	`conf`	A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Cloud Forward Hamza Sahli, Faiza Belala, Chafia Bouanaka
2015	—	`conf`	K-based definition of Real Time Distributed Systems: from a meta-model to maude modules. CFIP/NOTERE Sahar Smaali, Aicha Choutri, Faiza Belala
2015	—	`conf`	Towards a Formalization of Real-Time Patterns-Based Designs. CIIA Kamel Boukhelfa, Faiza Belala
2014	C	`conf`	A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. EUC Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala
2014	J	`jnl`	A RT-Maude-based framework for component installation. Int. J. Crit. Comput. Based Syst. Meriem Belguidoum, Faiza Belala, Fateh Latreche
2014	—	`conf`	BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. ICAASE Zakaria Benzadri, Chafia Bouanaka, Faiza Belala
2014	C	`conf`	Model-Checking Cloud Systems Using BigMC. VECoS Hamza Sahli, Faiza Belala, Chafia Bouanaka
2014	—	`conf`	Modeling Channel Allocation via BRS: Case of WMNs. ICAASE Rachida Boucebsi, Faiza Belala, Lakhdar Derdouri
2014	—	`conf`	Mop-ECATNets for Formal Modeling Dynamic Web Services. ICAASE Fateh Latreche, Faiza Belala
2014	J	`jnl`	RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis. Int. J. Embed. Real Time Commun. Syst. Fateh Latreche, Faiza Belala
2014	C	`conf`	Towards Formal Modeling and Verification of Context-Aware Systems. VECoS Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui
2014	J	`jnl`	Transactional Petri nets: a semantic framework for UML2 activities. Int. J. Crit. Comput. Based Syst. Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb
2013	B	`conf`	Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. ECSA Taha Abdelmoutaleb Cherfia, Faiza Belala
2013	—	`conf`	Towards a Formal Model for Cloud Computing. ICSOC Workshops Zakaria Benzadri, Faiza Belala, Chafia Bouanaka
2013	J	`jnl`	Towards formalising installation and reconfiguration tasks of AADL architecture. Int. J. Commun. Networks Distributed Syst. Nadira Benlahrache, Faiza Belala
2011	C	`conf`	A Novel Semantic Framework for Analyzing Dynamic Web Services. WETICE Fateh Latreche, Faiza Belala
2011	J	`jnl`	A tile logic-based semantics for mobile software architectures. Int. J. Crit. Comput. Based Syst. Chafia Bouanaka, Faiza Belala, Kamel Barkaoui
2011	J	`jnl`	Implémentation orientée objet d'ABAReL en Maude. Tech. Sci. Informatiques Malika Benammar, Faiza Belala, Kamel Barkaoui
2011	—	`conf`	Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE Faiza Belala, Chafia Bouanaka, Kamel Barkaoui
2010	J	`jnl`	A Tile Logic Based Approach for Software Architecture Description Analysis. J. Softw. Eng. Appl. Aicha Choutri, Faiza Belala, Kamel Barkaoui
2010	C	`conf`	For more understandable UML diagrams. AICCSA Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi
2010	J	`jnl`	Mapping UML 2.0 Activities to Zero-Safe Nets. J. Softw. Eng. Appl. Sabine Boufenara, Faiza Belala, Kamel Barkaoui
2010	—	`conf`	Vers un Modèle de Déploiement à base de Bigraphes. CAL Nadira Benlahrache, Faiza Belala, Chafia Bouanaka, Malika Benammar
2009	C	`conf`	A synchronization schema in activity diagrams via zero-safe-nets. AICCSA Sabine Boufenara, Faiza Belala, Chafia Bouanaka
2009	—	`conf`	Extension d'ABAReL par les Propriétés d'Exécution. CAL Malika Benammar, Faiza Belala, Kamel Barkaoui, Nadira Benlahrache
2009	—	`conf`	Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML. LMO Sabine Boufenara, Faiza Belala, Chafia Bouanaka
2009	C	`conf`	On Formalizing UML 2.0 Activities: Stream and Exception Parameters. CAINE Sabine Boufenara, Faiza Belala, Narayan C. Debnath
2008	B	`conf`	AADL behavioral annex based on generalized rewriting logic. RCIS Malika Benammar, Faiza Belala, Fateh Latreche
2008	C	`conf`	Tile logic as an architectural model for mobility. ISCC Chafia Bouanaka, Faiza Belala
2008	C	`conf`	Towards a mobile architecture description language. AICCSA Chafia Bouanaka, Faiza Belala
2008	B	`conf`	Towards a tile based LfP semantics. RCIS Aicha Choutri, Faiza Belala, Kamel Barkaoui
2008	—	`conf`	Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. CAL Faiza Belala, Fateh Latreche, Malika Benammar
2007	—	`conf`	On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. ICSOFT (SE) Chafia Bouanaka, Aicha Choutri, Faiza Belala
2006	C	`conf`	A Contribution to the Formal Checking of Multi-Agents Systems. AICCSA Faiza Belala, A. Boucherit
2002	J	`jnl`	A Natural Semantic Framework for ECATNets. Appl. Categorical Struct. Faiza Belala, Mohamed Bettaz
2000	J	`jnl`	Concurrent Systems Analysis Using ECATNets. Log. J. IGPL Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy