Recherche

Accueil CEDRIC > Laboratoire > Membre > Barkaouk >

Kamel Barkaoui

Professeur
Equipe SYS
Mail : kamel.barkaoui

cnam.fr
Tel : 0140272852
Fax : 0140272709

Description:

My research work concerns mainly the development of formal methods and techniques for verification and evaluation of computer and communication systems (viewed as concurrent and distributed hardware/software systems) and where functional and extra-functional properties are inter-related.

Publications

2019

Revue Internationale avec comité de lecture

[LLL19] X. Li , G. Liu, . Li, N. Wu, K. Barkaoui. "Elementary Siphon-based Robust Control for Automated Manufacturing Systems with Multiple Unreliable Resources", IEEE Access, pp. 1-18, 2019, (doi:10.1109/ACCESS.2019.2897753)

2018

Revue Internationale avec comité de lecture

[OBA18] A. Outamazirt, K. Barkaoui, D. Aissani. "Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres", International Journal of Critical Computer-Based Systems, vol. 8(3-4), pp. 234-257, 2018, (doi:10.1504/IJCCBS.2018.096441)
[LAB18] L. Lakouar, D. Aissani, K. Barkaoui. "M/M/1 Retrial Queue with Collisions and Transmission Errors", Methodology and Computing in Applied Probability, vol. Springer, pp. 1-12, 2018, (doi:10.1007/s11009-018-9680-x)
[ BL18] U. Mutarraf , K. Barkaoui, . Li. "Transformation of Business Process Model and Notation models onto Petri nets and their analysis", Advances in Mechanical Engineering, vol. 10(12), pp. 1-21, 2018, (doi:10.1177/1687814018808170)
[BB18b] K. Barkaoui, H. Boucheneb. "Introduction to special issue on verification and evaluation of computer systems", Innovations in Systems and Software Engineering - A NASA Journal, vol. 14(2), pp. 81-82, 2018, (doi:10.1007/s11334-018-0310-0)
[BB18] H. Boucheneb, K. Barkaoui. "Delay-dependent partial order reduction technique for real time systems", Real-Time Systems , vol. 54(2), pp. 278-306, 2018, (doi:10.1007/s11241-017-9297-0)
[DBB18] M. Djenouhat, F. Belala, K. Barkaoui. "Architectural method to design and control dynamic composite web services", International Journal of Computer Applications in Technology (IJCAT), vol. 57(1), pp. 1-12, 2018, (doi:10.1504/IJCAT.2018.090032)
[WLB18] N. Wu,, . Li, K. Barkaoui, Li Xi, T. Murata, M. Zhou. "IoT-based smart and complex systems: a guest editorial report", IEEE/CAA Journal of Automatica Sinica, vol. 5(1), pp. 69-73, 2018, (doi:10.1109/JAS.2017.7510748)

Conférence Internationale avec comité de lecture

[BBL18] K. Barkaoui, H. Boucheneb, . Li. "Exploiting Local Persistency for Reduced State Space Generation", International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, October 2018, Vol. 11181, pp. pp 166-181, Series LNCS, Grenoble, France, (DOI: 10.1007/978-3-030-00359-3_11)
[YSH18] D. You, W. Shouguang , D. Hao , D. Wenli , K. Barkaoui, C. Seatzu. "Liveness Enforcement for a Class of Petri Nets via Resource Allocation", 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), October 2018, pp.4369-4374, Miyazaki, Japan, (DOI: 10.1109/SMC.2018.00738)
[BB18a] K. Barkaoui, H. Boucheneb. "On Persistency in Time Petri Nets", International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, August 2018, Vol. Volume 11022, pp.108-124, Series Lecture Notes in Computer Science, Beijing, China,
[ETB18] M. Escheikh, Z. Tayachi, K. Barkaoui. "Performability evaluation of server virtualized systems under bursty workload", 14th IFAC Workshop on Discrete Event Systems WODES 2018, May 2018, Vol. 51(7), pp.45-50, Sorrente, Italy, (DOI: 10.1016/j.ifacol.2018.06.277)
[OBA18a] A. Outamazirt, K. Barkaoui, D. Aissani. "Maximizing profit in cloud computing using M/G/c/k queuing model", 2018 International Symposium on Programming and Systems (ISPS), April 2018, pp.1-6, Series IEEE, Algiers, Algeria, (DOI: 10.1109/ISPS.2018.8379008)

2017

Revue Internationale avec comité de lecture

[CCL17] Li Chengzong, Y. Chen, . Li, K. Barkaoui. "Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-GloballyAct-Locally Approach and Vector Covering for Flexible Manufacturing Systems", IEEE Access, vol. 5(IEEE), pp. 16349-16358, 2017, (doi:10.1109/ACCESS.2017.2720630)
[HB17] Y. Hou, K. Barkaoui. "Deadlock analysis and control based on Petri nets: A siphon approach review", Advances in Mechanical Engineering, vol. 9(5), pp. 1-30, 2017, (doi:10.1177/1687814017693542)
[EB17] M. Escheikh, K. Barkaoui. "On the dependability evaluation of a virtual multiple input multiple output link", Int. J. of Critical Computer-Based Systems, vol. 7(1), pp. 43-58, 2017, (doi:10.1504/IJCCBS.2017.084063)
[CLB17] Y. Chen, . Li, K. Barkaoui, M. Zhou. "Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs", IEEE Trans. Systems, Man, and Cybernetics, vol. 47(2), pp. 364-379, 2017, (doi:10.1109/TSMC.2016.2521833)
[EBJ17] M. Escheikh, K. Barkaoui, H. Jouini. "Versatile workload-aware power management performability analysis of server virtualized systems", Journal of Systems and Software, vol. 51(7), pp. 365-379, 2017, (doi:10.1016/j.ifacol.2018.06.277)
[KBI17] A. Kheldoun, K. Barkaoui, M. Ioulalen. "Formal verification of complex of complex business processes based on high-level Petri nets business processes based on high-level Petri nets", Information Sciences, vol. 385-386(385), pp. 39-54 , 2017, (doi:10.1016/j.ins.2016.12.044)

Conférence Internationale avec comité de lecture

[JEB17] H. Jouini, M. Escheikh, K. Barkaoui, T. Ezzedine. "Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation", International Conference on Verification and Evaluation of Computer and Communication Systems, August 2017, Vol. 10466, pp.108-123, Series LNCS, Montreal, Canada, (DOI: 10.1007/978-3-319-66176-6_8)

2016

Revue Internationale avec comité de lecture

[CBB16a] T. Cherfia, F. Belala, K. Barkaoui. "A bigraph-based framework for specification and analysis of context-aware systems Multiple Input Multiple Output Link", Int. J. of Critical Computer-Based Systems (IJCCBS), vol. 6(4), pp. 322 - 342, 2016
[LB16a] G. Liu, K. Barkaoui. "A survey of siphons in Petri nets", Information Sciences, vol. 363, pp. 198-220, 2016
[EJB16] M. Escheikh, H. Jouini, K. Barkaoui. "Modelling, Implementation and Performance analysis of mobility load Balancing for LTE Downlink Data Transmission ", International Journal of Computer Networks & Communications (IJCNC) , vol. 8(5), pp. 1-14, 2016, (doi:10.5121/ijcnc.2016.8505.53)
[DBS16] A. Dib, K. Barkaoui, Z. Sahnoun. "Specification and verification of reconfigurable multi-agent system architectures", Multiagent and Grid Systems, vol. 12(2), pp. 105-124, 2016
[LB16] A. Louati, K. Barkaoui. "Formal Verification of UML2 Timing Diagrams based on Time Petri Nets", International Journal of Information Systems in the Service Sector (IJISSS), vol. 8(2), pp. 87-97, 2016
[CLB16] Y. Chen, . Li, K. Barkaoui, M. Uzam. "Monitor design with multiple self-loops for maximally permissive supervisors", ISA Transactions, vol. 61, pp. 129-140, 2016
[MB16] B. Marzougui, K. Barkaoui. "Agent Petri Nets Framework for Modeling Staphylococcus epidermidis Biofilm Formation", E-Health Telecommunication Systems and Networks (ETSN), vol. 5(1), pp. 19-30, 2016, (doi:10.4236/etsn.2016.51003 )

