Concurrent Systems Analysis Using ECATNets. - Faiza Belala; Mohamed Bettaz; Laure Petrucci-Dauchy (Log. J. IGPL, 2000)

A Natural Semantic Framework for ECATNets. - Faiza Belala; Mohamed Bettaz (Appl. Categorical Struct., 2002)

A Contribution to the Formal Checking of Multi-Agents Systems. - Faiza Belala; A. Boucherit (AICCSA, 2006)

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. - Chafia Bouanaka; Aicha Choutri; Faiza Belala (ICSOFT (SE), 2007)

Towards a mobile architecture description language. - Chafia Bouanaka; Faiza Belala (AICCSA, 2008)

Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. - Faiza Belala; Fateh Latreche; Malika Benammar (CAL, 2008)

Tile logic as an architectural model for mobility. - Chafia Bouanaka; Faiza Belala (ISCC, 2008)

AADL behavioral annex based on generalized rewriting logic. - Malika Benammar; Faiza Belala; Fateh Latreche (RCIS, 2008)

Towards a tile based LfP semantics. - Aicha Choutri; Faiza Belala; Kamel Barkaoui (RCIS, 2008)

A synchronization schema in activity diagrams via zero-safe-nets. - Sabine Boufenara; Faiza Belala; Chafia Bouanaka (AICCSA, 2009)

On Formalizing UML 2.0 Activities: Stream and Exception Parameters. - Sabine Boufenara; Faiza Belala; Narayan C. Debnath (CAINE, 2009)

Extension d'ABAReL par les Propriétés d'Exécution. - Malika Benammar; Faiza Belala; Kamel Barkaoui; Nadira Benlahrache (CAL, 2009)

Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML. - Sabine Boufenara; Faiza Belala; Chafia Bouanaka (LMO, 2009)

For more understandable UML diagrams. - Kamel Boukhelfa; Faiza Belala; Aicha Choutri; Halima Douibi (AICCSA, 2010)

Vers un Modèle de Déploiement à base de Bigraphes. - Nadira Benlahrache; Faiza Belala; Chafia Bouanaka; Malika Benammar (CAL, 2010)

Mapping UML 2.0 Activities to Zero-Safe Nets. - Sabine Boufenara; Faiza Belala; Kamel Barkaoui (J. Softw. Eng. Appl., 2010)

A Tile Logic Based Approach for Software Architecture Description Analysis. - Aicha Choutri; Faiza Belala; Kamel Barkaoui (J. Softw. Eng. Appl., 2010)

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. - Faiza Belala; Chafia Bouanaka; Kamel Barkaoui (NOTERE, 2011)

A Novel Semantic Framework for Analyzing Dynamic Web Services. - Fateh Latreche; Faiza Belala (WETICE, 2011)

A tile logic-based semantics for mobile software architectures. - Chafia Bouanaka; Faiza Belala; Kamel Barkaoui (Int. J. Crit. Comput. Based Syst., 2011)

Implémentation orientée objet d'ABAReL en Maude. - Malika Benammar; Faiza Belala; Kamel Barkaoui (Tech. Sci. Informatiques, 2011)

Towards a Bigraph-Based Model for Context-Aware Adaptive Systems. - Taha Abdelmoutaleb Cherfia; Faiza Belala (ECSA, 2013)

Towards a Formal Model for Cloud Computing. - Zakaria Benzadri; Faiza Belala; Chafia Bouanaka (ICSOC Workshops, 2013)

Towards formalising installation and reconfiguration tasks of AADL architecture. - Nadira Benlahrache; Faiza Belala (Int. J. Commun. Networks Distributed Syst., 2013)

A K-based language for Design Patterns. - Halima Douibi; Sahar Smaali; Faïza Belala (AICCSA, 2014)

Towards a meta-model for dynamic applications. - Sahar Smaali; Aïcha Choutri; Faïza Belala (CBSE, 2014)

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker. - Zakaria Benzadri; Chafia Bouanaka; Faïza Belala (ESaaSA@CLOSER, 2014)

A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. - Taha Abdelmoutaleb Cherfia; Kamel Barkaoui; Faiza Belala (EUC, 2014)

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. - Zakaria Benzadri; Chafia Bouanaka; Faiza Belala (ICAASE, 2014)

Modeling Channel Allocation via BRS: Case of WMNs. - Rachida Boucebsi; Faiza Belala; Lakhdar Derdouri (ICAASE, 2014)

Mop-ECATNets for Formal Modeling Dynamic Web Services. - Fateh Latreche; Faiza Belala (ICAASE, 2014)

K-Maude Definition of Dynamic Software Architecture. - Sahar Smaali; Aïcha Choutri; Faïza Belala (ICAASE, 2014)

Towards Formal Modeling and Verification of Context-Aware Systems. - Taha Abdelmoutaleb Cherfia; Faiza Belala; Kamel Barkaoui (VECoS, 2014)

