Barkaoui

Kamel Barkaoui

Professeur des Universités
Équipe : Systèmes sûrs
Bureau : 33-1-10A

Kamel Barkaoui is full professor (Exceptional Class) at the Department of Computer Science of Conservatoire National des Arts et Métiers (Cnam). He obtained his Ph. D in Computer Science (1988) and Habilitation à Diriger des Recherches (1998) from Université Paris 6. His research interests lie in the field of formal methods for specification, verification, control and performance evaluation of concurrent discrete event systems. He has published over 200 papers on these topics, as well as supervising 36 PhD theses. He received the 1995 IEEE Int. Conf. on System Man and Cybernetics Outstanding Paper Award. He served on PCs and as PC chair and OC chair of several international workshops and conferences in his areas of research and was PC co-chair of the 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006). He was the General co-chair of the 18th International Symposium on Formal Methods (FM 2012), the 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014) and of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). Kamel Barkaoui is founder and SC chair of the International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS). He was a Guest Editor of issues of Formal Aspects of Computing Journal (FACJ), Journal of Systems and Software (JSS), ACM Transactions on Embedded Computing Systems (TECS) and at NASA Journal Innovations in Systems and Software Engineering (ISSE). He is also referee for several international Automatic Control and Computer Sciences Journals. Kamel Barkaoui is currently Associate Editor for the International Journal of Critical Computer-Based Systems (IJCCBS) and for IEEE/CAA Journal of Automatica Sinica. He was elected in 2016 member of the Tunisian Academy of Sciences, Letters and Arts (Beit al-Hikma).

Publications

2020

Articles de revue

  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: 1-25, 2020. doi  www 

Non publié

  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.; 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.; 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.; 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. Escheikh, M.; Tayachi, Z. 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, 2019. doi  www 
  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. 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 
  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 

Articles de conférence

  1. Outamazirt, A.; Barkaoui, K. 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, Nov 2019, Angers, France, Angers, France, 2019. 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, Hammamet, Tunisia, 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. 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. 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. 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 

2018

Articles de revue

  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. 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. 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 
  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. 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. 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 

Articles de conférence

  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. 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. 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. 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. 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. 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. 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 
  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. 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. 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. 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 

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 

Articles de conférence

  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 
  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. www 
  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 

2015

Articles de revue

  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. 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 

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. 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. 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. 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.; 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. 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. 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. 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 
  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 

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. 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. 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. 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. 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. 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 
  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. 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. 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. 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. 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. 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. 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. 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. 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 

2013

Articles de revue

  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. 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. 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 
  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.; 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. 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 

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. 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. 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. 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. 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. 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. 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. 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. 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. A Parallel Comparator of Documents. In DEXA Workshops 2013, pages 48-52, 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. 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. 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 
  1. Barkaoui, K.; Monsuez, B. and Poitrenaud, D. Special Issue on Verification and Evaluation of Computer and Communication Systems - Part II, in International Journal on Critical Computer-Based Systems. Inderscience Enterprises Ltd, 2012. www 

Articles de conférence

  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. 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. 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. 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. 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. 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. 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. 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. 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 

2011

Articles de revue

  1. Benammar, M.; BELALA, F. and Barkaoui, K. Implémentation Orientée Objet d'ABAReL en Maude. In 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 
  1. Barkaoui, K.; Monsuez, B. and Poitrenaud, D. Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, in International Journal on Critical Computer-Based Systems. Inderscience Enterprises Ltd, 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, 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. 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. 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. 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. 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. 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 

2010

Articles de revue

  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 d’un Workflow net. In e-STA Sciences et Technologies de l'Automatique, 7: 37-41, 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. 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. 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. 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. 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 
  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. 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 

Divers

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

2009

Articles de conférence

  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. 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. 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. 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. 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. 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. 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 
  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. Hicheur, A. and Barkaoui, K. Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes. In INCOM’09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, pages 1949-1954, 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. 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. 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. 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. 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. 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, Paris, France, pages 19-26, X, France, 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 Int. Symp. on Rapid System Prototyping, Paris, France, pages 19-26, 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. 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. 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. 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 

2008

Articles de conférence

  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. 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. 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. 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. 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. 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. 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. 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 
  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. 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. 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. Missaoui, A. and Barkaoui, K. Web Service Composition Supporting Quality of Service. In JTEA 2008- Tunis, pages 15-24, X, France, 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. 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. 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 
  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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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 

2006

Articles de conférence

  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. 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 
  1. Zayani, H.; Ben Ayed, R.; Djouani, K. and Barkaoui, K. Etude de protocole MAC dans les réseaux de capteurs sans fil. In GEI’06, 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. 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. 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. 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 

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. 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. 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. 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. 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. 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 
  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. 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. 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. 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. 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 

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. Barkaoui, K. and Romhain, J. Parametrised Verification of Class of Resource Allocation systems. In Actes de la Conférence Internationale sur la Productique, CIP’03, 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 ISPS’03, 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. 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. 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. 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. 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. 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 
  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. 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 

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. 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 
  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 

1999

Articles de conférence

  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 
  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 

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. 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.; 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 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.; Kaiser, C. and Pradat-Peyre, J-F. c. Petri nets based proofs of Ada 95 solution for preference control. In APSEC '97 / ICSC '97, 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 DEXA’97, LNCS 1308, pages 324-336, 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 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 
  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, SMC’97, pages 3750-3755, X, France, 1997. www 
  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. 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. Escheikh, M. and Barkaoui, K. Waiting Time Analysis for a Versatile Markovian Arrival Process with Backpressure mechanism. In 5th Int’l. Conf. on Computer and Communication Systems, Telecommunication Systems. Nashville, USA, pages 330-358, 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 3rd Asia-Pacific Software Engineering Conference APSEC’97, pages 238-248, 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 

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. 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. 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 1–15-125, X, France, 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 
  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 

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 ETFA’95, 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 SMC’95, pages 4119-4124, X, France, 1995. www 

1994

Articles de conférence

  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 
  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 SMC’94, pages 525-530, 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. www 

1992

Articles de conférence

  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 
  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 DEXA’92, pages 221-225, X, France, 1992. www 
  1. Touzi, A. and Barkaoui, K. Un Formalisme de Modélisation et d’Optimisation 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 

1990

Articles de revue

  1. Barkaoui, K. and Minoux, M. Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems. In Discrete Applied Mathematics, 29: 195-210, 1990. 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 10th Int. Conf. on Application and Theory of Petri Nets ICATPN'89, pages 1-21, X, France, 1989. www 

1988

Articles de conférence

  1. Barkaoui, K. and Minoux, M. Polynomial Time Algorithms for Proving or Disproving Commoner’s Structural Property. In the 9th Int. Conf. on Application and Theory of Petri Nets ICATPN'88, X, France, 1988. www 
  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 FTCS’88, pages 90-95, X, France, 1988. www 

1987

Articles de revue

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