Conférence Internationale avec comité de lecture

[ETB16] M. Escheikh, Z. Tayachi, K. Barkaoui. "Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems", 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), October 2016, pp.111-118, Ottawa, Canada, (DOI: 10.1109/ISSREW.2016.31)
[OEB16] A. Outamazirt, M. Escheikh, K. Barkaoui. "Stochastic Model for Cloud Dada Center with M/G/c/c+r Queue", 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, October 2016, Vol. 1689, pp.77-84, Series {CEUR} Workshop Proceedings, Tunis , Tunisia, (DOI: http://ceur-ws.org/Vol-1689)
[A B16] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Hybrid computing document similarity in large-scale environment", 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD), October 2016, pp.2159-2164, Changsha , China , (DOI: 10.1109/FSKD.2016.7603515)
[AHB16] H. Ariouat, A. Hicheur-Cairns, K. Barkaoui, J. Akoka. "A Two-Step Clustering Approach for Improving Educational Process Model Discovery", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE}, August 2016, pp.38-43, Paris , France, (DOI: 10.1109/WETICE.2016.18)
[BHK16] K. Barkaoui, A. Hicheur-Cairns, A. Kheldoun, D. Liu. "Modelling and analyzing home care plans using high-level Petri nets", 2016 13th International Workshop on Discrete Event Systems (WODES), June 2016, pp.284 - 290, Xian, China, (DOI: 10.1109/WODES.2016.7497861)

2015

Revue Internationale avec comité de lecture

[BBM15] K. Barkaoui, L. Bernardinello,, A. Mokhov. "Application of Concurrency to System Design", ACM Transactions on Embedded Computing Systems (TECS) , vol. 14(4), pp. 62-63, 2015, (doi:http://dx.doi.org/10.1145/2809925)
[CLB15] Y. Chen, . Li, K. Barkaoui, A. Giua. "On the Enforcement of a Class of Nonlinear Constraints on Petri Nets", Automatica, vol. 55(5), pp. 116-124, 2015
[LBJ15] A. Louati, K. Barkaoui, C. Jerad. "Temporal Properties Verication of Real-Time Systems Using UML/MARTE/OCL-RT; ", Advances in Intelligence Systems and Computing, Springer Verlag., vol. 346, pp. 133-147, 2015, (doi:2194-5357)
[BB15c] H. Boucheneb, K. Barkaoui. "Stubborn Sets for Time Petri Nets.", ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)

Conférence Internationale avec comité de lecture

