Barkaoui

Kamel Barkaoui

Professeur émérite
Team: Systèmes sûrs
Personal website: http://cedric.cnam.fr/lab/author/barkaoui/
Office: 31.1.7A

2024

Articles de revue

  1. Mesmia, W. B. and Barkaoui, K. Production Chain Modeling based on Learning Flow Stochastic Petri Nets. In Soft Computing, 2024. doi  www 
  1. Taktak, W.; Escheikh, M. and Barkaoui, K. DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement. In Computer Networks, 251: 110637, 2024. doi  www 

Articles de conférence

  1. Rabaaoui, S.; Aloui, K.; Naceur, M. S. and Barkaoui, K. Genetic Algorithm-Based Approach for Optimizing Query Performance in Big Data Environments. In 2024 IEEE International Conference on Advanced Systems and Emergent Technologies (IC_ASET), IEEE, Hammamet, Tunisia, 2024. doi  www 

2023

Articles de revue

  1. Mesmia, W. B.; Barkaoui, K. and Escheikh, M. FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net. In Journal of Software Engineering and Applications, 16 (09): 443-482, 2023. doi  www 
  1. Barkaoui, K. and Ben Hedia, B. Preface to the VECoS 2020 & 2021 special issue of ISSE. In Innovations in Systems and Software Engineering, 2023. doi  www 

Articles de conférence

  1. Mastour, I.; Sliman, L.; Charroux, B.; Djemaa, R. B. and Barkaoui, K. Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. In The International Conference on Computer and Applications, pages 1-6, Le Caire, Egypt, 2023. doi  www 
  1. Taktak, W.; Escheikh, M. and Barkaoui, K. A QoE Driven DRL Approach for~Network Slicing Based on~SFC Orchestration in~SDN/NFV Enabled Networks. In Verification and Evaluation of Computer and Communication Systems 16th International Conference. VECoS 2023, pages 30-44, Springer, Marrakech, Morocco, Lecture Notes in Computer Science vol. 14368, 2023. doi  www 

Actes de colloque

  1. Melatagia Yonta, P.; Barkaoui, K.; Ndoundam, R. and Yenke, O-B. Research in Computer Science. Springer Nature Switzerland, Communications in Computer and Information Science 2085, 2023. www 

2022

Articles de conférence

  1. Aoumeur, N. and Barkaoui, K. Pervasive Systems Development: A Stepwise Rule-centric Rigorous Service-Oriented Architectural Approach. In 8th International Conference on Information Technology Convergence and Services (ITCSS 2022), Zurich, Switzerland, 2022. www 

2021

Articles de revue

  1. Jabbar, R.; Fetais, N.; Kharbeche, M.; Krichen, M.; Barkaoui, K. and Shinoy, M. Blockchain for The Internet of Vehicles: How to use Blockchain to secure Vehicle-to-Everything (V2X) Communication and Payment ?. In IEEE Sensors Journal: 1-1, 2021. doi  www 
  1. Ben Mesmia, W.; Escheikh, M. and Barkaoui, K. DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. In Journal of Software: Evolution and Process, 2021. doi  www 
  1. Wang, S.; Duo, W.; Guo, X.; Jiang, X.; You, D.; Barkaoui, K. and Zhou, M. Computation of an emptiable minimal siphon in a subclass of petri nets using mixed-integer programming. In IEEE/CAA Journal of Automatica Sinica: 1-8, 2021. doi  www 
  1. Zhang, Z.; Liu, G.; Barkaoui, K. and Li, Z. Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. In IEEE Transactions on Systems, Man, and Cybernetics: Systems, 52 (5): 3113-3125, 2021. doi  www 

Articles de conférence

  1. Boucherit, A.; Barkaoui, K. and Hasan, O. An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets. In The International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, 2021. www 

2020

Articles de revue

  1. Jabbar, R.; Kharbeche, M.; Al-Khalifa, K.; Krichen, M. and Barkaoui, K. Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. In Sensors, 20 (14): 3928, 2020. doi  www 
  1. Lakaour, L.; Aissani, D.; Adel-Aissanou, K.; Barkaoui, K. and Ziani, S. An unreliable single server retrial queue with collisions and transmission errors. In Communications in Statistics - Theory and Methods, 2020. doi  www 
  1. Barkaoui, K.; Boucheneb, H. and Li, Z. Exploiting local persistency for reduced state-space generation. In Innovations in Systems and Software Engineering, 2020. doi  www 

Articles de conférence

  1. Jabbar, R.; Krichen, M.; Shinoy, M.; Kharbeche, M.; Fetais, N. and Barkaoui, K. A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. In 2020 International Wireless Communications and Mobile Computing (IWCMC), pages 1252-1259, IEEE, Limassol, France, 2020. doi  www 
  1. Kordestani, H.; Barkaoui, K. and Zahran, W. HapiFabric: A Teleconsultation Framework Based on Hyperledger Fabric. In European, Mediterranean, and Middle Eastern Conference on Information Systems, pages 399-414, Springer, Dubai, United Arab Emirates, LNBIP, vol. 402 , 2020. doi  www 
  1. Jabbar, R.; Krichen, M.; Kharbeche, M.; Fetais, N. and Barkaoui, K. A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. In 15th International Conference on Evaluation of Novel Approaches to Software Engineering, pages 595-602, SCITEPRESS - Science and Technology Publications, Prague, Czech Republic, 2020. doi  www 
  1. Jabbar, R.; Krichen, M.; Fetais, N. and Barkaoui, K. Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. In 22nd International Conference on Enterprise Information Systems, pages 261-268, SCITEPRESS - Science and Technology Publications, Prague, France, 2020. doi  www 
  1. Kordestani, H.; Barkaoui, K. and Zahran, W. HapiChain: A Blockchain-based Framework for Patient-Centric Telemedicine. In 2020 IEEE 8th International Conference on Serious Games and Applications for Health(SeGAH), pages 1-6, IEEE, Vancouver, Canada, 2020. doi  www 
  1. Gharbi, I.; Barkaoui, K. and Samir, B. A. An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing. In 6th International Conference on Mobile, Secure and Programmable Networking (MSPN), 2020, pages 195-208, Springer, Paris (virtual), France, Lecture Notes in Computer Science, vol 12605 , 2020. doi  www 
  1. Wang, K.; Boucheneb, H.; Barkaoui, K. and Li, Z. Towards Efficient Partial Order Techniques for Time Petri Nets. In 14th International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2020, pages 100-115, Springer, Xian ( virtual), France, Lecture Notes in Computer Science, vol 12519 , 2020. doi  www 
  1. Jabbar, R.; Shinoy, M.; Kharbeche, M.; Al-Khalifa, K.; Krichen, M. and Barkaoui, K. Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. In ICIoT 2020, pages 237-242, IEEE, Doha, Qatar, 2020. doi  www 
  1. Jabbar, R.; Fetais, N.; Krichen, M. and Barkaoui, K. Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), pages 310-317, IEEE, Doha, France, 2020. doi  www 

Non publié

  1. Jabbar, R.; Krichen, M.; Fetais, N. and Barkaoui, K. Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-Based Healthcare Records Sharing System. , working paper or preprint. www 
  1. Jabbar, R.; Krichen, M.; Kharbeche, M.; Fetais, N. and Barkaoui, K. A Model-Based Testing Framework for Validating an IoT Solution for Blockchain-Based Vehicles Communication. , working paper or preprint. www 
  1. Jabbar, R.; Krichen, M.; Kharbeche, M.; Fetais, N. and Barkaoui, K. Un Cadre de Test Formel pour la Validation d'un Système de Communication Inter-Véhiculaire Basé sur les IOTs et la Blockchain. , working paper or preprint. www 
  1. Jabbar, R.; Krichen, M.; Fetais, N. and Barkaoui, K. Adoption de Techniques de Vérification Formelle et de Test Basé sur des Modèles pour Valider un Système de Partage de Dossiers Médicaux Basé sur la Blockchain. , working paper or preprint. www 

