Faiza Belala

According to our database, Faiza Belala authored at least 52 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements.

Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain

Proceedings of the 13th International Conference on Software and Computer Applications, 2024

2023

A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Towards improving the characteristics of deep neural networks: a meta-modeling approach.

Aicha Choutri, Angham Boukhari, Faiza Belala, Ahmed Hadj Kacem

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

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

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023

2022

An Integrated Approach to Formal Analyze Cyber Physical Systems.

Riad Helal, Akram Seghiri, Faiza Belala

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, 2022

A Formal Integrated Approach for Cyber Physical Systems.

Ayoub Bouheroum, Djamel Benmerzoug, Sofiane Mounine Hemam, Faiza Belala, Aya Lehamdi, Radhia Aouissate

Proceedings of the 4th International Conference on Pattern Analysis and Intelligent Systems, 2022

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

Towards a Multi-Viewpoints Approach for the SoS Engineering.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems.

Akram Seghiri, Faiza Belala, Nabil Hameurlain

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

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

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

Towards a Service-Driven Model for Industry-4.0.

Zakaria Benzadri, Takieddine Bouheroum, Youcef Ouassim Cheloufi, Faiza Belala, Mohamed Nadir Hassani

Proceedings of the ICSCA 2021, 2021

2020

System of Systems Engineering: Meta-Modelling Perspective.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.

Souad Marir, Faiza Belala, Nabil Hameurlain

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Proceedings of the New Trends in Model and Data Engineering, 2019

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant.

Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala

Proceedings of the 7th International Conference on Future Internet of Things and Cloud, 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

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

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

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

2018

A Formal Model for Interaction Specification and Analysis in IoT Applications.

Souad Marir, Faiza Belala, Nabil Hameurlain

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

A Component-based Modeling of Edge Systems Computing.

Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

A Quality-driven Approach for Analyzing Elastic Cloud Computing.

Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2017

BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System.

Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

A BRS Based Approach for Modeling Elastic Cloud Systems.

Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

Towards modeling and verifying Wireless Mesh Networks.

Rachida Boucebsi, Faiza Belala

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

A theoretical approach for modelling Cloud Services Composition.

Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

Translating AADL systems to Java programs.

Nadira Benlahrache, Faiza Belala, Randa Ait Younes, Zoubida Belala

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2015

K-based definition of Real Time Distributed Systems: from a meta-model to maude modules.

Sahar Smaali, Aicha Choutri, Faiza Belala

Proceedings of the International Conference on Protocol Engineering, 2015

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Proceedings of the 1st International Conference on Cloud Forward: From Distributed to Complete Computing, 2015

Towards a Formalization of Real-Time Patterns-Based Designs.

Kamel Boukhelfa, Faiza Belala

Proceedings of the Computer Science and Its Applications, 2015

2014

Model-Checking Cloud Systems Using BigMC.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Towards Formal Modeling and Verification of Context-Aware Systems.

Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Mop-ECATNets for Formal Modeling Dynamic Web Services.

Fateh Latreche, Faiza Belala

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Modeling Channel Allocation via BRS: Case of WMNs.

Rachida Boucebsi, Faiza Belala, Lakhdar Derdouri

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.

Zakaria Benzadri, Chafia Bouanaka, Faiza Belala

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System.

Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

2013

Towards a Formal Model for Cloud Computing.

Zakaria Benzadri, Faiza Belala, Chafia Bouanaka

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Towards a Bigraph-Based Model for Context-Aware Adaptive Systems.

Taha Abdelmoutaleb Cherfia, Faiza Belala

Proceedings of the Software Architecture - 7th European Conference, 2013

2011

A Novel Semantic Framework for Analyzing Dynamic Web Services.

Fateh Latreche, Faiza Belala

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems.

Faiza Belala, Chafia Bouanaka, Kamel Barkaoui

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2010

Vers un Modèle de Déploiement à base de Bigraphes.

Nadira Benlahrache, Faiza Belala, Chafia Bouanaka, Malika Benammar

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

For more understandable UML diagrams.

Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

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

Proceedings of the Langages et Modèles à Objets, 2009

Extension d'ABAReL par les Propriétés d'Exécution.

Malika Benammar, Faiza Belala, Kamel Barkaoui, Nadira Benlahrache

Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

On Formalizing UML 2.0 Activities: Stream and Exception Parameters.

Sabine Boufenara, Faiza Belala, Narayan C. Debnath

Proceedings of the ISCA 22nd International Conference on Computer Applications in Industry and Engineering, 2009

A synchronization schema in activity diagrams via zero-safe-nets.

Sabine Boufenara, Faiza Belala, Chafia Bouanaka

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Towards a tile based LfP semantics.

Aicha Choutri, Faiza Belala, Kamel Barkaoui

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

AADL behavioral annex based on generalized rewriting logic.

Malika Benammar, Faiza Belala, Fateh Latreche

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

Tile logic as an architectural model for mobility.

Chafia Bouanaka, Faiza Belala

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.

Faiza Belala, Fateh Latreche, Malika Benammar

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

Towards a mobile architecture description language.

Chafia Bouanaka, Faiza Belala

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session.

Chafia Bouanaka, Aicha Choutri, Faiza Belala

Proceedings of the ICSOFT 2007, 2007

2006

A Contribution to the Formal Checking of Multi-Agents Systems.

Faiza Belala, A. Boucherit

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006