الرئيسية › دليل الباحثين › Faïza Belala
Faïza Belala
الانتماء : Université Constantine 2
- 95منشورات (انتماء جزائري)
- 133مجموع المنشورات
- 379الاستشهادات
- 9مؤشر h
الملف البحثي
لدى Faïza Belala 95 منشور(ات) مفهرسة (2002–2026). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)» و«International Journal of Critical Computer-Based Systems». أكثر مقالاته استشهادًا هو «Towards a Formal Model for Cloud Computing» (2014)، وقد استُشهد به 23 مرة. 14 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 12 باحثًا على الأقل، منهم باحثون من مؤسسات في فرنسا.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Logic, programming, and type systems
- Cloud Computing and Resource Management
المنشورات (95)
- A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems
- Towards a Formal Modeling of Deep Neural Networks
- Towards a Modeling Approach for IoT-Based Digital Twin Systems
- Towards a Driven Specific Modeling Language for Deep Neural Networks
- A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems
- Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks
- Towards Specification and Analysis of Dependable Cyber-Physical Systems
- Maude Strategies-Based SoSs Workflow Modeling
- Recent Literature Review on Modeling Explainable Medical Cyber-Physical Systems: A Bibliometric Analysis
- Towards A Model-Driven Framework Integrating XAI and Formal Methods for Medical Cyber-Physical System Design
- A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems
- Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements
- FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems
- MoSAL: a Tile Logic Based Architecture Description Language for Mobile Software Applications
- A Unified Architecture Framework Supporting SoS's Development
- A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems
- A Unified Architecture Framework supporting SoSs Development: Case of the Aircraft Emergency Response System-of-Systems
- A Strategy-Based Formal Approach for Fog Systems Analysis
- A Formal Integrated Approach for Cyber Physical Systems
- A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures
- Towards a Multi-Viewpoints Approach for the SoS Engineering
- A Maude-Based Rewriting Approach to Model and Control System-of-Systems’ Resources Allocation
- Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems
- A Combined Approach for RT-Systems Development and Analysis
- A Formal Framework for Secure Fog Architectures
- Towards a Service-Driven Model for Industry-4.0
- A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration
- System of Systems Engineering: Meta-Modelling Perspective
- Formalizing and simulating cross-layer elasticity strategies in Cloud systems
- Formal Modeling IoT Systems on the Basis of BiAgents* and Maude
- Formal modeling and analysis of complex software
- Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant
- Timed CTL checking of time critical cloud applications using timed bigraphs
- Formal Modeling and Verification of Cloud Elasticity with Maude and LTL
- A formal quantitative analysis of elastic cloud systems based on PSMaude
- A formal framework-based K-Maude for modelling scalable software architectures
- Formal modelling and verifying elasticity strategies in cloud systems
- A Formal Model for Interaction Specification and Analysis in IoT Applications
- Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds Elasticity Management
- Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
- BiAgent-Based Model for IoT Applications
- A BRS Based Approach for Modeling Elastic Cloud Systems
- A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks
- Towards Software Architectural Description for Systems of Systems
- Architectural method to design and control dynamic composite web services
- Big-CAF: a bigraphical-generic cloud architecture framework
- A layered Petri net model to formally analyse time critical web service composition
- A Formal Framework for Scalable Component-Based Systems
- A bigraphical model for specifying cloud-based elastic systems and their behaviour
- A bigraph-based framework for specification and analysis of context-aware systems
- A theoretical approach for modelling Cloud Services Composition
- Formal verification of cloud systems elasticity
- Translating AADL systems to Java programs
- Towards modeling and verifying Wireless Mesh Networks
- A BRS-Based Approach to Model and Verify Cloud Systems Elasticity
- A Formal Framework for Cloud Systems
- Towards BRS based model for Wireless Mesh Networks
- A Formal Framework for Cloud Systems
- Towards a Formalization of Real-Time Patterns-Based Designs
- K-based definition of Real Time Distributed Systems: from a meta-model to maude modules
- Towards a Formal Model for Cloud Computing
- Transactional Petri nets: a semantic framework for UML2 activities
- A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System
- Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems
- Towards a meta-model for dynamic applications
- A K-based language for Design Patterns
- RDTA
- A RT-Maude-based framework for component installation
- Toward a formal meta-transformation of a parametrized component model
- Towards a Bigraph-Based Model for Context-Aware Adaptive Systems
- Towards formalising installation and reconfiguration tasks of AADL architecture
- Automatic Web services composition using maude strategies
- Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine
- Model Checking BRS based AADL Specification
- Formal Modeling and Analysis of AADL Threads in Real Time Maude
- Rewriting Logic based Approach for the Formalization of Critical Systems based on Multi Agent System
- Toward a rewriting logic framework for safe and distributed component installation
- On Formalizing UML2 Activities Using TPNets: Case Studies
- A tile logic-based semantics for mobile software architectures
- A Novel Semantic Framework for Analyzing Dynamic Web Services
- Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems
- Mapping UML 2.0 Activities to Zero-Safe Nets
- A Tile Logic Based Approach for Software Architecture Description Analysis
- How to Make AADL Specification More Precise
- A Semantic Framework for Analyzing Web Services Composition
- For more understandable UML diagrams
- A Tile Logic Based Semantics for Mobile Software Architectures
- On Formalizing UML 2.0 Activities: Stream and Exception Parameters.
- A synchronization schema in activity diagrams via zero-safe-nets
- AADL behavioral annex based on generalized rewriting logic
- Towards a mobile architecture description language
- Towards a tile based LfP semantics
- Tile logic as an architectural model for mobility
- A Contribution to the Formal Checking of Multi-Agents Systems
- A Natural Semantic Framework for ECATNets
مجلات النشر
- Lecture notes in computer science × 8
- IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) × 7
- International Journal of Critical Computer-Based Systems × 7
- International Conference on Advanced Aspects of Software Engineering (ICAASE) × 6
- International Journal of Computer Applications × 4
- International Conference on Software and Computer Applications (ICSCA) × 3
المنشورات حسب السنة
- 20263
- 20257
- 20244
- 20233
- 20227
- 20212
- 20205
- 20195
- 20189
- 20173
التعاون العلمي
المؤسسات الشريكة : University Frères Mentouri Constantine 1 · Université de Pau et des Pays de l'Adour · Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour · Abbès Laghrour University of Khenchela · University of Batna 1
بلدان المؤلفين المشاركين : فرنسا
المؤلفون المشاركون
- Chafia Bouanaka
- Zakaria Benzadri
- Fateh Latreche
- Aïcha Choutri
- Akram Seghiri
- Taha Abdelmoutaleb Cherfia
- Kamel Boukhelfa
- Ayoub Bouheroum
- Charaf Eddine Dridi
- Hamza Sahli
- Riad Helal
- Sahar Smaali
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.