2019

Articles de revue

  1. Lakaour, L.; Aissani, D.; Adel-Aissanou, K. and Barkaoui, K. M/M/1 Retrial Queue with Collisions and Transmission Errors. In Methodology and Computing in Applied Probability, 21 (4): 1395-1406, 2019. doi  www 
  1. Zouita, M.; Bouamama, S. and Barkaoui, K. Improving genetic algorithm using arc consistency technic. In Procedia Computer Science, 159: 1387-1396, 2019. doi  www 
  1. Li, X.; Liu, G.; Li, Z.; Wu, N. and Barkaoui, K. Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. In IEEE Access, 7: 21006-21019, 2019. doi  www 
  1. Tayachi, Z.; Escheikh, M. and Barkaoui, K. Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging. In International Journal of Critical Computer-Based Systems, 9 (3): 248-292, 2019. doi  www 
  1. Dou, H.; Barkaoui, K.; Boucheneb, H.; Jiang, X. and Wang, S. Maximal Good Step Graph Methods for Reducing the Generation of the State Space. In IEEE Access, 7: 155805-155817, 2019. doi  www 

Articles de conférence

  1. Tayachi, Z.; Escheikh, M. and Barkaoui, K. Performance evaluation of virtual switch with batch arrival using quasi-birth--death process. In 2019 International Conference on Industrial Engineering and Systems Management (IESM), pages 1-6, IEEE, Shanghai, France, 2019. doi  www 
  1. Meriah, R.; Barkaoui, K.; Liu, G. and Driss, O. B. On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. In 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), pages 1752-1757, IEEE, Paris, France, 2019. doi  www 
  1. Barkaoui, K.; Outamazirt, A. and Aissani, D. A New Analytical Model for Calculating Elasticity in Cloud Computing. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Angers, France, 2019. www 
  1. Escheikh, M. and Barkaoui, K. Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers. In 2019 Sixth International Conference on Software Defined Systems (SDS), pages 47-54, IEEE, Rome, Italy, 2019. doi  www 
  1. Jabbar, R.; Shinoy, M.; Kharbeche, M.; Al-Khalifa, K.; Krichen, M. and Barkaoui, K. Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. In IINTEC 2019, pages pp. 13-18, Hammamet, Tunisia, 2019. doi  www 
  1. Kordestani, H.; Mojarad, R.; Chibani, A.; Osmani, A.; Amirat, Y.; Barkaoui, K. and Zahran, W. Hapicare: A Healthcare Monitoring System with Self-adaptive Coaching Using Probabilistic Reasoning. In ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2019, pages 1-8, IEEE, Abu Dhabi, United Arab Emirates, 2019. doi  www 

2018

Articles de revue

  1. Wu, N.; Li, Z.; Barkaoui, K.; Li, X.; Murata, T. and Zhou, M. IoT-based smart and complex systems: a guest editorial report. In IEEE/CAA Journal of Automatica Sinica, 5 (1): 69-73, 2018. doi  www 
  1. Boucheneb, H. and Barkaoui, K. Delay-dependent partial order reduction technique for real time systems. In Real-Time Systems, 54 (2): 278-306, 2018. doi  www 
  1. Barkaoui, K. and Boucheneb, H. Introduction to special issue on verification and evaluation of computer systems. In Innovations in Systems and Software Engineering, 14 (2): 81-82, 2018. doi  www 
  1. Djenouhat, M. A.; Belala, F. and Barkaoui, K. Architectural method to design and control dynamic composite web services. In International Journal of Computer Applications in Technology, 57 (1): 59, 2018. doi  www 
  1. Outamazirt, A.; Escheikh, M.; Aissani, D.; Barkaoui, K. and Lekadir, O. Performance Analysis of the M/G/c/c+r Queuing System for Cloud Computing Data Centers. In International Journal of Critical Computer-Based Systems, 8 (3-4): 234, 2018. doi  www 
  1. Mutarraf, U.; Barkaoui, K.; Li, Z.; Wu, N. and Qu, T. Transformation of Business Process Model and Notation models onto Petri nets and their analysis. In Advances in Mechanical Engineering, 10 (12): 168781401880817, 2018. doi  www 

Articles de conférence

  1. Barkaoui, K.; Boucheneb, H. and Li, Z. Exploiting Local Persistency for Reduced State Space Generation. In 12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, pages 166-181, Springer, Porto, Portugal, Verification and Evaluation of Computer and Communication Systems. VECoS 2018. Lecture Notes in Computer Science, vol. 11181 , 2018. doi  www 
  1. Outamazirt, A.; Barkaoui, K. and Aissani, D. Maximizing Profit in Cloud Computing Using M/G/c/k Queuing Model. In 2018 International Symposium on Programming and Systems (ISPS), IEEE, Alger, Algeria, 2018. doi  www 
  1. Escheikh, M.; Tayachi, Z. and Barkaoui, K. Performability evaluation of server virtualized systems under bursty workload. In 14th IFAC Workshop on Discrete Event Systems WODES 2018, IFAC, pages 45-50, Elsevier, Sorrente, Italy, 2018. doi  www 
  1. Barkaoui, K. and Boucheneb, H. On Persistency in Time Petri Nets. In International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, pages 108-124, Springer Link, Beijing, China, 2018. doi  www 
  1. You, D.; Wang, S.; Dou, H.; Duo, W.; Barkaoui, K. and Seatzu, C. Liveness Enforcement for a Class of Petri Nets via Resource Allocation. In 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pages 4369-4374, IEEE, Miyazaki, France, 2018. doi  www 

2017

Articles de revue

  1. Chen, Y.; Li, Z.; Barkaoui, K.; Wu, N. and Zhou, M. Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. In IEEE Transactions on Systems, Man, and Cybernetics: Systems, 47 (2): 364-379, 2017. doi  www 
  1. Escheikh, M.; Barkaoui, K. and Jouini, H. Versatile workload-aware power management performability analysis of server virtualized systems. In Journal of Systems and Software, 125: 365-379, 2017. doi  www 
  1. Escheikh, M. and Barkaoui, K. On the dependability evaluation of a virtual multiple input multiple output link. In International Journal of Critical Computer-Based Systems, 7 (1): 43, 2017. doi  www 
  1. Li, C.; Chen, Y.; Li, Z. and Barkaoui, K. Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. In IEEE Access, 5: 16349-16358, 2017. doi  www 
  1. Kheldoun, A.; Barkaoui, K. and Ioualalen, M. Formal verification of complex business processes based on high-level Petri nets. In Information Sciences, 385-386: 39-54, 2017. doi  www 
  1. Hou, Y. and Barkaoui, K. Deadlock analysis and control based on Petri nets: A siphon approach review. In Advances in Mechanical Engineering, 9 (5): 168781401769354, 2017. doi  www 

Articles de conférence

  1. Jouini, H.; Escheikh, M.; Barkaoui, K. and Ezzedine, T. Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. In International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2017, pages 108-123, Montreal, Canada, 2017. doi  www 

2016

Articles de revue

  1. Escheikh, M.; Jouini, H. and Barkaoui, K. Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission. In International Journal of Computer Networks & Communications, 8 (5), 2016. doi  www 

Chapitres d'ouvrage

  1. Barkaoui, K.; Hicheur, A. and Ariouat, H. Chapitre 20 : A contribution to educational process mining. In Ingénierie et management des systèmes d'information ; mélanges en l'honneur de Jacky Akoka, Cépaduès, Toulouse, Partie 5. Processus métiers et processus logiciels , 2016. www 