[MLH15] A. Methni, M. Lemerre, S. Haddad, K. Barkaoui, B. Ben Hedia. "Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs", The Tenth International Conference on Software Engineering Advances - ICSEA 2015 : , November 2015, pp.56-61, Barcelone, Spain,
[KBI15] A. Kheldoun, K. Barkaoui, M. Ioulalen. "Specification and verification of complex business processes: A High-level Petri net-based approach", BPM 2015 - 13th International Conference on Business Process Management , November 2015, Vol. 9253, pp.55-71, Series LNCS, Innsbruck, Austria, (DOI: 10.1007/978-3-319-23063-4_4)
[BB15] H. Boucheneb, K. Barkaoui. "Strongly generalized soundness of Time Workflow Nets", ACSD 2015- 15th International Conference on Application of Concurrency to System Design, October 2015, pp.10-20, Series IEEE Computer Society, Belgique,
[MBL15a] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. " State Space Reduction Strategies for Model Checking Concurrent C Programs", 9th Workshop on Verification and Evaluation of Computer and Communication Systems(VECoS'15), September 2015, Vol. 1431, pp.65-76, Series CEUR Workshop Proceedings, Bucharest, Romania,
[SB15] Z. Sbai, K. Barkaoui. "On quantitative Analysis of Time Open Workflow Nets and Parametric Extension", The 9th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, September 2015, Vol. 1431, pp.97-10, Series CEUR Workshop Proceedings, Bucharest, Romania,
[KBZ15] A. Kheldoun, K. Barkaoui, J. Zhang, M. Ioulalen. "A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems", 5th IFIP International Conference on Computer Science and Its Applications CIIA , May 2015, Vol. 456, pp.551--562, Series IFIP Advances in Information and Communication Technology , SaÃ¯da, Algeria,
[MBL15] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. "Specifying and Verifying Concurrent C Programs with TLA+", Formal Techniques for Safety-Critical Systems, April 2015, Vol. 476, pp.206-222, Series Communications in Computer and Information Science, Luxembourg, (DOI: 10.1007/978-3-319-17581-2_14)
[LBS15] A. Louati, K. Barkaoui, Z. Sbai. "Formal Verification of UML2 Timing Diagrams Based on Time Petri Nets", The 5th International Conference on Information Systems and Technologies (ICIST 2015), March 2015, pp.12-22, Istanbul, Turkey,
[ABA15] H. Ariouat, K. Barkaoui, J. Akoka. "Improving process models discovery using AXOR Clustering Algorithm", International Conference on Information Science and Applications, February 2015, Vol. 339(Springer Berlin Heidelberg), pp.pp 623-629, Series Lecture Notes in Electrical Engineering, Berlin, (DOI: 10.1007/978-3-662-46578-3_73)

Conférence Nationale avec comité de lecture

[EBJ15] M. Escheikh, K. Barkaoui, H. Jouini. "ModÃ©lisation et Ã©tude de performance de lâ€™Ã©quilibrage de charge LTE par ajustement dynamique des paramÃ¨tres du handover:", 10Ã¨me Colloque Francophone sur la ModÃ©lisation des SystÃ¨mes RÃ©actifs MSR 2015, November 2015, pp.1-12, Nancy, France,

2014

Revue Internationale avec comité de lecture

[CB14] Y. Chen, K. Barkaoui. "Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and UnobservableTransitions", Asian Journal of Control, vol. 16(6), pp. .1646-1658, 2014
[BBb14] H. Boucheneb, K. Barkaoui. "Partial order reduction for checking soundness of time workflow nets", Information Sciences, vol. 282, pp. 261-276, 2014, (doi:10.1016/j.ins.2014.06.006)
[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014
[A B14] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities", International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), vol. 5, pp. 66-83, 2014, (doi:10.4018/ijssmet.2014010104)
[BB14] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014
[HMB14] N. Harrath, B. Monsuez, K. Barkaoui. "A Framework for Verification of SystemC Designs Using SystemCWaiting State Automata", In Advances in Intelligent Systems and Computing, Springer Verlag, vol. 263 , pp. 77-104, 2014, (doi:10.1007/978-3-319-04717-1)
[CLB14] Y. Chen, Z. Li, K. Barkaoui, M. Uzam. "New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs", IEEE Transactions on Systems Man and Cybernetics: Systems, vol. 44(10), pp. 1384-1400, 2014
[CLBa14] Y. Chen, Z. Li, K. Barkaoui. "Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems", Information Sciences, vol. 256, pp. 74-90, 2014

Conférence Internationale avec comité de lecture

[DFB14a] M. Djenouhat, B. F, K. Barkaoui. "Defining and Executing Bigraphical Model in Maude ", The 5th International Conference on Communications, Computers and Applications -MIC-CCA 2012, October 2014, pp.101-106, Istanbul, Turkey,
[A Ba14] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Text Retrieval Based on Dyadic Conceptual Projection", 25th International Workshop on Database and Expert Systems Applications (DEXA), 2014 , September 2014, pp.198 - 202, Series IEEE, (DOI: 10.1109/DEXA.2014.50)
[BBc14] H. Boucheneb, K. Barkaoui. "Delay-Dependent Partial Order Reduction Technique for Time Petri Nets", 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science , September 2014, Vol. 8711, pp. 53-68, Series Lecture Notes in Computer Science, (DOI: 10.1007/978-3-319-10512-3_5)
[EJB14] M. Escheikh, H. Jouini, K. Barkaoui. "A versatile traffic and power aware performability analysis of server virtualized systems", IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, September 2014, pp.45-51, (DOI: http://ieeexplore.ieee.org/)
[EJB14a] M. Escheikh, H. Jouini, K. Barkaoui. "A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems ", IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, September 2014, pp.207-212, Series IEEE, Paris, France, (DOI: 10.1109/MASCOTS.2014.34)
[A Bb14] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "A tripartite graph-based fuzzy co-similarities for document retrieval", 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2014 , August 2014, pp.575-580, Series IEEE, (DOI: 10.1109/FSKD.2014.6980898)
[LBJ14] A. Louati, K. Barkaoui, C. Jerad. "Time properties Verification of UML/MARTE Real-Time Systems", Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, August 2014, pp.386-393, Redwood City CA, USA,
[KZB14] A. Kheldoun, J. Zhang, K. Barkaoui, M. Ioulalen. "A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems ", 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, June 2014, Vol. 1161, pp.36-51, Series CEUR Workshop Proceedings,
[SBBa14] Z. SbaÃ¯, K. Barkaoui, H. Boucheneb. "Compatibility Analysis of Time Open Workflow Nets", International Workshop on Petri Nets and Software Engineering (PNSE 2014), June 2014, Vol. 1160, pp.249-268, Series CEUR Workshop Proceedings, (DOI: ISSN 1613-0073)
[EJBa14] M. Escheikh, H. Jouini, K. Barkaoui. "Performance analysis of a novel downlink scheduling algorithm for LTE systems", International Conference on Advanced Networking Distributed Systems and Applications, INDS, June 2014, pp.13-18, Series CPS,
[CLBb14] Y. Chen, Z. Li, K. Barkaoui. "Maximally Permissive Petri Net Supervisors with a Novel Structure", WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, June 2014, pp.1-8,
[SB14] Z. SbaÃ¯, K. Barkaoui. "On compatibility analysis of inter organizational business processes", 10th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2014), June 2014, Vol. 191, pp.171-186, Series LNBIP, (DOI: ISBN 978-3-662-44860-1)
[DB 14] L. Ding, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", IEEE 11th International Conference on Networking, Sensing and Control (ICNSC 2014), April 2014, pp.578-583, Miami, USA,
[LHB14] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", 11th IEEE International Conference on Networking, Sensing and Control, April 2014, pp.13-21,
[MLB14] A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, K. Barkaoui. "An Approach for Verifying Concurrent C Programs", 8th Junior Researcher Workshop on Real-Time Computing, March 2014, Vol. Proceeedings, pp.33-36,
[DBB14] M. Djenouhat, F. Belala, K. Barkaoui. "Une Approche BasÃ©e K pour la Description de Services Web", ICAIIT2014 - ConfÃ©rence internationale sur l'intelligence artificielle et les technologies de lâ€™information , March 2014, pp.12-20,

Conférence Nationale avec comité de lecture

[ECB14] M. Ezzedinne, H. Costantini, K. Barkaoui. "On the efficiency of scheduling algorithms in LTE networks", 10 iÃ¨me Ã©dition du colloque francophone sur la Gestion de RÃ©seaux Et de Services - GRES 2014, December 2014, pp.25-29,
[DFB14] M. Djenouhat, B. F, K. Barkaoui. "A K-Based Specification of Web Services ", CAL2014 - ConfÃ©rence Francophone sur les Architecture Logicielles, June 2014, pp.1-7,

Chapitres de Livre

[BE14] K. Barkaoui, M. Eslamichalandar. "Software Architecture: Service Adaptation Techniques in the Context of Web Services Composition", Titre du livre: "Software Architecture 1 - Edited by Mourad Chabane Oussalah ", May 2014, John Wiley & Sons, Ltd, pp. 211-240, (doi: 10.1002/9781118930960) (isbn: 9781848216006)

Autres

[BL14] K. Barkaoui, D. Liu. "An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets",

datepub: June 2014,

2013

Revue Internationale avec comité de lecture

[BB13] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps method", Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013
[BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013
[LB13] G. Liu, K. Barkaoui. "Necessary and sufficient liveness condition of GS3PR Petri nets", International Journal of Systems Science, pp. 1-14, 2013, (doi:10.1080/00207721.2013.827257)
[LJB13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", International Journal of Soft Computing and Software Engineering [JSCSE], 2013, vol. 3(3), pp. 205-211, 2013, (doi:10.732)
[MBBa13] B. Marzougui, K. Barkaoui, N. Ben Haj Alouane. "APN Model for Specification of the Communication Protocols in Multi-Agent System", Journal of Software Engineering and Applications, vol. 6(Special Issue on Software Engineering for Safety-Critical Systems and Medical Devices), pp. 14-22, 2013, (doi:10.4236/jsea.2013.69A002 )
[MB13] B. Marzougui, K. Barkaoui. "Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model", International Journal of Advanced Computer Science and Applications ( IJACSA ) , vol. 4(7), pp. 166-173, 2013, (doi:2013/08/02 07:12:30 GMT-6)
[MHB13] B. Marzougui, K. Hassine, K. Barkaoui. "Modeling Migration of Mobile Agents", Lecture Notes in Business Information Processing- Springer, vol. 132, pp. 530-540, 2013, (doi:10.1007/978-3-642-36285-9_54)
[LLB13] G. Liu, Z. Li, K. Barkaoui, A. Al-Ahmari. "Robustness of deadlock control for a class of Petri nets with unreliable resources", Information Sciences, vol. 235, pp. 259-279, 2013
[A B13] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Partitioned-based Fuzzy Clustering to Learn Documents' Triadic Similarity", International Journal of Recent Contributions from Engineering, Science & IT., vol. 1(2013), pp. 5-12, 2013
[LJBa13] A. Louati, C. Jerad, K. Barkaoui. "Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams", The International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, , Special Issue:, vol. 3(No. 3), pp. 205-211, 2013, (doi:10.7321/jscse.v3.n3.31 )
[BBc13] H. Boucheneb, K. Barkaoui. "Reducing interleaving semantics redundancy in reachability analysis of time Petri nets", ACM Transactions in Embedded Computing Systems (TECS) , vol. 12(1), pp. 1-24, 2013

Revue Nationale avec comité de lecture

[SB13] Z. SbaÃ¯, K. Barkaoui. "VÃ©rification formelle des processus workflow - Extension aux workflows inter-organisationnels", revue IngÃ©nierie des SystÃ¨mes d'Information (ISI), 2013., vol. 18(No. 5,), pp. 33-57, 2013, (doi:1633-1311)

Conférence Internationale avec comité de lecture

[A Ba13] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "Parallel architectures for fuzzy triadic similarity learning", International Conference on Control, Engineering & Information Technology (CEIT), December 2013, Vol. 1(Proceedings Engineering & Technology), pp.121-126, Series CoRR, 2013, (DOI: http://arxiv.org/abs/1312.6273)
[BBAa13] R. Benosman, K. Barkaoui, Y. Albrieux. "A New Dynamic IPC-Memory Allocator Based on a Paging Approach", International Conference on High Performance Computing & Simulation (HPCS 2013), November 2013, pp.382-389,
[BBAb13] R. Benosman, K. Barkaoui, Y. Albrieux. "Exploiting concurrency for the ESB architecture", International Conference on Engineering of Complex Computer Systems (ICECCS 2013), October 2013, pp.84-88,
[HMB13] N. Harrath, B. Monsuez, K. Barkaoui. "Verifying SystemC with Predicate Abstraction: a Component Based Approach", On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,
[HMBa13] N. Harrath, B. Monsuez, K. Barkaoui. " Verifying SystemC with Predicate Abstraction: a Component Based Approach", On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,
[A Bb13] S. Alouane-Ksouri, M. Sassi Hidri, K. Barkaoui. "A Parallel Comparator of Documents", DEXA Workshops 2013, June 2013, pp.48-52,
[RSB13] G. Rawand, Z. SbaÃ¯, K. Barkaoui. "Modeling and formal verification framework of Web services composition", International Conference on Control, Engineering & Information Technology (CEIT'13), Proceedings Engineering & Technology, June 2013, Vol. 2(2013), pp.140-145,
[LHB13] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets", 10th IEEE International Conference on Control and Automation, June 2013, pp.1278-1283, Hangzhou, China,
[LJBb13] A. Louati, C. Jerad, K. Barkaoui. "On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), April 2013, pp.1-6,
[CLL13] Y. Chen, D. Liu, G. Liu, K. Barkaoui. "Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, April 2013, pp.1-6, Hammamet, Tunisia,
[BBA13] R. Benosman, K. Barkaoui, Y. Albrieux. "Design and Implementation of a Massively Parallel ESB", International Symposium on Programming and Systems (ISPSâ€™2013), April 2013, pp.89 - 95,

Conférence Nationale avec comité de lecture

[MBB13] A. Methni, K. Barkaoui, B. Ben Hedia, S. Haddad, M. Lemerre. "Traduction automatique du code C vers TLA+", Ecole temps rÃ©el, August 2013, pp.pp.12-16, France,

Chapitres de Livre

[BE13] K. Barkaoui, M. Eslamichalandar. "Adaptation de Services dans le Contexte de Composition de Services Web Titre du livre "Architectures logicielles : Principes, techniques et outils"", Titre du livre: "Architectures logicielles : Principes, techniques et outils sous la direction de Mourad Oussalah, Editions Hermes Sciences-Lavoisier", December 2013, Hermes Sciences-Lavoisier, pp. 75-106 , (doi: 2111-0360) (isbn: 978-2-7462-4517-4)
[BAR13] K. Barkaoui. "Liveness, Deadlock-Freeness, and Siphons", Titre du livre: "Embedded Computing Systems: Applications, Optimization, and Advanced Design", April 2013, IGI Global, pp. 65-78 , (doi: 10.4018/978-1-4666-3922-5) (isbn: 13: 9781466639225)

2012

Revue Internationale avec comité de lecture

[BCB12] H. Bennoui, A. Chaoui, K. Barkaoui. "ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS", International Journal of Foundations of Computer Science, vol. 23 (07), pp. 1523-1541, 2012, (doi:10.1142/S0129054112500220)
[MB12] B. Marzougui, K. Barkaoui. "ØªØµÙˆÙ‘Ø± Ù†Ù…ÙˆØ°Ø¬ Ù„Ù…Ø±Ø³ÙˆÙ… Ø§Ù„ØªÙ‘ÙØ§Ø¹Ù„ ÙÙŠ Ø§Ù„Ø£Ù†Ø¸Ù…Ø© Ø§Ù„Ù…ØªØ¹Ø¯Ù‘Ø¯Ø© Ø§Ù„ÙˆÙƒÙ„Ø§Ø¡", Arabic Computer Sociaty, vol. 5(August), pp. 65-77, 2012

Conférence Internationale avec comité de lecture

[BBA12] R. Benosman, K. Barkaoui, Y. Albrieux. "Performance Evaluation of a Massively Parallel ESB-Oriented Architecture", International Conference on Service Oriented Computing & Applications (SOCA 2012) , December 2012, pp.1-4,
[EBM12] M. Eslamichalandar, K. Barkaoui, H. Motahari-Nezhad. "Service Composition Adaptation: an Overview ", 2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12), November 2012, pp.1-8,
[DB 12] L. Ding, K. Barkaoui, M. Zhou. "On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS", 11th International Workshop on Discrete Event Systems - WODES 2012, October 2012, pp.187-192, Series IFAC,
[BHB12] K. Barkaoui, A. Hicheur, A. Ben Dhieb . "Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study", Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, August 2012, pp.1-16,
[EB12] M. Escheikh, K. Barkaoui. "Survivability Analysis of VMIMO link in Multi-hop Wireless Network", The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012, August 2012, pp.1-8,
[BBb12] H. Boucheneb, K. Barkaoui. "Parametric Verification of Time Workflow Nets", 24th International Conference on Software Engineering (SEKE), July 2012, pp.375-380,
[BBc12] H. Boucheneb, K. Barkaoui. "Reachability Analysis of P-time Petri Nets with Parametric Marking", 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, June 2012, pp.72-81,
[EBa12] M. Escheikh, K. Barkaoui. "Network Availability Modeling of VMIMO link in Multi-hop Wireless Network", 4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12) , March 2012, pp.1-6,

Conférence Nationale avec comité de lecture

[SBa12] Z. SbaÃ¯, K. Barkaoui. "VÃ©rification Formelle des Processus Workflow Collaboratifs", ConfÃ©rence francophone sur les SystÃ¨mes Collaboratifs (SysCoâ€™12), May 2012, pp.197-200,

Livre

[BFD12] K. Barkaoui, D. Florian, S. Dustdar. "BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II", February 2012, Springer-Verlag, pp. 480p, (isbn: ISBN 978-3-642-28114-3)

2011

Revue Internationale avec comité de lecture

[ZLB11] C. Zhong, Z. Li, K. Barkaoui. "Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View ", International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198), vol. 7(12), pp. 6677-6690, 2011
[BMP11] K. Barkaoui, B. Monsuez, D. Poitrenaud. "Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4, 2011), pp. 414, 2011, (doi:1757-8779)
[BBBb11] K. Barkaoui, C. Bouanaka, F. Belala. "A tile logic-based semantics for mobile software architectures", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4), pp. 288-308, 2011
[BB11] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Vectors for Constructing Time Petri Net Reachability Graphs", Discrete Event Dynamic Systems: Theory and Applications, vol. 21(2 - 2011), pp. 171-204 , 2011
[BBBa11] M. Benammar, F. Belala, K. Barkaoui. "ImplÃ©mentation OrientÃ©e Objet d'ABAReL en Maude", Technique et Science Informatiques, vol. 30, pp. 741-767, 2011

Conférence Internationale avec comité de lecture

[ABa11] R. Abo, K. Barkaoui. "Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks", WLN'11, 11th IEEE International Workshop on Wireless Local Networks , December 2011, pp.22-30, Bonn, Germany,
[BE11] K. Barkaoui, M. Escheikh. "Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic Petri nets", 7th ACM symposium on QoS and security for wireless and mobile networks, November 2011, pp.9-16,
[AB11] R. Abo, K. Barkaoui. "A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking", The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, Kingâ€™s College (Strand Campus), June 2011, pp.25-34, London, United Kingdom,
[BBBd11] K. Barkaoui, F. Belala, C. Bouanaka. "Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems ", NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, May 2011, pp.1-8, Paris, France,
[CLBa11] Y. Chen, Z. Li, K. Barkaoui. "Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems ", IEEE 16th International Conference on Emerging Technologies & Factory Automation (ETFA), 2011 , February 2011, pp.1 - 6 , Series IEEE/IET (IEL), (DOI: 10.1109/ETFA.2011.6059027 )
[BD11] K. Barkaoui, A. Dhiab. "On the Modeling of Healthcare Workflows Using Recursive ECATNets", Business Process Management Workshops , February 2011, Vol. 100(2), pp.99-107, Series Lecture Notes in Business Information Processing, Clermont-Ferrand, France, (DOI: 10.1007/978-3-642-28115-0_10 )
[MHB11] B. Marzougui, K. Hassine, K. Barkaoui. "Method for Verification of a Multi Agents System", 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), January 2011, pp.62-65, (DOI: http://doi.ieeecomputersociety.org/10.1109/ISMS.2011.21 )

Conférence Nationale avec comité de lecture

[BBB11] N. Benlahrache, F. Belala, K. Barkaoui. "Description formelle du DÃ©ploiement d'Architectures AADL basÃ©e sur les SystÃ¨mes RÃ©actifs Bigraphiques ", CAL'2011, 5Ã¨me ConfÃ©rence Francophone sur les Architectures Logicielles, June 2011, pp.15-29, Lille, France,
[BBBc11] N. Benlahrache, F. Belala, K. Barkaoui. "Description formelle du DÃ©ploiement d'Architectures AADL basÃ©e sur les SystÃ¨mes RÃ©actifs Bigraphiques ", CAL'2011, 5Ã¨me ConfÃ©rence Francophone sur les Architectures Logicielles, June 2011, , June 2011, pp.15-29,
[ABb11] R. Abo, K. Barkaoui. "VÃ©rification et Ã‰valuation de la PerformabilitÃ© dans les RÃ©seaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier", ARC 2011, 4e colloque Â« Automatique et RÃ©seaux de Communication (ARC) Â», April 2011, pp.15-23, Paris, France,

Livre

[BFDa11] K. Barkaoui, D. Florian, S. Dustdar. "BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I ", September 2011, Springer-Verlag, pp. 482 p., (isbn: 978-3-642-28107-5)

2010

Revue Internationale avec comité de lecture

[BB10] K. Barkaoui, R. Ben Ayed. "Uniform Verification of Workflow Soundness", Transactions of the Institute of Measurement and Control Journal, vol. 31, pp. 1-16, 2010
[EB10] M. Escheikh, K. Barkaoui. "Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks", In Concurrency and Computation Journal : Practice and Experience, vol. 22(10), pp. 1308-1324, 2010
[BBB10] S. Boufenara, F. Belala, K. Barkaoui. "Mapping UML 2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications, vol. 3(5), pp. 426-435, 2010
[ZBB10] H. Zayani, K. Barkaoui, R. Ben Ayed. "Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol", International Journal of Wireless & Mobile Networks, vol. 2(2), pp. 156-170, 2010
[MB10] A. Missaoui, K. Barkaoui. "A Neuro-Fuzzy Model for QoS Based Selection of Web Service", Journal of Software Engineering and Applications, vol. 3(6), pp. 588-592, 2010
[BBBb10] S. Boufennara, F. Belala, K. Barkaoui. "Mapping UML2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications (JSEA), vol. 3(5), pp. 426Â—435, 2010
[CBB10] A. Choutri, F. Belala, K. Barkaoui. "A Tile Logic Based Approach for Software Architecture Description Analysis", Journal of Software Engineering and Applications (JSEA), vol. 3(11), pp. 1067-1079, 2010
[MHB10] B. Marzougui, K. Hassine, K. Barkaoui. "A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets", Journal of Software Engineering and Applications (JSEA), vol. 3(12), pp. 1118-1124, 2010
[KSB10] Y. Kissoum, Z. Sahnoun, K. Barkaoui. "Model-based testing approach for mobile agents using the paradigm of reference net", Multiagent and Grid Systems, vol. 6(4), pp. 271-292, 2010

Revue Nationale avec comité de lecture

[MSB10] A. Missaoui, Z. Sbai, K. Barkaoui. "VÃ©rification Formelle des Aspects de CohÃ©rence dÂ’un Workflow net", Revue Ã©lectronique Sciences et Technologies de lÂ’Automatique (e-STA), vol. 7(1), pp. 37-41, 2010

Conférence Internationale avec comité de lecture

[ABZ10] R. Abo, K. Barkaoui, H. Zayani. "A Probabilistic Analysis of Energy Efficiency of Wireless Sensor Network Duty-Cycled MAC Protocols: Application to S-MAC and Eco-MAC", Q2SWinet'10, 6th ACM/IEEE International Symposium on QoS and Security for Wireless and Mobile Networks (in conjunction with MsWim'10), October 2010, pp.15-27, Bodrum, Turkey,
[MSBa10] A. Missaoui, Z. Sbai, K. Barkaoui. "Model Checking Verification of Web Services Composition", ACT4SOC'10, 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Athens, Greece, 23 July, July 2010, pp.80-92,
[ABD10] R. Abo, K. Barkaoui, K. Djouani. "Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi", SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10), June 2010, pp.65-74, Genoa, Italy,
[BBBa10] C. Bouanaka, F. Belala, K. Barkaoui. "A Tile Logic Based Semantics for Mobile Software Architecture", VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010, January 2010, pp.35-47, Series The eWiC Series (ISSN 1477-9358),
[BEK10] K. Barkaoui, M. Eslamichalandar, M. Kaabachi. "Structural Verification of Web Services Composition Compatibility", EOMAS 2010, 6th International Workshop on Enterprise & Organizational Modeling and Simulation, Hammamet, Tunisia, June 7 - 8, 2010., January 2010, pp.30-41, Series CEUR Workshop Proceedings , ISSN 1613-0073,
[SMB10] Z. Sbai, A. Missaoui, K. Barkaoui, R. Ben Ayed. "On the Verification of Business Processes by Model Checking Techniques", ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, January 2010, pp.97-103,
[BBa10] H. Boucheneb, K. Barkaoui. "On interleaving in {P,A}-Time Petri nets with strong semantics", INFINITY'10, 12th International Workshop on Verification of Infinite-State Systems, Singapore, 21st of September 2010, January 2010, Vol. 39, pp.17-31, Series EPTCS,

