Barkaoui

Kamel Barkaoui

Professeur des Universités
Office: 33-1-10A

Publications

2020

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 

2019

Articles de conférence

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

2018

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 

2017

Articles de revue

  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 

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 

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 

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. 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. 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. Ariouat, H.; Barkaoui, K. and Akoka, J. Improving process models discovery using AXOR Clustering Algorithm. In International Conference on Information Science and Applications, pages 1, X, France, 2015. www 

2014

Articles de revue

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

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. Methni, A.; Lemerre, M.; Ben Hedia, B.; Haddad, S. and Barkaoui, K. An Approach for Verifying Concurrent C Programs. In 8th Junior Researcher Workshop on Real-Time Computing, pages 33-36, 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. 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. 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. 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. 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. 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. 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. 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. 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.; 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. 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. 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. 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. 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 

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 

Chapitres d'ouvrage

  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 
  1. Barkaoui, K. Liveness, Deadlock-Freeness, and Siphons. In Embedded Computing Systems: Applications, Optimization, and Advanced Design, pages 65-78, 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 IEEE 14th International Conference on Information Reuse & Integration, IRI 2013 August 14-16, 2013, pages 77-104, San Francisco, United States, 2013. doi  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. 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 
  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. 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. 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. 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. Harrath, N.; Monsuez, B. and Barkaoui, K. Verifying SystemC with Predicate Abstraction: a Component Based Approach. In On the 14th International Conference on Information Reuse and Integration (IEEE IRI), San Francisco, United States, 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. 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. 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. 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 On the 14th International Conference on Information Reuse and Integration (IEEE IRI), San Francisco, United States, 2013. www 

2012

Livres

  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 
  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. 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 
  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. 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. 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. 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. 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. Sba"i, Z. and Barkaoui, K. Vérification Formelle des Processus Workflow Collaboratifs. In Conf?rence francophone sur les Syst?mes Collaboratifs (SysCo?12), pages 197-200, 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. 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 

2011

Livres

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

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 

Articles de conférence

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

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. 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 Int. Conf. on the Engineering of Computer Based Systems, San Fransisco, USA, pages 138-146, X, France, IEEE , 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, Venice/Mestre, Italy, pages 474-480, X, France, IEEE , 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. 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. 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. 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. 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. 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. 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, San Francisco, California, USA, pages 138-146, 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. 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. 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. 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. 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. 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. 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. 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. 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. and Barkaoui, K. Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. In ICIW'09, Fourth International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, May 24-28, pages 474-480, X, France, 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. 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 

2008

Articles de conférence

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

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

2006

Articles de conférence

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

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. 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. 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. 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. 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. 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. 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 
  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. 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 The Journal of Supercomputing, 24: 193-202, 2003. www 

Articles de conférence

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

2002

Articles de conférence

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

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

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

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

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 
Top