Articles de conférence

  1. Escheikh, M.; Tayachi, Z. and Barkaoui, K. Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 111-118, IEEE, Ottawa, France, 2016. doi  www 
  1. Ben Mesmia, W.; Marzougui, B. and Barkaoui, K. Petri Nets for Mobile Agent: Theory and Application. In SAI Intelligent Systems Conference (IntelliSys) 2016. IntelliSys 2016., pages 216-227, Springer International Publishing, London, United Kingdom, Lecture Notes in Networks and Systems 16, 2016. doi  www 
  1. Ariouat, H.; Cairns, A. H.; Barkaoui, K.; Akoka, J. and Khelifa, N. A two-step clustering approach for improving educational process model discovery. In 25th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2016), pages pp. 38-43, Paris, France, 2016. doi  www 
  1. Outamazirt, A.; Escheikh, M.; Aissani, D.; Barkaoui, K. and Lekadir, O. Stochastic Model for Cloud Data Center with M/G/c/c+r queue. In VECoS'2016, Tunis, Tunisia, 2016. www 

2015

Articles de revue

  1. Liu, G. and Barkaoui, K. Necessary and sufficient liveness condition of GS 3 PR Petri nets. In International Journal of Systems Science, 46 (7): 1147-1160, 2015. doi  www 
  1. Chen, Y.; Li, Z.; Barkaoui, K. and Giua, A. On the enforcement of a class of nonlinear constraints on Petri nets. In Automatica, 55: 116-124, 2015. doi  www 
  1. Boucheneb, H. and Barkaoui, K. Stubborn Sets for Time Petri Nets. In ACM Transactions on Embedded Computing Systems (TECS), 14 (1): 1-25, 2015. doi  www 
  1. Barkaoui, K.; Bernardinello, L. and Mokhov, A. Guest Editorial for Special Issue Application of Concurrency to System Design. In ACM Transactions on Embedded Computing Systems (TECS), 14 (4): 1-2, 2015. doi  www 

Chapitres d'ouvrage

  1. Methni, A.; Lemerre, M.; Ben Hedia, B.; Haddad, S. and Barkaoui, K. Specifying and Verifying Concurrent C Programs with TLA+. In Formal Techniques for Safety-Critical Systems, pages 206-222, Springer, Communications in Computer and Information Science 476, 2015. www 

Articles de conférence

  1. Kheldoun, A.; Barkaoui, K.; Zhang, J. and Ioualalen, M. A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. In 5th International Conference on Computer Science and Its Applications (CIIA), pages 551-562, Springer International Publishing, Saida, Algeria, Computer Science and Its Applications AICT-456, 2015. doi  www 
  1. Ariouat, H.; Barkaoui, K. and Akoka, J. Improving process models discovery using AXOR clustering algorithm. In ICISA 2015 : 6th International Conference on Information Science and Applications, pages 623-629, Springer, Pattaya, Bangkok, Thailand, Lecture Notes in Electrical Engineering 339, 2015. doi  www 
  1. Escheikh, M.; Abbes, B. B.; Ameur, A.; Barkaoui, K. and Jouini, H. Modélisation et étude de performance de l'équilibrage de charge LTE par ajustement dynamique des paramètres du handover. In Modélisation des Systèmes Réactifs (MSR 2015), Nancy, France, 2015. www 
  1. Methni, A.; Lemerre, M.; Ben Hedia, B.; Haddad, S. and Barkaoui, K. State Space Reduction Strategie for Model Checking Concurrent C~Programs. In 9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), pages 65-76, Bucharest, Romania, 2015. www 
  1. Methni, A.; Lemerre, M.; Ben Hedia, B.; Haddad, S. and Barkaoui, K. Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs. In Tenth International Conference on Software Engineering Advances (ISCEA 2015), Barcelone, Spain, 2015. www 

2014

Articles de revue

  1. Chen, Y. and Barkaoui, K. Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and UnobservableTransitions. In Asian Journal of Control, 16: .1646-1658, 2014. www 
  1. Chen, Y.; Li, Z. and Barkaoui, K. Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems. In Information sciences, Information Sciences, 256: 74-90, 2014. www 
  1. Boucheneb, H. and Barkaoui, K. Partial order reduction for checking soundness of time workflow nets. In Information sciences, Information Sciences, 282: 261-276, 2014. www 
  1. Chen, Y.; Li, Z.; Barkaoui, K. and Uzam, M. New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. In IEEE transactions on systems, man, and cybernetics, 44: 1384-1400, 2014. www 
  1. S, B.; Barkaoui, K.; Belala, F. and Boucheneb, H. Transactional Petri nets: a semantic framework for UML2 activities. In International Journal of Critical Computer-Based Systems, 5: 241-267, 2014. www 

Chapitres d'ouvrage

  1. Barkaoui, K. and Eslamichalandar, M. Software Architecture: Service Adaptation Techniques in the Context of Web Services Composition. In Software Architecture 1 - Edited by Mourad Chabane Oussalah, pages 211-240, 2014. www 

Articles de conférence

  1. Djenouhat, M.; Belala, F. and Barkaoui, K. Une Approche Basée K pour la Description de Services Web. In ICAIIT2014 - Conf?rence internationale sur l'intelligence artificielle et les technologies de l?information, pages 12-20, X, France, 2014. www 
  1. Alouane-Ksouri, S.; Sassi Hidri, M. and Barkaoui, K. Text Retrieval Based on Dyadic Conceptual Projection. In 25th International Workshop on Database and Expert Systems Applications (DEXA), 2014, pages 198-202, X, France, IEEE , 2014. www 
  1. Sba"i, Z. and Barkaoui, K. On compatibility analysis of inter organizational business processes. In 10th International Workshop on Enterprise Organizational Modeling and Simulation (EOMAS 2014), pages 171-186, X, France, LNBIP 191, 2014. www 
  1. Methni, A.; Lemerre, M.; Ben Hedia, B.; Haddad, S. and Barkaoui, K. Specifying and Verifying Concurrent C Programs with TLA+. In The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., pages 12-25, X, France, 2014. www 
  1. Chen, Y.; Li, Z. and Barkaoui, K. Maximally Permissive Petri Net Supervisors with a Novel Structure. In WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, pages 1-8, X, France, 2014. www 
  1. Methni, A.; Lemerre, M.; Ben Hedia, B.; Barkaoui, K. and Haddad, S. An Approach for Verifying Concurrent C Programs. In 8th Junior Researcher Workshop on Real-Time Computing, pages 33-36, Versailles, France, 2014. www 
  1. Sba"i, Z.; Barkaoui, K. and Boucheneb, H. Compatibility Analysis of Time Open Workflow Nets. In International Workshop on Petri Nets and Software Engineering (PNSE 2014), pages 249-268, X, France, CEUR Workshop Proceedings 1160, 2014. www 
  1. Alouane-Ksouri, S.; Sassi Hidri, M. and Barkaoui, K. A tripartite graph-based fuzzy co-similarities for document retrieval. In 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2014, pages 575-580, X, France, IEEE , 2014. www 
  1. Ezzedinne, M.; Costantini, H. and Barkaoui, K. On the efficiency of scheduling algorithms in LTE networks. In 10 i?me ?dition du colloque francophone sur la Gestion de R?seaux Et de Services - GRES 2014, pages 25-29, X, France, 2014. www 
  1. Boucheneb, H. and Barkaoui, K. Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. In 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science, pages 53-68, X, France, Lecture Notes in Computer Science 8711, 2014. www 
  1. Kheldoun, A.; Zhang, J.; Barkaoui, K. and Ioulalen, M. A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. In 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, pages 36-51, X, France, CEUR Workshop Proceedings 1161, 2014. www 
  1. Escheikh, M.; Jouini, H. and Barkaoui, K. A versatile traffic and power aware performability analysis of server virtualized systems. In IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, pages 45-51, X, France, 2014. www 
  1. Djenouhat, M.; F, B. and Barkaoui, K. A K-Based Specification of Web Services. In CAL2014 - Conf?rence Francophone sur les Architecture Logicielles, pages 1-7, X, France, 2014. www 
  1. Escheikh, M. and Barkaoui, K. A versatile traffic and poweraware modeling approach based SRN for performability analysis of elastic virtualizedsystem architectures. In IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, pages 207-212, X, France, 2014. www 
  1. Liu, D.; Hou, Y.; Barkaoui, K. and Zhou, M. Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems. In 11th IEEE International Conference on Networking, Sensing and Control, pages 13-21, X, France, 2014. www 
  1. Escheikh, M.; Jouini, H. and Barkaoui, K. Performance analysis of a novel downlink scheduling algorithm for LTE systems. In International Conference on Advanced Networking Distributed Systems and Applications, INDS, pages 13-18, X, France, CPS , 2014. www 

