الرئيسية › دليل الباحثين › Nabil Belala

Nabil Belala

الانتماء : Université Constantine 2

• 23منشورات (انتماء جزائري)
• 34مجموع المنشورات
• 109الاستشهادات
• 7مؤشر h

ORCIDOpenAlex

مجالات البحث

• Formal Methods in Verification
• Petri Nets in System Modeling
• Business Process Modeling and Analysis
• Logic, programming, and type systems
• Service-Oriented Architecture and Web Services

المنشورات (23)

• XAI-Shield: An Explainable AI-Driven Self-healing Framework for Autonomous IoT-Edge-Cloud Ecosystems
  2026 · Lecture notes in networks and systems
• Post-Quantum Ready Hybrid Encryption for Cloud Data-at-Rest
  2026 · Lecture notes in networks and systems
• Sequential machine learning for intrusion detection in imbalanced cloud-oriented network traffic
  2026 · Applied Soft Computing
• DACS: a learning-assisted expert decision framework for adaptive cryptographic selection in cloud data-at-rest workflows
  2026 · International Journal of Computers and Applications
• A requirement-driven method for process mining based on model-driven engineering
  2025 · Computer Standards & Interfaces · استُشهد به 1 مرة
• Adaptive Simulation Framework for IoT Data Processing in Edge-Cloud Environments Using SimPy and Neural Networks
  2025 · Communications in computer and information science
• Optimization of urban mobility processes through the integration of process mining
  2025 · Simulation Modelling Practice and Theory
• Cloud Anomaly Detection Strategy with a Hybrid Approach: Evaluation and Future Improvements
  2024 · International Conference on Electrical, Computer, Telecommunication and Energy Technologies (ECTE-Tech)
• Unleashing the Power of Process Mining for Discovering and Analyzing Ad Hoc Networks
  2023 · International Conference on Networking and Advanced Systems (ICNAS)
• A Petri net extension for systems of concurrent communicating agents with durable actions
  2021 · Journal of Parallel and Distributed Computing · استُشهد به 3 مرة
• Towards a Formal Context-Aware Workflow Model for Ambient Environment
  2020 · Lecture notes in computer science · استُشهد به 2 مرة
• A timed semantics for web services composition
  2017 · International Journal of Business Process Integration and Management · استُشهد به 1 مرة
• Towards a Comprehensive Formal Model for Business Processes
  2016 · Communications in computer and information science · استُشهد به 2 مرة
• Relative time rates in dynamic timed automata
  2016 · International Journal of Communication Networks and Distributed Systems · استُشهد به 1 مرة
• Relative time rates in dynamic timed automata
  2016 · International Journal of Communication Networks and Distributed Systems
• Formal Modeling and Analysis of Business Process Timed Constraints
  2015 · Advances in intelligent systems and computing · استُشهد به 1 مرة
• Formalization and analysis of timed BPEL
  2014 · IEEE International Conference on Information Reuse and Integration (IRI) · استُشهد به 4 مرة
• FMEBP: A Formal Modeling Environment of Business Process
  2014 · Communications in computer and information science · استُشهد به 3 مرة
• Formalizing Timed BPEL by D-LOTOS
  2014 · International Journal of Embedded and Real-Time Communication Systems · استُشهد به 2 مرة
• Time Petri Nets with Action Duration
  2013 · International Journal of Embedded and Real-Time Communication Systems · استُشهد به 13 مرة
• Maximality-Based Structural Operational Semantics for Petri Nets
  2009 · AIP conference proceedings · استُشهد به 5 مرة
• Aggregation of Transitions in Marking Graph Generation Based on Maximality Semantics for Petri Nets
  2008 · Electronic workshops in computing · استُشهد به 15 مرة
• FOCOVE: Formal Concurrency Verification Environment for Complex Systems
  2008 · AIP conference proceedings · استُشهد به 8 مرة

مجلات النشر

• Communications in computer and information science × 3
• Lecture notes in networks and systems × 2
• International Journal of Communication Networks and Distributed Systems × 2
• International Journal of Embedded and Real-Time Communication Systems × 2
• AIP conference proceedings × 2
• Applied Soft Computing × 1

المنشورات حسب السنة

• 20264
• 20253
• 20241
• 20231
• 20211
• 20201
• 20171
• 20163
• 20151
• 20143

التعاون العلمي

المؤسسات الشريكة : University Frères Mentouri Constantine 1 · National Research University Higher School of Economics · University of Eloued

بلدان المؤلفين المشاركين : روسيا

المؤلفون المشاركون

• Djamel Eddine Saïdouni
• Radouane Nouara
• Imed Eddine Chama
• Akram Lichani
• Selsabil Ines Bouhidel
• Imane Khoums
• Saïd Layadi
• Messaouda Bouneb
• Khalil Mecheraoui
• Ilham Kitouni
• Mohammed Mounir Bouhamed
• Ahmed‐Chawki Chaouche

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).