Model-Checking Cloud Systems Using BigMC. - Hamza Sahli; Faiza Belala; Chafia Bouanaka (VECoS, 2014)

Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems. - Taha Abdelmoutaleb Cherfia; Faïza Belala (Int. J. Adapt. Resilient Auton. Syst., 2014)

A RT-Maude-based framework for component installation. - Meriem Belguidoum; Faiza Belala; Fateh Latreche (Int. J. Crit. Comput. Based Syst., 2014)

Transactional Petri nets: a semantic framework for UML2 activities. - Sabine Boufenara; Kamel Barkaoui; Faiza Belala; Hanifa Boucheneb (Int. J. Crit. Comput. Based Syst., 2014)

RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis. - Fateh Latreche; Faiza Belala (Int. J. Embed. Real Time Commun. Syst., 2014)

Towards a Formalization of Real-Time Patterns-Based Designs. - Kamel Boukhelfa; Faiza Belala (CIIA, 2015)

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. - Hamza Sahli; Faiza Belala; Chafia Bouanaka (Cloud Forward, 2015)

Towards BRS based model for Wireless Mesh Networks. - Rachida Boucebsi; Faïza Belala (CFIP/NOTERE, 2015)

K-based definition of Real Time Distributed Systems: from a meta-model to maude modules. - Sahar Smaali; Aicha Choutri; Faiza Belala (CFIP/NOTERE, 2015)

Translating AADL systems to Java programs. - Nadira Benlahrache; Faiza Belala; Randa Ait Younes; Zoubida Belala (ICAASE, 2016)

A theoretical approach for modelling Cloud Services Composition. - Zakaria Benzadri; Nabil Hameurlain; Faiza Belala; Chafia Bouanaka (ICAASE, 2016)

Towards modeling and verifying Wireless Mesh Networks. - Rachida Boucebsi; Faiza Belala (ICAASE, 2016)

A bigraph-based framework for specification and analysis of context-aware systems. - Taha Abdelmoutaleb Cherfia; Faïza Belala; Kamel Barkaoui (Int. J. Crit. Comput. Based Syst., 2016)

Formal verification of cloud systems elasticity. - Hamza Sahli; Faïza Belala; Chafia Bouanaka (Int. J. Crit. Comput. Based Syst., 2016)

A BRS Based Approach for Modeling Elastic Cloud Systems. - Khaled Khebbeb; Hamza Sahli; Nabil Hameurlain; Faiza Belala (ICSOC Workshops, 2017)

BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System. - Souad Marir; Roumeissa Kitouni; Zakaria Benzadri; Faiza Belala (ICSOC Workshops, 2017)

A layered Petri net model to formally analyse time critical web service composition. - Fateh Latreche; Faiza Belala (Int. J. Crit. Comput. Based Syst., 2017)

Big-CAF: a bigraphical-generic cloud architecture framework. - Zakaria Benzadri; Chafia Bouanaka; Faiza Belala (Int. J. Grid Util. Comput., 2017)

A Formal Framework for Scalable Component-Based Systems. - Chafia Bouanaka; Ahmed Amar Debza; Faiza Belala; Nadia Zeghib (Int. J. Inf. Syst. Model. Des., 2017)

A bigraphical model for specifying cloud-based elastic systems and their behaviour. - Hamza Sahli; Nabil Hameurlain; Faiza Belala (Int. J. Parallel Emergent Distributed Syst., 2017)

A Quality-driven Approach for Analyzing Elastic Cloud Computing. - Chafia Bouanaka; Esma Maatougui; Faiza Belala; Nadia Zeghib (ICAASE, 2018)

A Component-based Modeling of Edge Systems Computing. - Oussama Nassim Sehout; Mouad Ghiat; Zakaria Benzadri; Faiza Belala (ICAASE, 2018)

Towards Software Architectural Description for Systems of Systems: Case of a Maritime Transport SoS. - Akram Seghiri; Faiza Belala; A. Aymen Teniou (ICIEB, 2018)

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (MEDI, 2018)

A Formal Model for Interaction Specification and Analysis in IoT Applications. - Souad Marir; Faiza Belala; Nabil Hameurlain (MEDI, 2018)

A Maude based Specification for SoS Architecture. - Akram Seghiri; Faïza Belala; Zakaria Benzadri; Nabil Hameurlain (SoSE, 2018)

Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds Elasticity Management. - Rayene Moudjari; Zaïdi Sahnoun; Faiza Belala (Int. J. Approx. Reason., 2018)

Architectural method to design and control dynamic composite web services. - Manel Amel Djenouhat; Faiza Belala; Kamel Barkaoui (Int. J. Comput. Appl. Technol., 2018)

Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport. - Zakaria Benzadri; Abdeldjalil Boultifat; Sami Resslene Zair; Faiza Belala (CAL, 2019)

Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing. - Ayoub Bouheroum; Zakaria Benzadri; Faiza Belala (CAL, 2019)

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant. - Ayoub Bouheroum; Zakaria Benzadri; Faiza Belala (FiCloud, 2019)

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (MEDI Workshops, 2019)