2009

Conférence Internationale avec comité de lecture

[EB09] M. Escheikh, K. Barkaoui. "Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks", ISCC'09, 14th IEEE Symposium on Computers and Communications, Sousse, Tunisia, July 5-8, July 2009, pp.23-29,
[BCB09] H. Bennoui, A. Chaoui, K. Barkaoui. "Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets", ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4, June 2009, pp.99-106,
[ABSb09] N. Aoumeur, K. Barkaoui, G. Saake. "On modelling adaptive service-oriented business processes", AICCSA 2009, 7th ACS/IEEE International Conference on Computer Systems and Applications, June 2009, pp.47â€“52, Rabat, Morocco,
[ABa09] N. Aoumeur, K. Barkaoui. "Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes", ICIW'09, Fourth International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, May 24-28, May 2009, pp.474-480,
[KSB09] Y. Kissoum, Z. Sahnoun, K. Barkaoui. "An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm", RCIS'09, 3rd IEEE International Conference on Research Challenges in Information Science, Fez, Morocco, April 22-24, April 2009, pp.207-216, Series IEEE,
[BBHa09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets", WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, January 2009, Vol. 5387, pp.19-36, Series LNCS,
[ABSc09] N. Aoumeur, K. Barkaoui, G. Saake. "Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions", RSP'09, 20th IEEE/IFIP Int. Symp. on Rapid System Prototyping, Paris, France, January 2009, pp.19-26,
[BB09] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, January 2009, pp.74-84, Series eWiC Series,
[HB09] A. Hicheur, K. Barkaoui. "Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes", INCOMÃ‚Â’09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, January 2009, pp.1949-1954,
[BBH09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Design and Verification of Time-Constrained Workflow with Multi-Level Security", DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, January 2009, pp.25-32,
[BBD09] A. Bedoui, K. Barkaoui, K. Djouani. "Performance Evaluation of the IEEE 802.11 WLAN Supporting QoS", FeT'09, 8th IFAC International Conference on Fieldbuses and neTworks in industrial and embedded systems, Ansan, Korea, January 2009, pp.27-34,
[BBM09] K. Barkaoui, C. Bouanaka, J. Molina Espinosa. "An Event Structure Based Coordination Model for Collaborative Sessions", ICEIS'09, 11th International Conference on Enterprise Information Systems, Milan, Italy, January 2009, pp.137-143, Series Information Systems Analysis and Specification,
[SBB09] Z. Sbai, K. Barkaoui, R. Ben Ayed. "Workflow Modeling and Analysis using Petri Nets", ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, January 2009, pp.25-33,
[ABS09] N. Aoumeur, K. Barkaoui, G. Saake. "A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications", ISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, January 2009, pp.1-8, Series IEEE,
[ABSd09] N. Aoumeur, K. Barkaoui, G. Saake. "Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications", ECBS'09, 16th Annual IEEE Int. Conf. on the Engineering of Computer Based Systems, San Fransisco, USA, January 2009, pp.138-146, Series IEEE,
[CDB09] J. Chen, K. Djouani, K. Barkaoui. "Orthogonal and Non-orthogonal Cooperative protocols in WLANs", VECoS'09, 3rd IEEE International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, January 2009, pp.40-53, Series eWiC Series,
[ABSe09] N. Aoumeur, K. Barkaoui, G. Saake. "Towards a Disciplined Engineering of Adaptive Service-oriented Business Processes", ICIW'09, 4th IEEE International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, January 2009, pp.474-480, Series IEEE,
[BBa09] H. Boucheneb, K. Barkaoui. "Covering Steps Graphs of Time Petri Nets", INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, January 2009, pp.155-165, Series ENTCS,
[ABSf09] N. Aoumeur, K. Barkaoui, G. Saake. "Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions", RSP'09, 20th IEEE/IFIP International Symposium on Rapid System Prototyping, Paris, France, January 2009, pp.19-26,
[ABSg09] N. Aoumeur, K. Barkaoui, G. Saake. "Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications", ECBS'09, 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, San Francisco, California, USA, January 2009, pp.138-146,

Conférence Nationale avec comité de lecture

[BBB09] M. Benammar, F. Belala, K. Barkaoui, N. Benlahrache. " Extension d'ABAReL par les PropriÃ©tÃ©s d'ExÃ©cution.", CAL'09, 3iÃ¨me ConfÃ©rence sur les Architectures Logicielles, Nancy, France, January 2009, pp.28-41, Series CAL 2009,
[ABSa09] N. Aoumeur, K. Barkaoui, G. Saake, C. Rautenstrauch. "On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET Environment", WWS'09, 1er Workshop sur les Services Web dans les SystÃƒÂ¨mes d'Information, Algiers, Algeria, January 2009, pp.1-11,

2008

Revue Internationale avec comité de lecture

[BBC08] K. Barkaoui, M. Broy, A. Cavalcanti, A. Cerrone. "Guest Editorial", Formal Aspects of Computing Journal, vol. 20(4), pp. 349-350, 2008

Conférence Internationale avec comité de lecture

[DCAa08] K. Djouani, J. Chen, A. Akharraz, K. Barkaoui. "An Effective Link Adaptation Method in Cooperative Wireless Networks", APSCC'08, IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12, December 2008, pp.914 - 919, Series IEEE,
[HB08] A. Hicheur, K. Barkaoui. "ModÃ©lisation des workflows collaboratifs Ã l'aide des ECATNets rÃ©cursifs", NOTERE'2008, 8th Int. Conf. on New Technologies in Distributed Systems, Lyon, France, January 2008, pp.269-279, Series IEEE/ACM,
[BH08] K. Barkaoui, A. Hicheur. "Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets", ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, January 2008, pp.95-99, Series IEEE,
[CBB08] A. Choutri, F. Belala, K. Barkaoui. "Towards a Tile Based LfP Semantics", RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, January 2008, pp.9-16, Series IEEE,
[ABS08] N. Aoumeur, K. Barkaoui, G. Saake. "Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification", ITNG'08, 5th International Conference on Information Technology: New Generations, Las Vegas, USA, January 2008, pp.1305-1307, Series IEEE,
[DCA08] K. Djouani, J. Chen, A. Akharraz, K. Barkaoui. "Link adaptation for cooperative Wireless LANs", WiCOM'08, 4th IEEE Int. Conf. on Wireless Communications, Networking and Mobile Computing, Dalian, China, January 2008, pp.1-4, Series IEEE,
[BBBa08] K. Barkaoui, R. Ben Ayed, H. Boucheneb, A. Hicheur. "Verification of Workflow processes under multilevel security considerations", CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, January 2008, pp.77-84, Series IEEE-4,
[BB08] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs", FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, January 2008, Vol. 5215, pp.265-279, Series LNCS ,
[JBG08] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "On the use of real-time Maude for architecture description and verification : a case study", 1st International Academic Conference on Visions of Computer Science, London, UK, January 2008, pp.305-317, Series eWiC Series,

Conférence Nationale avec comité de lecture

[SBB08] Z. Sbai, K. Barkaoui, R. Ben Ayed. "Sur la vÃ©rification de la cohÃ©rence de processus workflow temporisÃ©s", GEI'08, 8iÃ¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie Electrique et Informatique, Sousse, Tunisia, January 2008, pp.57-68,
[BKH08] K. Barkaoui, N. KraÃ¯em, M. Hamrouni. "Vers une nouvelle approche de composition des Services Web dirigÃ©e par la QoS", GEI'08, 8iÃ¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃ©nie Electrique et Informatique, Sousse, Tunisia, January 2008, pp.15-23,
[MB08] A. Missaoui, K. Barkaoui. "Web Service Composition Supporting Quality of Service", JTEA 2008- Tunis, January 2008, pp.15-24,

2007

Revue Internationale avec comité de lecture

[BBSa07] K. Barkaoui, R. Benayed, Z. Sbai. "Workflow Soundness Verification Based on Structure Theory of Petri Nets", International Journal of Computing & Information Sciences (IJCIS Journal), vol. 5(1), pp. 51-62, 2007

Conférence Internationale avec comité de lecture

[HBa07] A. Hicheur, K. Barkaoui. "Formal Modeling and Analysis of Flexible Automated Production Workflows", CIP'07, 4ÃƒÂ¨me ConfÃƒÂ©rence Internationale IEEE sur la Productique, SÃƒÂ©tif, Algeria, January 2007, pp.45-56,
[BH07] K. Barkaoui, A. Hicheur. "Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets", CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, January 2007, pp.206-217, Series LNCS ,
[BBD07] A. Bedoui, K. Barkaoui, K. Djouani. "Performance Study of IEEE 802.11 WLAN Integrating QoS requirements", ICWMC'07, 3rd Int. Conf. on Wireless and Mobile Communications, Guadeloupe, French Caribbean, January 2007, pp.69-73, Series IEEE,
[ABS07] N. Aoumeur, K. Barkaoui, G. Saake. "Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems", CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands, January 2007, pp.123-137, Series IEEE,
[EBa07] M. Escheikh, K. Barkaoui. "Performance Analysis of High-Speed TCP Protocols BIC and CUBIC with AQM in Lossy Networks", CSNA'07, Int. Conf. on Communications Systems, Networks, and Applications, Beijing, China, January 2007, pp.55-62,
[MB07] A. Missaoui, K. Barkaoui. "On The Integration of QOS Management in Web Service Architecture", WEBIST'07, 3rd Int. Conf. on Web Information Systems and Technologies, Barcelona, Spain, January 2007, pp.25-32,
[ZBDa07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks", PMÃ‚Â²HWÃ‚Â²N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece, January 2007, pp.68-71, Series ACM,
[JBG07] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "On the Design and Analysis of Real-time Systems", CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA, January 2007, pp.380-386, Series ISCA,
[JBGa07] C. Jerad, K. Barkaoui, A. Grissa-Touzi. "Hierarchical Verification in Maude of LfP Software Architectures", ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain, January 2007, pp.156-170, Series LNCS ,
[ABSa07] N. Aoumeur, K. Barkaoui, G. Saake. "Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets", ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, January 2007, pp.152-158,

Conférence Nationale avec comité de lecture

[HBB07] A. Hicheur, K. Barkaoui, N. Boudiaf. "Workflow Specification and Analysis Using Recursive ECATNets", GEA 07, 7emes Journees Scientifiques des Jeunes Chercheurs en GÃ©nie Electrique et Informatique, Monastir, Tunisia, January 2007, pp.15-24,
[ZBD07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "ECoMAC : Un protocole MAC Ã©conome en Ã©nergie pour les rÃ©seaux de capteurs sans fil", GRES'07, 8ÃƒÂ¨me Colloque Francophone sur la gestion de rÃƒÂ©seaux et de services, Hammamet, Tunisia, January 2007, pp.185-192,
[BBS07] K. Barkaoui, R. Ben Ayed, Z. Sbai. "VÃ©rification ParamÃ©trÃ©e de la CohÃ©rence des Processus Workflow", MSR'07, 6ÃƒÂ¨me Colloque Francophone sur la ModÃƒÂ©lisation des SystÃƒÂ¨mes RÃƒÂ©actifs, Lyon, France, January 2007, pp.255-268,
[ZBDb07] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "Vers une optimisation des performances des RÃ©seaux de Capteurs Sans Fils par une approche multicouches", GEI'07, 7ÃƒÂ¨mes JournÃƒÂ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie ÃƒÂ‰lectrique et Informatique, Monastir, Tunisia, January 2007, pp.71-80,

2006

Conférence Internationale avec comité de lecture

[HBB06] A. Hicheur, K. Barkaoui, N. Boudiaf. "Modeling Workflows with Recursive ECATNets", SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, January 2006, pp.389-398, Series IEEE,
[BBD06] A. Bedoui, K. Barkaoui, K. Djouani. "On QoS Support Evaluation in IEEE 802.11 Wireless LAN's", ICTTA'06, 2nd IEEE Int. Conf. on Information & Communication Technologies: from Theory to Applications, Damascus, Syria, January 2006, pp.3257-3261,
[BCC06] K. Barkaoui, A. Cavalcanti, A. Cerone. "Theoretical Aspects of Computing", ICTAC'06, 3rd International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia, January 2006, Vol. 4281(2006), Series LNCS,
[BBCa06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Applying Reduction Rules to ECATNets", AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, January 2006, pp.42-55, Series ENTCS,

Conférence Nationale avec comité de lecture

[SBB06] Z. Sbai, R. Ben Ayed, K. Barkaoui. "Vers l'analyse des processus d'entreprise jPdl fondÃ©e sur les rÃ©seaux de Petri", GEI'06, 6ÃƒÂ¨mes JournÃƒÂ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie ÃƒÂ‰lectrique et Informatique, Hammamet, Tunisia, January 2006, pp.171-181, Series CPU Ed.,
[ZBD06] H. Zayani, R. Ben Ayed, K. Djouani, K. Barkaoui. "Etude de protocole MAC dans les rÃ©seaux de capteurs sans fil", GEIÃ‚Â’06, 6ÃƒÂ¨mes JournÃƒÂ©es Scientifiques des Jeunes Chercheurs en GÃƒÂ©nie ÃƒÂ‰lectrique et Informatique, Hammamet, Tunisia, January 2006, pp.63-71, Series CPU Ed.,
[BBC06] N. Boudiaf, K. Barkaoui, A. Chaoui. "ImplÃ©mentation des RÃ©gles de RÃ©duction des ECATNets dans MAUDE", MOSIM'06, 6ÃƒÂ¨me ConfÃƒÂ©rence Francophone de MOdÃƒÂ©lisation et SIMulation, Rabat, Morocco, January 2006, pp.505-514,

Chapitres de Livre

[BPa06] K. Barkaoui, J. Peyre. "Approches structurelles", January 2006,

2005

Revue Nationale avec comité de lecture

[GJB05] A. Grissa-Touzi, C. Jerad, K. Barkaoui. "Nouvelle Approche pour la DÃ©finition et la Manipulation de la NÃ©gation par les Programmes StratifiÃ©s", Les Annales MaghrÃ©bines de l'IngÃ©nieur, vol. 2(1), pp. 587-599, 2005

Conférence Internationale avec comité de lecture

[BBDa05] A. Bedoui, K. Barkaoui, K. Djouani. "Global Solution for the Support of QoS by IEEE 802.11 Wireless Local Area Networks", PWC'05, 10th IFIP Int. Conf. on Personal Wireless Communications, Colmar, France, January 2005, pp.252-260, Series IFIP,
[BCK05] K. Barkaoui, J. Couvreur, K. Klai. "On the Equivalence between Deadlock Freeness and Liveness in Petri Nets", ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, January 2005, pp.90-107, Series LNCS,
[JB05] C. Jerad, K. Barkaoui. "On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP", RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, January 2005, pp.202-208, Series IEEE,
[SB05] H. Sebih, K. Barkaoui. "A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL", PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, January 2005, pp.1255-1263,
[ABS05] N. Aoumeur, K. Barkaoui, G. Saake. "Coordination and Co-Nets for specifying and reconfiguring Agile information systems", PNCWB'05, 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Miami, Florida, USA, January 2005, pp.1-16,
[KBS05] L. Kahloul, K. Barkaoui, Z. Sahnoun. "Using AUML to derive formal modelling agents interactions", AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, January 2005, pp.109-116, Series IEEE,
[ZBB05] N. Zeghib, M. Bettaz, K. Barkaoui. "CIRTA: An ECATNets Based Model for Embedded Systems Specification.", ESA'05, Int. Conf. on Embedded Systems and Applications, Las Vegas, Nevada, USA, January 2005, pp.261-267,

Conférence Nationale avec comité de lecture

[BBD05] A. Bedoui, K. Barkaoui, K. Djouani. "Approche Globale pour la QualitÃ© de Service dans les RÃ©seaux Locaux sans Fils IEEE 802.11", ISPSAÂ’2005, 7th International Symposium on Programming and Systems, Algiers, Algeria, January 2005, pp.131-140,
[HB05] R. Hachicha, K. Barkaoui. "Conception orientÃ©e agent de systÃ¨mes workflows", GEI'05, 5iÃ¨mes JournÃ©es scientifiques des Jeunes Chercheurs en GÃ©nie Electrique et Informatique, Sousse, Tunisia, January 2005, pp.26-32,
[GBA05] Y. Gamha, K. Barkaoui, B. Ayeb. "Un modÃ¨le de coordination des sessions coopÃ©ratives basÃ© sur les structures d'Ã©vÃ¨nements", GEI'05, 5iÃ¨mes JournÃ©es Scientifiques des Jeunes Chercheurs en GÃ©nie Electrique et Informatique, Sousse, Tunisia, January 2005, pp.18-25,

2004

Conférence Internationale avec comité de lecture

[EMB04] M. Escheikh, J. Maatoug, K. Barkaoui. "Performance evaluation of OCDR using non --Markovian Stochastic Petri Nets", January 2004, pp.214-220,

Conférence Nationale avec comité de lecture

[BBD04] A. Bedoui, K. Barkaoui, K. Djouani. "Sur l'optimisation des mÃ©thodes d'accÃ¨s au canal dans les rÃ©seaux locaux sans fil IEEE 802.11", Actes du 18ÃƒÂ¨me congrÃƒÂ¨s DNAC " De Nouvelles Architectures pour les Communications", Paris, January 2004,

2003

Revue Internationale avec comité de lecture

[BBa03] K. Barkaoui, R. Benamara. "On concurrency Control in Mutlidatabase Systems with an Extented Transaction Model", The Journal of Supercomputing, vol. 24(2), pp. 193-202, 2003, (doi:10.1023/A:1021707111118)

Conférence Internationale avec comité de lecture

[BR03] K. Barkaoui, J. Romhain. "Parametrised Verification of Class of Resource Allocation systems", Actes de la ConfÃƒÂ©rence Internationale sur la Productique, CIPÃ‚Â’03, CDTA - Alger, January 2003, pp.52-59,
[BZ03] K. Barkaoui, B. Zouari. "On the Equivalence between Liveness and deadlock Freeness in Petri Nets", ISPSÃ‚Â’03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, January 2003, pp.213-224,
[EBE03] R. Elloumi, K. Barkaoui, M. Escheikh. "Evaluation de l'impact de la sporadicitÃ© du trafic sur les performances d'un serveur web", Actes de la ConfÃƒÂ©rence SETIT, Tunisie, January 2003,
[BSa03] K. Barkaoui, Z. Sahnoun. "Distance Learning as Opportunity for Improving Quality Learning", 4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc, January 2003,
[CEB03] I. Chouaieb, R. Ezzine, K. Barkaoui. "On performance analysis of Web oriented systems", Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, January 2003, pp.59-66,
[SBB03] H. Sebih, K. Barkaoui, M. Bettaz, F. Belala, Z. Sahnoun. "Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets", 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, January 2003,
[BB03] A. Bedoui, K. Barkaoui. "Un cadre pour une meilleure qualitÃ© de service du rÃ©seau TUNIPAC", Actes de la ConfÃƒÂ©rence SETIT, Tunis, January 2003,
[ZB03] B. Zouari, K. Barkaoui. "Parameterized supervisor synthesis for a modular class of discrete event systems", IEEE Int. Conf. on Systems, Man and Cybernetics, vol.2, January 2003, pp.1874-1879,
[BRa03] K. Barkaoui, R. Robbana. "On the authentication control of Needham-Schroeder protocol using Petri Nets", International Arab Conference on Information Technology (ACIT'2003), Egypte., January 2003,

Conférence Nationale avec comité de lecture

[SBa03] H. Sebih, K. Barkaoui. "Vers une logique Temporelle LTL pour la vÃ©rification des ThÃ©ories de RÃ©Ã©criture dÃ©notant les ECATNets", Premier congrÃƒÂ¨s francophone MAJECSTIC'03, Marseille, January 2003,

2002

Revue Internationale avec comité de lecture

[BJM02] K. Barkaoui, M. Jmaiel, A. Mili. "Special issue", Journal of Systems and Software, vol. 60(2), pp. 87-89, 2002

Conférence Internationale avec comité de lecture

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

2001

Conférence Internationale avec comité de lecture

[BBa01] K. Barkaoui, R. Ben Jeddou. "Multi--log-logistic software reliability model", Supplement of the Int. Conf. on Dependable systems and networks, DSN'01, January 2001,
[ABS01] N. Aoumeur, K. Barkaoui, G. Saake. "On the benefits of rewrite logic as a semantics for algebraic Petri nets in computing siphons and traps", January 2001, Vol. 2023,

2000

Conférence Internationale avec comité de lecture

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

1999

Conférence Internationale avec comité de lecture

[CBM99] A. Chaoui, M. Bettaz, M Maouche, K. Barkaoui. "Vers une synthÃ¨se modulaire des superviseurs des systÃ¨mes a Ã©vÃ©nements discrets: simulation a l'aide du langage MAUDE", MOSIM'99, SCS International, January 1999, pp.131-136,
[BMB99] M. Bettaz, M Maouche, K. Barkaoui. "De l'hÃ©ritage du cycle de vie dans les objets: une approche basÃ©e sur les ECATNets", MOSIM'99, SCS International, January 1999, pp.125-130,

1998

Conférence Internationale avec comité de lecture

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

Livre

[BBa98] K. Barkaoui, A. Belghith. "Actes de la 5Ã¨me "Maghrebian Conference on Software Engineering and Artificial Intelligence"", January 1998,

1997

Conférence Internationale avec comité de lecture

[BKP97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", APSEC '97 / ICSC '97, January 1997,
[BCZ97] K. Barkaoui, A. Chaoui, B. Zouari. "Supervisory control of discrete event systems based on structure theory of Petri nets", IEEE Int. Conf. on Systems, Man and Cybernetics, SMCÃ‚Â’97, January 1997, pp.3750-3755,
[BM97] K. Barkaoui, Y. Maïzi. "Efficient Answer Extraction of Deductive Databases Modelled by HLPN", Int. Conference on Database and Expert Systems Applications DEXAÃ‚Â’97, LNCS 1308, January 1997, pp.324-336,
[BKPa97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", 3rd Asia-Pacific Software Engineering Conference APSECÃ‚Â’97, January 1997, pp.238-248,
[BB97] K. Barkaoui, R. Benamara. "Towards an efficient probabilistic deadlock detection method for multidatabase systems", 6th Workshop on Future Trends of Distributed Computing Syst. FTDCS'97, January 1997, pp.84-91,
[BCB97] K. Barkaoui, A. Chaoui, R. Benamara. "The performance of alternative strategies for dealing with deadlocks in FMS", 6th Int. Conf. on Emerging Technologies and Factory Automation Proceedings (ETFA'97), January 1997, pp.281 - 286,
[CBR97] A. Chaoui, K. Barkaoui, R. Robbana, B. Zouari. "Towards an efficient structural control policy for automated manufacturing systems", EDA'97, Bangkok, Tailand, January 1997, pp.751-752,
[BCBa97] K. Barkaoui, A. Chaoui, R. Benamara. "Analyse comparative de stratÃ©gies de controle d'interblocage dans les systÃ©mes de production flexibles", MOSIM'97, January 1997,
[BMa97] K. Barkaoui, Y. Maïzi. "A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net)", IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US, January 1997, pp.2386-2391,
[EB97] M. Escheikh, K. Barkaoui. "Waiting Time Analysis for a Versatile Markovian Arrival Process with Backpressure mechanism", 5th IntÃ‚Â’l. Conf. on Computer and Communication Systems, Telecommunication Systems. Nashville, USA, January 1997, pp.330-358,

1996

Revue Internationale avec comité de lecture

[BBC96] K. Barkaoui, M. Bettaz, A. Chaoui. "On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency", Journal of Computing and Information, vol. 2(1), pp. 470-481, 1996

Conférence Internationale avec comité de lecture

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

1995

Conférence Internationale avec comité de lecture

[BB95] K. Barkaoui, I. Ben Abdallah. "Deadlock avoidance in FMS based on structural theory of Petri nets", INRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFAÃ‚Â’95, January 1995, pp.499 - 510,
[BBa95] K. Barkaoui, I. Ben Abdallah. "A Deadlock Prevention Method for a Class of FMS", IEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMCÃ‚Â’95, January 1995, pp.4119-4124,
[BCD95] K. Barkaoui, J. Couvreur, C. Dutheillet. "On Liveness in Extended non Self-Controlling Nets", 16th Int. Conf. on Application and Theory of Petri Nets, ICATPNÃ‚Â’ 95, January 1995, pp.25-46, Series LNCS 935,

1994

Conférence Internationale avec comité de lecture

[BP94] K. Barkaoui, J. Peyre. "Combining Linear Programming and Graph Analysis for Petri Nets Validation", 7th SIAM Conference on Discrete Mathematics, January 1994,
[BB94] K. Barkaoui, I. Ben Abdallah. "An Efficient Deadlock Avoidance Control Policy in FMS using Structural Analysis of Petri Nets", IEEE Int. Conf. on Systems, Man and Cybernetics SMCÃ‚Â’94, January 1994, pp.525-530,

1993

Conférence Internationale avec comité de lecture

[BDH93] K. Barkaoui, C. Dutheillet, S. Haddad. "An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets", Application and Theory of Petri Nets, January 1993, pp.69-88, Series LNCS 691,

1992

Conférence Internationale avec comité de lecture

[BM92] K. Barkaoui, M. Minoux. "A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets", Application and Theory of Petri Nets, January 1992, pp.62-75, Series LNCS 616,
[BBT92] K. Barkaoui, N. Boudriga, A. Touzi. "A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects", the Int. Conf. on Database and Expert Systems Applications DEXAÃ‚Â’92, January 1992, pp.221-225,
[TB92] A. Touzi, K. Barkaoui. "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", 2nd Maghrebine Conference on Software Engeneering and Artificial Intelligence, Tunis, January 1992, pp.99-115,

1990

Revue Internationale avec comité de lecture

[BM90] K. Barkaoui, M. Minoux. "Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems", Discrete Applied Mathematics, vol. 29, pp. 195-210, 1990

1989

Conférence Internationale avec comité de lecture

[BL89] K. Barkaoui, B. Lemaire. "An Effective Characterization of Minimal Deadlocks and Traps in Petri nets Based on Graph Theory", 10th Int. Conf. on Application and Theory of Petri Nets ICATPN'89, January 1989, pp.1-21,

1988

Conférence Internationale avec comité de lecture

[BM88] K. Barkaoui, M. Minoux. "Polynomial Time Algorithms for Proving or Disproving CommonerÂ’s Structural Property", the 9th Int. Conf. on Application and Theory of Petri Nets ICATPN'88, January 1988,
[BFF88] K. Barkaoui, G. Florin, C Fraize, B. Lemaire, S. Natkin. "Reliability Analysis of Non Repairable Systems Using Stochastic Petri Nets", 18th Conference on Fault Tolerant in Computer Science FTCSÃ‚Â’88, January 1988, pp.90-95,

1987

Revue Nationale avec comité de lecture

[BL87] K. Barkaoui, B. Lemaire. "Composantes PrÃ©-conservatives Minimales dans les RÃ©seaux de Petri - Etude structurelle", RAIRO, vol. 21(3), pp. 219-240, 1987