2013

Articles de revue

  1. Liu, G.; Li, Z.; Barkaoui, K. and Al-Ahmari, A. M. Robustness of deadlock control for a class of Petri nets with unreliable resources. In Information sciences, Information Sciences, 235: 259-279, 2013. www 
  1. Marzougui, B.; Barkaoui, K. and Ben Haj Alouane, N. APN Model for Specification of the Communication Protocols in Multi-Agent System. In Journal of Software Engineering and Applications, 6: 14-22, 2013. www 
  1. Marzougui, B. and Barkaoui, K. Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model. In International journal of advanced computer science and applications (IJACSA), 4: 166-173, 2013. www 
  1. Marzougui, B.; Hassine, K. and Barkaoui, K. Modeling Migration of Mobile Agents. In Lecture Notes in Business Information Processing, 132: 530-540, 2013. www 
  1. Louati, A.; Jerad, C. and Barkaoui, K. Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. In International Journal of Soft Computing and Software Engineering, 3 (3): 205-211, 2013. doi  www 
  1. Boucheneb, H. and Barkaoui, K. Reducing interleaving semantics redundancy in reachability analysis of time Petri nets. In ACM Transactions on Embedded Computing Systems (TECS), 12: 1-24, 2013. www 
  1. Liu, G. and Barkaoui, K. Necessary and sufficient liveness condition of GS3PR Petri nets. In International Journal of Simulation : Systems, Science and Technology: 1-14, 2013. www 

Chapitres d'ouvrage

  1. Barkaoui, K. Liveness, Deadlock-Freeness, and Siphons. In Embedded Computing Systems: Applications, Optimization, and Advanced Design, pages 65-78, 2013. www 
  1. Barkaoui, K. and Eslamichalandar, M. Adaptation de Services dans le Contexte de Composition de Services Web Titre du livre ''Architectures logicielles : Principes, techniques et outils''. In Architectures logicielles : Principes, techniques et outils sous la direction de Mourad Oussalah, Editions Hermes Sciences-Lavoisier, pages 75-106, 2013. www 

Articles de conférence

  1. Rawand, G.; Sba"i, Z. and Barkaoui, K. Modeling and formal verification framework of Web services composition. In International Conference on Control, Engineering Information Technology (CEIT'13), Proceedings Engineering Technology, pages 140-145, X, France, 2013. www 
  1. Alouane-Ksouri, S.; Sassi Hidri, M. and Barkaoui, K. A Parallel Comparator of Documents. In DEXA Workshops 2013, pages 48-52, X, France, 2013. www 
  1. Liu, D.; Hou, Y.; Barkaoui, K. and Zhou, M. Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets. In 10th IEEE International Conference on Control and Automation, pages 1278-1283, Hangzhou, China, 2013. www 
  1. Alouane-Ksouri, S.; Sassi Hidri, M. and Barkaoui, K. Parallel architectures for fuzzy triadic similarity learning. In International Conference on Control, Engineering Information Technology (CEIT), pages 121-126, X, France, CoRR, 2013 1, 2013. www 
  1. Harrath, N.; Monsuez, B. and Barkaoui, K. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. In Integration of Reusable Systems, pages 77-104, San Francisco, United States, 2013. doi  www 
  1. Benosman, R.; Barkaoui, K. and Albrieux, Y. A New Dynamic IPC-Memory Allocator Based on a Paging Approach. In International Conference on High Performance Computing Simulation (HPCS 2013), pages 382-389, X, France, 2013. www 
  1. Methni, A.; Lemerre, M.; Ben Hedia, B.; Barkaoui, K. and Haddad, S. C2TLA+ : Traduction automatique du code C vers TLA+. In 'Ecole d''Eté Temps Réel 2013, Toulouse, France, 2013. www 
  1. Louati, A.; Jerad, C. and Barkaoui, K. On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams. In 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), pages 1-6, X, France, 2013. www 
  1. Chen, Y.; Liu, D.; Liu, G. and Barkaoui, K. Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams. In 5th International Conference On Modeling, Simulation and Applied Optimization, pages 1-6, Hammamet, Tunisia, 2013. www 
  1. Benosman, R.; Barkaoui, K. and Albrieux, Y. Exploiting concurrency for the ESB architecture. In International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pages 84-88, X, France, 2013. www 
  1. Benosman, R.; Barkaoui, K. and Albrieux, Y. Design and Implementation of a Massively Parallel ESB. In International Symposium on Programming and Systems (ISPS?2013), pages 89-95, X, France, 2013. www 
  1. Harrath, N.; Monsuez, B. and Barkaoui, K. Verifying SystemC with predicate abstraction: A component based approach. In 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), pages 536-545, IEEE, San Francisco, France, 2013. doi  www 

2012

Articles de revue

  1. Bennoui, H.; Chaoui, A. and Barkaoui, K. ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS. In International Journal of Foundations of Computer Science, 23: 1523-1541, 2012. www 

Livres

  1. Barkaoui, K.; Florian, D. and Dustdar, S. BPM 2011 International Workshops, Clermont-Ferrand,France, August 29, 2011, Revised Selected Papers, Part II. , 2012. www 

Articles de conférence

  1. Escheikh, M. and Barkaoui, K. Network Availability Modeling of VMIMO link in Multi-hop Wireless Network. In 4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12), pages 1-6, X, France, 2012. www 
  1. Eslamichalandar, M.; Barkaoui, K. and Motahari-Nezhad, H. R. Service Composition Adaptation: an Overview. In 2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12), pages 1-8, X, France, 2012. www 
  1. Boucheneb, H. and Barkaoui, K. Parametric Verification of Time Workflow Nets. In 24th International Conference on Software Engineering (SEKE), pages 375-380, X, France, 2012. www 
  1. Boucheneb, H. and Barkaoui, K. Reachability Analysis of P-time Petri Nets with Parametric Marking. In 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, pages 72-81, X, France, 2012. www 
  1. Ding, L.; Barkaoui, K. and Zhou, M. On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS. In 11th International Workshop on Discrete Event Systems - WODES 2012, pages 187-192, X, France, IFAC , 2012. www 
  1. Benosman, R.; Barkaoui, K. and Albrieux, Y. Performance Evaluation of a Massively Parallel ESB-Oriented Architecture. In International Conference on Service Oriented Computing Applications (SOCA 2012), pages 1-4, X, France, 2012. www 
  1. Barkaoui, K.; Hicheur, A. and Ben Dhieb, A. Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study. In Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, pages 1-16, X, France, 2012. www 
  1. Escheikh, M. and Barkaoui, K. Survivability Analysis of VMIMO link in Multi-hop Wireless Network. In The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012, pages 1-8, X, France, 2012. www 
  1. Sbai, Z. and Barkaoui, K. Vérification Formelle des Processus Workflow Collaboratifs. In Conférence francophone sur les Systèmes Collaboratifs (SysCo12), Paris, France, 2012. www 

Divers

  1. Barkaoui, K.; Monsuez, B. and Poitrenaud, D. Special Issue on Verification and Evaluation of Computer and Communication Systems - Part II. www 

2011

Articles de revue

  1. Benammar, M.; Belala, F. and Barkaoui, K. Implémentation Orientée Objet d'ABAReL en Maude. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 30: 741-767, 2011. www 

Livres

  1. Barkaoui, K.; Florian, D. and Dustdar, S. BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I. , 2011. www 