Formal modelling and verifying elasticity strategies in cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala; Hamza Sahli (IET Softw., 2019)

A formal framework-based K-Maude for modelling scalable software architectures. - Sahar Smaali; Aïcha Choutri; Faïza Belala (Int. J. Comput. Aided Eng. Technol., 2019)

Timed CTL checking of time critical cloud applications using timed bigraphs. - Fateh Latreche; Faiza Belala (Int. J. Crit. Comput. Based Syst., 2019)

Design Patterns Formal Composition and Analysis. - Halima Douibi; Faiza Belala (Int. J. Inf. Technol. Syst. Approach, 2019)

System of Systems Modelling: Recent work Review and a Path Forward. - Charaf Eddine Dridi; Zakaria Benzadri; Faïza Belala (ICAASE, 2020)

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. - Souad Marir; Faiza Belala; Nabil Hameurlain (ICAASE, 2020)

System of Systems Engineering: Meta-Modelling Perspective. - Charaf Eddine Dridi; Zakaria Benzadri; Faiza Belala (SoSE, 2020)

Formalizing and simulating cross-layer elasticity strategies in Cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (Clust. Comput., 2020)

Formal modeling and analysis of complex software. - Faiza Belala; Ramdane Maamri (J. King Saud Univ. Comput. Inf. Sci., 2020)

A formal quantitative analysis of elastic cloud systems based on PSMaude. - Chafia Bouanaka; Esma Maatougui; Faiza Belala; Nadia Zeghib (J. King Saud Univ. Comput. Inf. Sci., 2020)

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks. - Rachida Boucebsi; Faiza Belala (J. King Saud Univ. Comput. Inf. Sci., 2020)

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (J. Syst. Archit., 2020)

Towards a Service-Driven Model for Industry-4.0. - Zakaria Benzadri; Takieddine Bouheroum; Youcef Ouassim Cheloufi; Faiza Belala; Mohamed Nadir Hassani (ICSCA, 2021)

From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems. - Ayoub Bouheroum; Djamel Benmerzoug; Sofiane Mounine Hemam; Faiza Belala (TACC, 2021)

A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. - Zakaria Benzadri; Ayoub Bouheroum; Faiza Belala (Int. J. Organ. Collect. Intell., 2021)

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. - Akram Seghiri; Faiza Belala; Nabil Hameurlain (ENASE, 2022)

Towards a Multi-Viewpoints Approach for the SoS Engineering. - Charaf Eddine Dridi; Zakaria Benzadri; Faiza Belala (ICAASE, 2022)

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. - Charaf Eddine Dridi; Nabil Hameurlain; Faiza Belala (MEDI Workshops, 2022)

A Formal Integrated Approach for Cyber Physical Systems. - Ayoub Bouheroum; Djamel Benmerzoug; Sofiane Mounine Hemam; Faiza Belala; Aya Lehamdi; Radhia Aouissate (PAIS, 2022)

An Integrated Approach to Formal Analyze Cyber Physical Systems. - Riad Helal; Akram Seghiri; Faiza Belala (TACC, 2022)

A Strategy-Based Formal Approach for Fog Systems Analysis. - Souad Marir; Faiza Belala; Nabil Hameurlain (Future Internet, 2022)

A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System. - Kamel Boukhelfa; Faiza Belala (Int. J. Organ. Collect. Intell., 2022)

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. - Akram Seghiri; Faiza Belala; Nabil Hameurlain (Int. J. Syst. Serv. Oriented Eng., 2022)

Modélisation et analyse des systèmes cyber-physiques cas du système de surveillance continue du glucose. - Feryel Benina; Nadira Benlahrache; Faiza Belala; Ahmed Hadj Kacem (TACC, 2023)

Towards improving the characteristics of deep neural networks: a meta-modeling approach. - Aicha Choutri; Angham Boukhari; Faiza Belala; Ahmed Hadj Kacem (TACC, 2023)

A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. - Charaf Eddine Dridi; Nabil Hameurlain; Faiza Belala (WETICE, 2023)

A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems. - Charaf Eddine Dridi; Zakaria Benzadri; Faiza Belala (Int. J. Organ. Collect. Intell., 2023)

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems. - Riad Helal; Akram Seghiri; Kamel Boukhelfa; Faiza Belala; Nabil Hameurlain (ICAASE, 2024)

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. - Riad Helal; Akram Seghiri; Faiza Belala; Nabil Hameurlain (ICSCA, 2024)

Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks. - Angham Boukhari; Aïcha Choutri; Faiza Belala; Ahmed Hadj Kacem (LPKM, 2024)

Towards Specification and Analysis of Dependable Cyber-Physical Systems. - Riad Helal; Kamel Boukhelfa; Akram Seghiri; Nabil Hameurlain; Faiza Belala (MEDI, 2024)

Maude Strategies-Based SoSs Workflow Modeling. - Charaf Eddine Dridi; Nabil Hameurlain; Faiza Belala (ENASE, 2025)