الرئيسية › دليل الباحثين › Kamel Barkaoui
Kamel Barkaoui
الانتماء : Conservatoire National des Arts et Métiers · Centre d'études et de recherche en informatique et communications
- 119منشورات (انتماء فرنسي)
- 368مجموع المنشورات
- 3716الاستشهادات
- 30مؤشر h
الملف البحثي
لدى Kamel Barkaoui 119 منشور(ات) مفهرسة (2009–2026). تُنشر أعماله أساسًا في «Lecture notes in computer science»، «Journal of Software Engineering and Applications» و«International Journal of Critical Computer-Based Systems». أكثر مقالاته استشهادًا هو «Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application» (2020)، وقد استُشهد به 213 مرة. 18 من هذه المنشورات تعود إلى آخر ثلاث سنوات من النشاط. شارك في تأليف أعماله 12 باحثًا على الأقل، منهم باحثون من مؤسسات في تونس، قطر، الإمارات، الصين.
هل هذا أنت؟ عرّف بأبحاثك
أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.
إنشاء ملفي المجاني إضافة منشوراتيمجالات البحث
- Petri Nets in System Modeling
- Business Process Modeling and Analysis
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
المنشورات (119)
- A Convolutional Neural Networks Stochastic Petri Nets Hybrid Modeling Approach for Reliable Classification and Monitoring of Hadoop Cluster Nodes
- Hybrid Stochastic Petri Nets for Cloud Co-Residency Detection and Mitigation
- K-nearest neighbors stochastic petri net for accurate remaining time prediction
- Modeling and Optimizing Serverless Cloud Performance with Non-Markovian Generalised Fuzzy-Bayesian Machine Learning Stochastic Petri Nets
- les codes de simulation
- Mission-Driven UAV Conceptual Design Using LLM and RAG with Preliminary CFD and Closed-Loop Feasibility Assessment
- MD-SPN_EMR-Blockchain-IPFS
- A Hybrid CNN–SPN Framework for Reliable Monitoring and Instability Detection in Hadoop Clusters
- SPN Learning and Fuzzy-Based Multimodal AI Framework for Ophthalmic Emergency Triage
- Cloud task scheduling evolution: From classical heuristics to AI-driven, sustainable, and distributed scheduling — A cross-generational critical survey (2026)
- Scalable Load Balancing scheme for wireless distributed controllers in SDDC
- DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability
- African Conference on Research in Computer Science and Applied Mathematics
- A BPMN-Based Approach for Modeling Complex Workflows in Big Bio Data Systems
- Multi-level Architecture for IoT-based Android Ransomware Detection and Family Attribution
- On Reconciliating Domain- and AI-Experts for Developing Reliable and Evolving AI-Powered Software Applications
- DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement
- Production chain modeling based on learning flow stochastic petri nets
- FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
- Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach
- A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks
- DRL based SFC Orchestration in SDN/NFV Environments subject to Transient Unavailability
- Privacy-preserving Collaborative Computation: Methods, Challenges and Directions
- Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review
- Blockchain for the Internet of Vehicles: How to Use Blockchain to Secure Vehicle-to-Everything (V2X) Communication and Payment?
- An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing
- A Real-Time Review of Social Health Protection and Health Informatics Support for COVID-19 Outbreak
- Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application
- Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
- Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum
- A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
- DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets
- Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System
- An unreliable single server retrial queue with collisions and transmission errors
- A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication
- A Model-Based Testing Framework for Validating an IoT Solution for Blockchain-Based Vehicles Communication
- A Model-Based Testing Framework for Validating an IoT Solution for Blockchain-Based Vehicles Communication
- Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety
- Improving genetic algorithm using arc consistency technic
- Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers
- On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems
- Performance evaluation of virtual switch with batch arrival using quasi-birth–death process
- A New Analytical Model for Calculating Elasticity in Cloud Computing
- A New Analytical Model for Calculating Elasticity in Cloud Computing
- Performability evaluation of server virtualized systems under bursty workload
- M/M/1 Retrial Queue with Collisions and Transmission Errors
- Maximizing profit in cloud computing using M/G/c/k queuing model
- Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres
- Architectural method to design and control dynamic composite web services
- Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres
- Formal verification of complex business processes based on high-level Petri nets
- Versatile workload-aware power management performability analysis of server virtualized systems
- Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation
- On the dependability evaluation of a virtual multiple input multiple output link
- Petri Nets for Mobile Agent: Theory and Application
- Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems
- A bigraph-based framework for specification and analysis of context-aware systems
- Specification and verification of reconfigurable multi-agent system architectures
- Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
- Modelling and analyzing home care plans using high-level Petri nets
- High Level Petri Net Modelling and Analysis of Flexible Web Services Composition
- Modeling, Implementation and Performance Analysis of Mobility Load Balancing for LTE Downlink Data Transmission
- Hybrid computing document similarity in large-scale environment
- Stochastic Model for Cloud Data Center with M/G/c/c+r queue
- Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach
- A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems
- Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT
- Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.
- Performance Analysis of a Novel Downlink Scheduling Algorithm for LTE Systems
- 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
- A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems
- A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems
- On Compatibility Analysis of Inter Organizational Business Processes
- Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities
- Text Retrieval Based on Dyadic Conceptual Projection
- A tripartite graph-based fuzzy co-similarities for document retrieval
- On CPN-based verification of hierarchical formalization of UML 2 Interaction Overview Diagrams
- A Parallel Comparator of Documents
- APN Model for Specification of the Communication Protocols in Multi-Agent System
- Modular structural analysis of Petri nets for distributed causal model-based diagnosis
- ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS
- Network availability modeling of VMIMO link in multi-hop wireless network
- Method for Verification of a Multi Agents System
- Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic petri nets
- On Formalizing UML2 Activities Using TPNets: Case Studies
- A tile logic-based semantics for mobile software architectures
- A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets
- Uniform verification of workflow soundness
- On the verification of business processes by model checking techniques
- Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol
- Mapping UML 2.0 Activities to Zero-Safe Nets
- A Neuro-Fuzzy Model for QoS Based Selection of Web Service
- Opportunistic MAC layer design with stochastic Petri Nets for multimediaad hocnetworks
- A Tile Logic Based Approach for Software Architecture Description Analysis
- Toward a New Model of the Petri Nets: Agent Petri Nets
- A Tile Logic Based Semantics for Mobile Software Architectures
- Model-based testing approach for mobile agents using the paradigm of reference net
- Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets
- Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets
مجلات النشر
- Lecture notes in computer science × 6
- Journal of Software Engineering and Applications × 6
- International Journal of Critical Computer-Based Systems × 6
- Research Square × 5
- HAL × 4
- Zenodo (CERN European Organization for Nuclear Research) × 3
المنشورات حسب السنة
- 202610
- 20256
- 20242
- 20235
- 20221
- 20213
- 202010
- 20197
- 20186
- 20175
التعاون العلمي
المؤسسات الشريكة : Tunis El Manar University · National Engineering School of Tunis · Qatar University · Engineering School of Information and Digital Technologies · Université Paris-Panthéon-Assas
بلدان المؤلفين المشاركين : تونس · قطر · الإمارات · الصين
المؤلفون المشاركون
- Rateb Jabbar
- Hana Jouini
- Aymen Louati
- Ines Gharbi
- Karim Djouani
- Zayneb Tayachi
- Ikhlas Mastour
- Benoît Charroux
- Assia Outamazirt
- Layth Sliman
- Hafedh Mahmoud Zayani
- Manel Amel Djenouhat
البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).
لماذا تختارون Dzcademia؟
ملفات أكاديمية ومقالات ومداخلات علمية: امنحوا أبحاثكم حضوراً عاماً منظماً. تساعد البيانات الوصفية المدمجة محركات البحث ومساعدات الذكاء الاصطناعي على التعرف على أعمالكم وفهم مراجعها.
علّق عبر Google
سجّل الدخول عبر Google للتعليق مباشرة على هذه الصفحة.