Articles de conférence

  1. Benlahrache, N.; Belala, F. and Barkaoui, K. Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques. In CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, pages 15-29, Lille, France, 2011. www 
  1. Barkaoui, K. and Dhiab, A. On the Modeling of HealthcareWorkflows Using Recursive ECATNets. In Business Process Management Workshops, pages 99-107, Clermont-Ferrand, France, Lecture Notes in Business Information Processing 100, 2011. www 
  1. Barkaoui, K.; Belala, F. and Bouanaka, C. Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. In NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, pages 1-8, Paris, France, 2011. www 
  1. Marzougui, B.; Hassine, K. and Barkaoui, K. Method for Verification of a Multi Agents System. In 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), pages 62-65, X, France, 2011. www 
  1. Abo, R. and Barkaoui, K. Vérification et 'Evaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier. In ARC 2011, 4e colloque ? Automatique et R?seaux de Communication (ARC) ?, pages 15-23, Paris, France, 2011. www 
  1. Chen, Y.; Li, Z. and Barkaoui, K. Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. In IEEE 16th International Conference on Emerging Technologies Factory Automation (ETFA), 2011, pages 1-6, X, France, IEEE/IET (IEL) , 2011. www 
  1. Barkaoui, K. and Escheikh, M. Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic Petri nets. In 7th ACM symposium on QoS and security for wireless and mobile networks, pages 9-16, X, France, 2011. www 
  1. Abo, R. and Barkaoui, K. A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking. In The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King?s College (Strand Campus), pages 25-34, London, United Kingdom, 2011. www 
  1. Abo, R. and Barkaoui, K. Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks. In WLN'11, 11th IEEE International Workshop on Wireless Local Networks, pages 22-30, Bonn, Germany, 2011. www 

Divers

  1. Barkaoui, K.; Monsuez, B. and Poitrenaud, D. Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I. www 

2010

Articles de revue

  1. Marzougui, B.; Hassine, K. and Barkaoui, K. A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. In Journal of Software Engineering and Applications, 03 (12): 1118-1124, 2010. doi  www 
  1. Missaoui, A. and Barkaoui, K. A Neuro-Fuzzy Model for QoS Based Selection of Web Service. In Journal of Software Engineering and Applications, 3: 588-592, 2010. www 
  1. Boufenara, S.; Belala, F. and Barkaoui, K. Mapping UML 2.0 Activities to Zero-Safe Nets. In Journal of Software Engineering and Applications, 3: 426-435, 2010. www 
  1. Choutri, A.; Belala, F. and Barkaoui, K. A Tile Logic Based Approach for Software Architecture Description Analysis. In Journal of Software Engineering and Applications, 3 (11): 1067-1079, 2010. doi  www 
  1. Zayani, H.; Barkaoui, K. and Ayed, R. B. Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol. In International Journal of Wireless and Mobile Networks, 2010. doi  www 
  1. Missaoui, A.; Sbai, Z. and Barkaoui, K. Vérification Formelle des Aspects de Cohérence dun Workflow net. In e-STA Sciences et Technologies de l'Automatique, 7: 37-41, 2010. www 
  1. Kissoum, Y.; Sahnoun, Z. and Barkaoui, K. Model-based testing approach for mobile agents using the paradigm of reference net. In Multiagent and Grid Systems - An International Journal of Cloud Computing, 6: 271-292, 2010. www 

Articles de conférence

  1. Bouanaka, C.; Belala, F. and Barkaoui, K. A Tile Logic Based Semantics for Mobile Software Architecture. In VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010, pages 35-47, X, France, The eWiC Series (ISSN 1477-9358) , 2010. www 
  1. Sbai, Z.; Missaoui, A.; Barkaoui, K. and Ben Ayed, R. On the Verification of Business Processes by Model Checking Techniques. In ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, pages 97-103, X, France, 2010. www 
  1. Abo, R.; Barkaoui, K. and Zayani, H. A Probabilistic Analysis of Energy Efficiency of Wireless Sensor Network Duty-Cycled MAC Protocols: Application to S-MAC and Eco-MAC. In Q2SWinet'10, 6th ACM/IEEE International Symposium on QoS and Security for Wireless and Mobile Networks (in conjunction with MsWim'10), pages 15-27, Bodrum, Turkey, 2010. www 
  1. Missaoui, A.; Sbai, Z. and Barkaoui, K. Model Checking Verification of Web Services Composition. In ACT4SOC'10, 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Athens, Greece, 23 July, pages 80-92, X, France, 2010. www 
  1. Abo, R.; Barkaoui, K. and Djouani, K. Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. In SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10), pages 65-74, Genoa, Italy, 2010. www 
  1. Boucheneb, H. and Barkaoui, K. On interleaving in P,A-Time Petri nets with strong semantics. In INFINITY'10, 12th International Workshop on Verification of Infinite-State Systems, Singapore, 21st of September 2010, pages 17-31, X, France, EPTCS 39, 2010. www 

Divers

  1. Barkaoui, K.; Eslamichalandar, M. and Kaabachi, M. A Structural Verification of Web Services Composition Compatibility. , CAiSE 2010 Workshop EOMAS'10, Hammamet, Tunisia. www 

2009

Articles de conférence

  1. Aoumeur, N.; Barkaoui, K.; Saake, G. and Rautenstrauch, C. On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET Environment. In WWS'09, 1er Workshop sur les Services Web dans les Systèmes d'Information, Algiers, Algeria, pages 1-11, X, France, 2009. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications. In ISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, pages 1-8, X, France, IEEE , 2009. www 
  1. Sbai, Z.; Barkaoui, K. and Ben Ayed, R. Workflow Modeling and Analysis using Petri Nets. In ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, pages 25-33, X, France, 2009. www 
  1. Hicheur, A. and Barkaoui, K. Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes. In INCOM09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, pages 1949-1954, X, France, 2009. www 
  1. Barkaoui, K.; Boucheneb, H. and Hicheur, A. Design and Verification of Time-Constrained Workflow with Multi-Level Security. In DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, pages 25-32, X, France, 2009. www 
  1. Boucheneb, H. and Barkaoui, K. Covering Steps Graphs of Time Petri Nets. In INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, pages 155-165, X, France, ENTCS , 2009. www 
  1. Kissoum, Y.; Sahnoun, Z. and Barkaoui, K. An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. In RCIS'09, 3rd IEEE International Conference on Research Challenges in Information Science, Fez, Morocco, April 22-24, pages 207-216, X, France, IEEE , 2009. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions. In RSP'09, 20th IEEE/IFIP International Symposium on Rapid System Prototyping, pages 19-26, IEEE, Paris, France, 2009. doi  www 
  1. Escheikh, M. and Barkaoui, K. Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks. In ISCC'09, 14th IEEE Symposium on Computers and Communications, Sousse, Tunisia, July 5-8, pages 23-29, X, France, 2009. www 
  1. Benammar, M.; Belala, F.; Barkaoui, K. and Benlahrache, N. Extension d'ABAReL par les Propriétés d'Exécution. In CAL'09, 3i?me Conf?rence sur les Architectures Logicielles, Nancy, France, pages 28-41, X, France, CAL 2009 , 2009. www 
  1. Barkaoui, K.; Boucheneb, H. and Hicheur, A. Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets. In WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, pages 19-36, X, France, LNCS 5387, 2009. www 
  1. Bedoui, A.; Barkaoui, K. and Djouani, K. Performance Evaluation of the IEEE 802.11 WLAN Supporting QoS. In FeT'09, 8th IFAC International Conference on Fieldbuses and neTworks in industrial and embedded systems, Ansan, Korea, pages 27-34, X, France, 2009. www 
  1. Boucheneb, H. and Barkaoui, K. On combining the ready sets with the covering steps methods. In VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, pages 74-84, X, France, eWiC Series , 2009. www 
  1. Chen, J.; Djouani, K. and Barkaoui, K. Orthogonal and Non-orthogonal Cooperative protocols in WLANs. In VECoS'09, 3rd IEEE International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, pages 40-53, X, France, eWiC Series , 2009. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Towards a Disciplined Engineering of Adaptive Service-oriented Business Processes. In ICIW'09, 4th IEEE International Conference on Internet and Web Applications and Services, pages 474-480, IEEE, Venise, Italy, IEEE , 2009. doi  www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. On modelling adaptive service-oriented business processes. In AICCSA 2009, 7th ACS/IEEE International Conference on Computer Systems and Applications, pages 47?52, Rabat, Morocco, 2009. www 
  1. Bennoui, H.; Chaoui, A. and Barkaoui, K. Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. In ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4, pages 99-106, X, France, 2009. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. In ECBS'09. 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pages 138-146, IEEE, San Francisco, United States, IEEE , 2009. doi  www 
  1. Barkaoui, K.; Bouanaka, C. and Molina Espinosa, J.M An Event Structure Based Coordination Model for Collaborative Sessions. In ICEIS'09, 11th International Conference on Enterprise Information Systems, Milan, Italy, pages 137-143, X, France, Information Systems Analysis and Specification , 2009. www 

