Kamel Barkaoui

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 62

Top Venues

VECoS

Int. J. Crit. Comput. Based Syst.

Inf. Sci.

IEEE Access

Publications

Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui
DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement. Comput. Networks 251 (2024)
Kamel Barkaoui, Belgacem Ben Hedia
Preface to the VECoS 2020 & 2021 special issue of ISSE. Innov. Syst. Softw. Eng. 20 (1) (2024)
Ikhlas Mastour, Layth Sliman, Benoit Charroux, Raoudha Ben Djemaa, Kamel Barkaoui
Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. ICCA (2023)
Chen Shen, Gaiyun Liu, Chunfu Zhong, Kamel Barkaoui
Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets. ICNSC (2023)
Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui
Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications. ACSW (2023)
Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. ICNSC (2023)
Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. VECoS (2023)
Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui
Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach. ICTSS (2023)
Umar Suleiman Abubakar, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li
Adaptive supervisory control for a class of Petri nets with bimodal transitions. Inf. Sci. 650 (2023)
Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li
Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 52 (5) (2022)
Rateb Jabbar, Eya Dhib, Ahmed Ben Said, Moez Krichen, Noora Fetais, Esmat Zaidan, Kamel Barkaoui
Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review. IEEE Access 10 (2022)
Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li
Time based deadlock prevention for Petri nets. Autom. 137 (2022)
Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Kamel Barkaoui, Yacine Amirat, Wagdy Zahran
Extended Hapicare: A telecare system with probabilistic diagnosis and self-adaptive treatment. Expert Syst. Appl. 186 (2021)
Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Walid Ben Mesmia, Mohamed Escheikh, Kamel Barkaoui
DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. J. Softw. Evol. Process. 33 (3) (2021)
Ammar Boucherit, Kamel Barkaoui, Osman Hasan
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets (2021)
Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li
Towards Efficient Partial Order Techniques for Time Petri Nets. VECoS (2020)
Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. CoRR (2020)
Hossain Kordestani, Kamel Barkaoui, Wagdy Zahran
HapiChain: A Blockchain-based Framework for Patient-Centric Telemedicine. SeGAH (2020)
Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. IWCMC (2020)
Rateb Jabbar, Noora Fetais, Moez Krichen, Kamel Barkaoui
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. ICIoT (2020)
Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li
Exploiting local persistency for reduced state-space generation. Innov. Syst. Softw. Eng. 16 (2) (2020)
Hossain Kordestani, Kamel Barkaoui, Wagdy Zahran
HapiFabric: A Teleconsultation Framework Based on Hyperledger Fabric. EMCIS (2020)
Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. CoRR (2020)
Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui
Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. ICEIS (1) (2020)
Rateb Jabbar, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. Sensors 20 (14) (2020)
Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui
A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. ENASE (2020)
Ines Gharbi, Kamel Barkaoui, Samir Ben Ahmed
An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing. MSPN (2020)
Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. ICIoT (2020)
Xiaoyan Li, GaiYun Liu, Zhiwu Li, Naiqi Wu, Kamel Barkaoui
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Access 7 (2019)
Mohamed Escheikh, Kamel Barkaoui
Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers. SDS (2019)
Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Aomar Osmani, Yacine Amirat, Kamel Barkaoui, Wagdy Zahran
Hapicare: A Healthcare Monitoring System with Self-Adaptive Coaching using Probabilistic Reasoning. AICCSA (2019)
Rym Meriah, Kamel Barkaoui, Gaiyun Liu, Olfa Belkahla Driss
On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. CoDIT (2019)
Meriem Zouita, Sadok Bouamama, Kamel Barkaoui
Improving genetic algorithm using arc consistency technic. KES (2019)
Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. IINTEC (2019)
Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui
Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging. Int. J. Crit. Comput. Based Syst. 9 (3) (2019)
Hao Dou, Kamel Barkaoui, Hanifa Boucheneb, Xiaoning Jiang, Shouguang Wang
Maximal Good Step Graph Methods for Reducing the Generation of the State Space. IEEE Access 7 (2019)
Kamel Barkaoui, Hanifa Boucheneb
Introduction to special issue on verification and evaluation of computer systems. Innov. Syst. Softw. Eng. 14 (2) (2018)
Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li
Exploiting Local Persistency for Reduced State Space Generation. VECoS (2018)
Manel Amel Djenouhat, Faiza Belala, Kamel Barkaoui
Architectural method to design and control dynamic composite web services. Int. J. Comput. Appl. Technol. 57 (1) (2018)
Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir
queuing system for cloud computing data centres. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Naiqi Wu, Zhiwu Li, Kamel Barkaoui, Xiaoou Li, Tadahiko Murata, MengChu Zhou
IoT-based smart and complex systems: a guest editorial report. IEEE CAA J. Autom. Sinica 5 (1) (2018)
Hanifa Boucheneb, Kamel Barkaoui
Delay-dependent partial order reduction technique for real time systems. Real Time Syst. 54 (2) (2018)
Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu
Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC (2018)
Kamel Barkaoui, Hanifa Boucheneb
On Persistency in Time Petri Nets. FORMATS (2018)
Mohamed Escheikh, Kamel Barkaoui
On the dependability evaluation of a virtual multiple input multiple output link. Int. J. Crit. Comput. Based Syst. 7 (1) (2017)
Chengzong Li, Yufeng Chen, Zhiwu Li, Kamel Barkaoui
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. IEEE Access 5 (2017)
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385 (2017)
Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine
Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. VECoS (2017)
Mohamed Escheikh, Kamel Barkaoui, Hana Jouini
Versatile workload-aware power management performability analysis of server virtualized systems. J. Syst. Softw. 125 (2017)
Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Naiqi Wu, MengChu Zhou
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. 47 (2) (2017)
Hanane Ariouat, Awatef Hicheur Cairns, Kamel Barkaoui, Jacky Akoka, Nasser Khelifa
A Two-Step Clustering Approach for Improving Educational Process Model Discovery. WETICE (2016)
Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaïdi Sahnoun
Specification and verification of reconfigurable multi-agent system architectures. Multiagent Grid Syst. 12 (2) (2016)
GaiYun Liu, Kamel Barkaoui
A survey of siphons in Petri nets. Inf. Sci. 363 (2016)
Mohamed Escheikh, Hana Jouini, Kamel Barkaoui
Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission. CoRR (2016)
Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui
A bigraph-based framework for specification and analysis of context-aware systems. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
Hybrid computing document similarity in large-scale environment. ICNC-FSKD (2016)
Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui
Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. ISSRE Workshops (2016)
Walid Ben Mesmia, Borhen Marzougui, Kamel Barkaoui
Petri Nets for Mobile Agent: Theory and Application. IntelliSys (2) (2016)
Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir
On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. VECoS (2016)
Aymen Louati, Kamel Barkaoui
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets. Int. J. Inf. Syst. Serv. Sect. 8 (2) (2016)
Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu
Modelling and analyzing home care plans using high-level Petri nets. WODES (2016)
Zohra Sbaï, Kamel Barkaoui
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. VECoS (2015)
Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua
On the enforcement of a class of nonlinear constraints on Petri nets. Autom. 55 (2015)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS (2015)
Hanifa Boucheneb, Kamel Barkaoui
Strongly Generalized Soundness of Time Workflow Nets. ACSD (2015)
Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA (2015)
Hanifa Boucheneb, Kamel Barkaoui
Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
GaiYun Liu, Kamel Barkaoui
PR Petri nets. Int. J. Syst. Sci. 46 (7) (2015)
Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM (2015)
Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov
Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Yufeng Chen, ZhiWu Li, Kamel Barkaoui
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. Inf. Sci. 256 (2014)
Yufeng Chen, Zhiwu Li, Kamel Barkaoui
Maximally Permissive Petri Net Supervisors with a Novel Structure. WODES (2014)
Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb
Transactional Petri nets: a semantic framework for UML2 activities. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Zohra Sbaï, Kamel Barkaoui
On Compatibility Analysis of Inter Organizational Business Processes. EOMAS@CAiSE (2014)
Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Murat Uzam
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. 44 (10) (2014)
Hanifa Boucheneb, Kamel Barkaoui
On combining the ready sets with the covering steps methods. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS (2014)
Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala
A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. EUC (2014)
Aymen Louati, Kamel Barkaoui, Chadlia Jerad
Time properties verification of UML/MARTE real-time systems. IRI (2014)
Aymen Louati, Chadlia Jerad, Kamel Barkaoui
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. CoRR (2014)
Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
Text Retrieval Based on Dyadic Conceptual Projection. DEXA Workshops (2014)
Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb
Compatibility Analysis of Time Open Workflow Nets. PNSE @ Petri Nets (2014)
Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets (2014)
Hanifa Boucheneb, Kamel Barkaoui
Partial order reduction for checking soundness of time workflow nets. Inf. Sci. 282 (2014)
Mohamed Escheikh, Hana Jouini, Kamel Barkaoui
A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems. MASCOTS (2014)
Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
A tripartite graph-based fuzzy co-similarities for document retrieval. FSKD (2014)
Ding Liu, Yifan Hou, Kamel Barkaoui, MengChu Zhou
Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems. ICNSC (2014)
Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. FORMATS (2014)
Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui
Towards Formal Modeling and Verification of Context-Aware Systems. VECoS (2014)
Minyar Sassi Hidri, Sonia Alouane-Ksouri, Kamel Barkaoui
Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities. Int. J. Serv. Sci. Manag. Eng. Technol. 5 (1) (2014)
Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. IRI (best papers) (2013)
Zohra Sbaï, Kamel Barkaoui
Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels. Ingénierie des Systèmes d Inf. 18 (5) (2013)
Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
Partitioned-based Fuzzy Clustering to Learn Documents' Triadic Similarity. Int. J. Recent Contributions Eng. Sci. IT 1 (1) (2013)
Maryam Eslamichalandar, Kamel Barkaoui, Hamid Reza Motahari-Nezhad
Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution. CSE (2013)
Ding Liu, Yifan Hou, Hesuan Hu, Kamel Barkaoui, MengChu Zhou
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets. ICCA (2013)
Ridha Benosman, Kamel Barkaoui, Yves Albrieux
A new dynamic IPC-memory allocator based on a paging approach. HPCS (2013)
Ridha Benosman, Kamel Barkaoui, Yves Albrieux
Exploiting Concurrency for the ESB Architecture. ICECCS (2013)
GaiYun Liu, ZhiWu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari
Robustness of deadlock control for a class of Petri nets with unreliable resources. Inf. Sci. 235 (2013)
Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
Parallel architectures for fuzzy triadic similarity learning. CoRR (2013)

Kamel Barkaoui.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kamel Barkaoui