2008

Articles de conférence

  1. Boucheneb, H. and Barkaoui, K. Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. In FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, pages 265-279, X, France, LNCS 5215, 2008. www 
  1. Sbai, Z.; Barkaoui, K. and Ben Ayed, R. Sur la vérification de la cohérence de processus workflow temporisés. In GEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, pages 57-68, X, France, 2008. www 
  1. Djouani, K.; Chen, J.; Akharraz, A. and Barkaoui, K. An Effective Link Adaptation Method in Cooperative Wireless Networks. In APSCC'08, IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12, pages 914-919, X, France, IEEE , 2008. www 
  1. Choutri, A.; Belala, F. and Barkaoui, K. Towards a Tile Based LfP Semantics. In RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, pages 9-16, X, France, IEEE , 2008. www 
  1. Missaoui, A. and Barkaoui, K. Web Service Composition Supporting Quality of Service. In JTEA 2008- Tunis, pages 15-24, X, France, 2008. www 
  1. Barkaoui, K.; Kra"iem, N. and Hamrouni, M. Vers une nouvelle approche de composition des Services Web dirigée par la QoS. In GEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Sousse, Tunisia, pages 15-23, X, France, 2008. www 
  1. Djouani, K.; Chen, J.; Akharraz, A. and Barkaoui, K. Link adaptation for cooperative Wireless LANs. In WiCOM'08, 4th IEEE Int. Conf. on Wireless Communications, Networking and Mobile Computing, Dalian, China, pages 1-4, X, France, IEEE , 2008. www 
  1. Barkaoui, K. and Hicheur, A. Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets. In ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, pages 95-99, X, France, IEEE , 2008. www 
  1. Barkaoui, K.; Ben Ayed, R.; Boucheneb, H. and Hicheur, A. Verification of Workflow processes under multilevel security considerations. In CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, pages 77-84, X, France, IEEE-4 , 2008. www 
  1. Hicheur, A. and Barkaoui, K. Modélisation des workflows collaboratifs `a l'aide des ECATNets récursifs. In NOTERE'2008, 8th Int. Conf. on New Technologies in Distributed Systems, Lyon, France, pages 269-279, X, France, IEEE/ACM , 2008. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. In ITNG'08, 5th International Conference on Information Technology: New Generations, Las Vegas, USA, pages 1305-1307, X, France, IEEE , 2008. www 
  1. Jerad, C.; Barkaoui, K. and Grissa-Touzi, A. On the use of real-time Maude for architecture description and verification : a case study. In 1st International Academic Conference on Visions of Computer Science, London, UK, pages 305-317, X, France, eWiC Series , 2008. www 

2007

Articles de revue

  1. Barkaoui, K.; Benayed, R. and Sbai, Z. Workflow Soundness Verification Based on Structure Theory of Petri Nets. In International Journal of Computing and Information Sciences (IJCIS), 5: 51-62, 2007. www 

Articles de conférence

  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. In ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, pages 152-158, X, France, 2007. www 
  1. Barkaoui, K.; Ben Ayed, R. and Sbai, Z. Vérification Paramétrée de la Cohérence des Processus Workflow. In MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, pages 255-268, X, France, 2007. www 
  1. Hicheur, A. and Barkaoui, K. Formal Modeling and Analysis of Flexible Automated Production Workflows. In CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria, pages 45-56, X, France, 2007. www 
  1. Missaoui, A. and Barkaoui, K. On The Integration of QOS Management in Web Service Architecture. In WEBIST'07, 3rd Int. Conf. on Web Information Systems and Technologies, Barcelona, Spain, pages 25-32, X, France, 2007. www 
  1. Hicheur, A.; Barkaoui, K. and Boudiaf, N. Workflow Specification and Analysis Using Recursive ECATNets. In GEA 07, 7emes Journees Scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Monastir, Tunisia, pages 15-24, X, France, 2007. www 
  1. Barkaoui, K. and Hicheur, A. Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. In CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, pages 206-217, X, France, LNCS , 2007. www 
  1. Zayani, H.; Ben Ayed, R.; Djouani, K. and Barkaoui, K. Vers une optimisation des performances des Réseaux de Capteurs Sans Fils par une approche multicouches. In GEI'07, 7èmes Journées Scientifiques des Jeunes Chercheurs en Génie 'Electrique et Informatique, Monastir, Tunisia, pages 71-80, X, France, 2007. www 
  1. Bedoui, A.; Barkaoui, K. and Djouani, K. Performance Study of IEEE 802.11 WLAN Integrating QoS requirements. In ICWMC'07, 3rd Int. Conf. on Wireless and Mobile Communications, Guadeloupe, French Caribbean, pages 69-73, X, France, IEEE , 2007. www 
  1. Zayani, H.; Ben Ayed, R.; Djouani, K. and Barkaoui, K. ECoMAC : Un protocole MAC économe en énergie pour les réseaux de capteurs sans fil. In GRES'07, 8ème Colloque Francophone sur la gestion de réseaux et de services, Hammamet, Tunisia, pages 185-192, X, France, 2007. www 
  1. Jerad, C.; Barkaoui, K. and Grissa-Touzi, A. Hierarchical Verification in Maude of LfP Software Architectures. In ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain, pages 156-170, X, France, LNCS , 2007. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems. In CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands, pages 123-137, X, France, IEEE , 2007. www 
  1. Zayani, H.; Ben Ayed, R.; Djouani, K. and Barkaoui, K. ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks. In PM$^2$HW$^2$N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece, pages 68-71, X, France, ACM , 2007. www 
  1. Jerad, C.; Barkaoui, K. and Grissa-Touzi, A. On the Design and Analysis of Real-time Systems. In CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA, pages 380-386, X, France, ISCA , 2007. www 
  1. Escheikh, M. and Barkaoui, K. Performance Analysis of High-Speed TCP Protocols BIC and CUBIC with AQM in Lossy Networks. In CSNA'07, Int. Conf. on Communications Systems, Networks, and Applications, Beijing, China, pages 55-62, X, France, 2007. www 

2006

Articles de conférence

  1. Zayani, H.; Ben Ayed, R.; Djouani, K. and Barkaoui, K. Etude de protocole MAC dans les réseaux de capteurs sans fil. In GEI06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie 'Electrique et Informatique, Hammamet, Tunisia, pages 63-71, X, France, CPU Ed. , 2006. www 
  1. Boudiaf, N.; Barkaoui, K. and Chaoui, A. Implémentation des Régles de Réduction des ECATNets dans MAUDE. In MOSIM'06, 6ème Conférence Francophone de MOdélisation et SIMulation, Rabat, Morocco, pages 505-514, X, France, 2006. www 
  1. Bedoui, A.; Barkaoui, K. and Djouani, K. On QoS Support Evaluation in IEEE 802.11 Wireless LAN's. In ICTTA'06, 2nd IEEE Int. Conf. on Information Communication Technologies: from Theory to Applications, Damascus, Syria, pages 3257-3261, X, France, 2006. www 
  1. Sbai, Z.; Ben Ayed, R. and Barkaoui, K. Vers l'analyse des processus déntreprise jPdl fondée sur les réseaux de Petri. In GEI'06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie 'Electrique et Informatique, Hammamet, Tunisia, pages 171-181, X, France, CPU Ed. , 2006. www 
  1. Boudiaf, N.; Barkaoui, K. and Chaoui, A. Applying Reduction Rules to ECATNets. In AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, pages 42-55, X, France, ENTCS , 2006. www 
  1. Hicheur, A.; Barkaoui, K. and Boudiaf, N. Modeling Workflows with Recursive ECATNets. In SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pages 389-398, X, France, IEEE , 2006. www 

2005

Articles de revue

  1. Grissa-Touzi, A.; Jerad, C. and Barkaoui, K. Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés. In Annales Maghrébines de l'Ingénieur, 2: 587-599, 2005. www 

Articles de conférence

  1. Jerad, C. and Barkaoui, K. On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP. In RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, pages 202-208, X, France, IEEE , 2005. www 
  1. Barkaoui, K.; Couvreur, J-M. and Klai, K. On the Equivalence between Deadlock Freeness and Liveness in Petri Nets. In ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, pages 90-107, X, France, LNCS , 2005. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Coordination and Co-Nets for specifying and reconfiguring Agile information systems. In PNCWB'05, 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Miami, Florida, USA, pages 1-16, X, France, 2005. www 
  1. Bedoui, A.; Barkaoui, K. and Djouani, K. Approche Globale pour la Qualité de Service dans les Réseaux Locaux sans Fils IEEE 802.11. In ISPSA?2005, 7th International Symposium on Programming and Systems, Algiers, Algeria, pages 131-140, X, France, 2005. www 
  1. Sebih, H. and Barkaoui, K. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. In PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, pages 1255-1263, X, France, 2005. www 
  1. Zeghib, N.; Bettaz, M. and Barkaoui, K. CIRTA: An ECATNets Based Model for Embedded Systems Specification. In ESA'05, Int. Conf. on Embedded Systems and Applications, Las Vegas, Nevada, USA, pages 261-267, X, France, 2005. www 
  1. Kahloul, L.; Barkaoui, K. and Sahnoun, Z. Using AUML to derive formal modelling agents interactions. In AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, pages 109-116, X, France, IEEE , 2005. www 
  1. Gamha, Y.; Barkaoui, K. and Ayeb, B. Un modèle de coordination des sessions coopératives basé sur les structures d'évènements. In GEI'05, 5i?mes Journ?es Scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Sousse, Tunisia, pages 18-25, X, France, 2005. www 
  1. Bedoui, A.; Barkaoui, K. and Djouani, K. Global Solution for the Support of QoS by IEEE 802.11 Wireless Local Area Networks. In PWC'05, 10th IFIP Int. Conf. on Personal Wireless Communications, Colmar, France, pages 252-260, X, France, IFIP , 2005. www 
  1. Hachicha, R. and Barkaoui, K. Conception orientée agent de systèmes workflows. In GEI'05, 5i?mes Journ?es scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Sousse, Tunisia, pages 26-32, X, France, 2005. www 

2004

Articles de conférence

  1. Bedoui, A.; Barkaoui, K. and Djouani, K. Sur l'optimisation des méthodes d'accès au canal dans les réseaux locaux sans fil IEEE 802.11. In Actes du 18ème congrès DNAC '' De Nouvelles Architectures pour les Communications'', Paris, X, France, 2004. www 

2003

Articles de revue

  1. Barkaoui, K. and Benamara, R. On concurrency Control in Mutlidatabase Systems with an Extented Transaction Model. In Journal of Supercomputing, 24: 193-202, 2003. www 

Articles de conférence

  1. Elloumi, R.; Barkaoui, K. and Escheikh, M. Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur web. In Actes de la Conférence SETIT, Tunisie, X, France, 2003. www 
  1. Chouaieb, I.; Ezzine, R. and Barkaoui, K. On performance analysis of Web oriented systems. In Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, pages 59-66, X, France, 2003. www 
  1. Sebih, H.; Barkaoui, K.; Bettaz, M.; Belala, F. and Sahnoun, Z. Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets. In 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, X, France, 2003. www 
  1. Barkaoui, K. and Robbana, R. On the authentication control of Needham-Schroeder protocol using Petri Nets. In International Arab Conference on Information Technology (ACIT'2003), Egypte., X, France, 2003. www 
  1. Bedoui, A. and Barkaoui, K. Un cadre pour une meilleure qualité de service du réseau TUNIPAC. In Actes de la Conférence SETIT, Tunis, X, France, 2003. www 
  1. Sebih, H. and Barkaoui, K. Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets. In Premier congrès francophone MAJECSTIC'03, Marseille, X, France, 2003. www 
  1. Barkaoui, K. and Romhain, J. Parametrised Verification of Class of Resource Allocation systems. In Actes de la Conférence Internationale sur la Productique, CIP03, CDTA - Alger, pages 52-59, X, France, 2003. www 
  1. Barkaoui, K. and Zouari, B. On the Equivalence between Liveness and deadlock Freeness in Petri Nets. In ISPS03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, pages 213-224, X, France, 2003. www 
  1. Barkaoui, K. and Sahnoun, Z. Distance Learning as Opportunity for Improving Quality Learning. In 4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc, X, France, 2003. www 
  1. Zouari, B. and Barkaoui, K. Parameterized supervisor synthesis for a modular class of discrete event systems. In IEEE Int. Conf. on Systems, Man and Cybernetics, vol.2, pages 1874-1879, X, France, 2003. www 

2002

Articles de conférence

  1. Barkaoui, K.; Dechambre, P. and Hachicha, R. Verification and optimisation of an operating room workflow. In 35th Hawaii Int. Conf. on System Sciences . HICSS'02- Vol 7, pages 210, X, France, 2002. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. Increasing Conceptual Modelling Reusability Using Componentization and Reflection. In 1st Workshop on Knowledge Foraging for Dynamic Networking of Communities and Economies, X, France, 2002. www 
  1. Barkaoui, K.; Seghiri, R. and Sahnoun, Z. Agent Based Software Process Modeling Using Object Oriented Petri Nets. In EurAsian Workshop on Agents for Information Management (EURASIA-ICT), Shiraz, Iran, X, France, 2002. www 

2001

Articles de conférence

  1. Barkaoui, K. and Ben Jeddou, R. Multi--log-logistic software reliability model. In Supplement of the Int. Conf. on Dependable systems and networks, DSN'01, X, France, 2001. www 

2000

Articles de conférence

  1. Barkaoui, K.; Escheikh, M. and Bouallegue, A. Performance analysis of an NxN ATM switch with Markov Modulated Poisson Process under Back-pressure mechanism. In 8th Int. Symposium On Modelling, Analysis and Simulation of Computer and telecommunication Systems, pages 416-423, X, France, 2000. www 
  1. Aoumeur, N.; Barkaoui, K. and Saake, G. On the Benefits of Rewrite Logic as Semantics for Algebraic Petri Nets in Computing Siphons and Traps. In 10th Int. Conf. on Computing and Information (ICCI '00), X, France, 2000. www 
  1. Barkaoui, K. and Benamara, R. A probabilistic analysis of transaction deadlock in multidatabase environnement. In Artificial and Computational Intelligence for Decision and Control ACIDCA'2000, pages 31-37, X, France, 2000. www 

1999

Articles de conférence

  1. Bettaz, M.; Maouche, M and Barkaoui, K. De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets. In MOSIM'99, SCS International, pages 125-130, X, France, 1999. www 
  1. Chaoui, A.; Bettaz, M.; Maouche, M and Barkaoui, K. Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE. In MOSIM'99, SCS International, pages 131-136, X, France, 1999. www 

1998

Livres

  1. Barkaoui, K. and Belghith, A. Actes de la 5ème ''Maghrebian Conference on Software Engineering and Artificial Intelligence''. , 1998. www 

Articles de conférence

  1. Barkaoui, K.; Chaoui, A. and Djemame, K. On the use of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems. In IEEE-CESA'98 (IMACS Multiconference), Nabeul, Tunisia, pages 465-469, X, France, 1998. www 
  1. Barkaoui, K. and Pradat-Peyre, J-F. c. Verification in Concurrent Programming with Petri nets Structural Techniques. In Third IEEE International High-Assurance Systems Engineering Symposium, pages 124-133, X, France, 1998. www 
  1. Barkaoui, K. and Petrucci, L. Structural Analysis of Workflow Nets with Shared Ressources. In Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), pages 82-95, X, France, 1998. www 

1997

Articles de conférence

  1. Barkaoui, K. and Benamara, R. Towards an efficient probabilistic deadlock detection method for multidatabase systems. In 6th Workshop on Future Trends of Distributed Computing Syst. FTDCS'97, pages 84-91, X, France, 1997. www 
  1. Barkaoui, K. and Ma?zi, Y. Efficient Answer Extraction of Deductive Databases Modelled by HLPN. In Int. Conference on Database and Expert Systems Applications DEXA97, LNCS 1308, pages 324-336, X, France, 1997. www 
  1. Escheikh, M. and Barkaoui, K. Waiting Time Analysis for a Versatile Markovian Arrival Process with Backpressure mechanism. In 5th Intl. Conf. on Computer and Communication Systems, Telecommunication Systems. Nashville, USA, pages 330-358, X, France, 1997. www 
  1. Barkaoui, K.; Chaoui, A. and Benamara, R. The performance of alternative strategies for dealing with deadlocks in FMS. In 6th Int. Conf. on Emerging Technologies and Factory Automation Proceedings (ETFA'97), pages 281-286, X, France, 1997. www 
  1. Chaoui, A.; Barkaoui, K.; Robbana, R. and Zouari, B. Towards an efficient structural control policy for automated manufacturing systems. In EDA'97, Bangkok, Tailand, pages 751-752, X, France, 1997. www 
  1. Barkaoui, K.; Chaoui, A. and Zouari, B. Supervisory control of discrete event systems based on structure theory of Petri nets. In IEEE Int. Conf. on Systems, Man and Cybernetics, SMC97, pages 3750-3755, X, France, 1997. www 
  1. Barkaoui, K. and Ma?zi, Y. A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net). In IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US, pages 2386-2391, X, France, 1997. www 
  1. Barkaoui, K.; Kaiser, C. and Pradat-Peyre, J-F. c. Petri nets based proofs of Ada 95 solution for preference control. In 4th Asia-Pacific Software Engineering Conference APSEC'97, pages 238-248, IEEE, Hong Kong, China, 1997. www 
  1. Barkaoui, K.; Chaoui, A. and Benamara, R. Analyse comparative de stratégies de controle d'interblocage dans les systémes de production flexibles. In MOSIM'97, X, France, 1997. www 

1996

Articles de revue

  1. Barkaoui, K.; Bettaz, M. and Chaoui, A. On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency. In International Journal of Computing and Information Sciences, 2: 470-481, 1996. www 

Articles de conférence

  1. Barkaoui, K.; Benamara, R. and Rival, G. Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems. In Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, pages 322-327, X, France, 1996. www 
  1. Bettaz, M.; Maouche, M and Barkaoui, K. Formal Specification of Communication Protocols with Object-Based ECATNets. In 22nd EUROMICRO Conference, pages 492-499, X, France, 1996. www 
  1. Barkaoui, K. and Ben Abdallah, I. Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets. In 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, pages 115-125, X, France, 1996. www 
  1. Barkaoui, K. and Pradat-Peyre, J-F. c. On Liveness and Controlled Siphons in Petri Nets. In Application and Theory of Petri Nets, pages 57-72, X, France, LNCS 1091, 1996. www 
  1. Barkaoui, K. and Ben Abdallah, I. Structural liveness analysis of S[3]PR nets. In Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference, pages 438-443, X, France, 1996. www 
  1. Barkaoui, K. and Ma?zi, Y. Optimizing Query Evaluation in Deductive Databases Using Reductions. In 7th Int. Workshop on Database and Expert Syst. Applications, pages 30-39, X, France, 1996. www 

1995

Articles de conférence

  1. Barkaoui, K.; Couvreur, J-M. and Dutheillet, C. On Liveness in Extended non Self-Controlling Nets. In 16th Int. Conf. on Application and Theory of Petri Nets, ICATPN 95, pages 25-46, X, France, LNCS 935 , 1995. www 
  1. Barkaoui, K. and Ben Abdallah, I. Deadlock avoidance in FMS based on structural theory of Petri nets. In INRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFA95, pages 499-510, X, France, 1995. www 
  1. Barkaoui, K. and Ben Abdallah, I. A Deadlock Prevention Method for a Class of FMS. In IEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMC95, pages 4119-4124, X, France, 1995. www 

1994

Articles de conférence

  1. Barkaoui, K. and Ben Abdallah, I. An Efficient Deadlock Avoidance Control Policy in FMS using Structural Analysis of Petri Nets. In IEEE Int. Conf. on Systems, Man and Cybernetics SMC94, pages 525-530, X, France, 1994. www 
  1. Barkaoui, K. and Peyre, J-F. c. Combining Linear Programming and Graph Analysis for Petri Nets Validation. In 7th SIAM Conference on Discrete Mathematics, X, France, 1994. www 

1993

Articles de conférence

  1. Barkaoui, K.; Dutheillet, C. and Haddad, S. An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. In Application and Theory of Petri Nets, pages 69-88, X, France, LNCS 691 , 1993. doi  www 

1992

Articles de conférence

  1. Touzi, A. and Barkaoui, K. Un Formalisme de Modélisation et dOptimisation des Bases de Données Déductives Basé sur la Théorie des Réseaux de Petri de Haut Niveau. In 2nd Maghrebine Conference on Software Engeneering and Artificial Intelligence, Tunis, pages 99-115, X, France, 1992. www 
  1. Barkaoui, K.; Boudriga, N. and Touzi, A. A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. In the Int. Conf. on Database and Expert Systems Applications DEXA92, pages 221-225, X, France, 1992. www 
  1. Barkaoui, K. and Minoux, M. A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. In Application and Theory of Petri Nets, pages 62-75, X, France, LNCS 616 , 1992. www 

1990

Articles de revue

  1. Minoux, M. and Barkaoui, K. Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems. In Discrete Applied Mathematics, 29 (2-3): 195-210, 1990. doi  www 

1989

Articles de conférence

  1. Barkaoui, K. and Lemaire, B. An Effective Characterization of Minimal Deadlocks and Traps in Petri nets Based on Graph Theory. In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, pages 1-21, X, France, 1989. www 

1988

Articles de conférence

  1. Barkaoui, K.; Florin, G.; Fraize, C.; Lemaire, B. and Natkin, S. Reliability Analysis of Non Repairable Systems Using Stochastic Petri Nets. In 18th Conference on Fault Tolerant in Computer Science FTC'88, pages 90-95, IEEE, X, France, 1988. doi  www 
  1. Barkaoui, K. and Minoux, M. Polynomial Time Algorithms for Proving or Disproving Commoners Structural Property. In the 9th Int. Conf. on Application and Theory of Petri Nets ICATPN'88, X, France, 1988. www 

1987

Articles de revue

  1. Barkaoui, K. and Lemaire, B. Composantes Pré-conservatives Minimales dans les Réseaux de Petri : étude structurelle. In RAIRO - Operations Research, 21: 219-240, 1987. www 
Top