2012

Revue Internationale avec comité de lecture

• [BMP12

  @article {
  	BMP12,
  	title	=	"{Special Issue on Verification and Evaluation of Computer and Communication Systems – Part II }",
  	author	=	"K. Barkaoui and B. Monsuez and D. Poitrenaud",
  	journal	=	"International Journal of Critical Computer-Based Systems (IJCCBS)",
  	year	=	2012,
  	volume	=	3,
  	number	=	1/2 , 2012,
  	pages	=	"150p",
  	note	=	"{http://www.inderscience.com/browse/index.php?journalID=325&year=2012&vol=3&issue=1/2}",
  	doi	=	"1757-8779",
  }

  ] K. Barkaoui , B. Monsuez , D. Poitrenaud - Special Issue on Verification and Evaluation of Computer and Communication Systems – Part II , International Journal of Critical Computer-Based Systems (IJCCBS), vol. 3(1/2 , 2012), pp. 150p, 2012, (doi:1757-8779)

Conférence Internationale avec comité de lecture

• [BBA12

  @inproceedings {
  	BBA12,
  	title	=	"{Performance Evaluation of a Massively Parallel ESB-Oriented Architecture}",
  	author	=	" K. Barkaoui and R. Benosman and Y. Albrieux ",
  	booktitle	=	"{IEEE International Conference on Service-Oriented Computing and Applications. SOCA 2013}",
  	year	=	2012,
  	month	=	"December",
  	pages	=	"1-7",
  }

  ] K. Barkaoui , R. Benosman , Y. Albrieux - Performance Evaluation of a Massively Parallel ESB-Oriented Architecture, IEEE International Conference on Service-Oriented Computing and Applications. SOCA 2013, December 2012, pp.1-7,
• [EBM12

  @inproceedings {
  	EBM12,
  	title	=	"{Service Composition Adaptation: an Overview }",
  	author	=	" M. Eslamichalandar and K. Barkaoui and H. Motahari-Nezhad ",
  	booktitle	=	"{2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12)}",
  	year	=	2012,
  	edition	=	"CPS",
  	month	=	"November",
  	pages	=	"1-8",
  	note	=	"{to be published by CPS (November 2012)}",
  }

  ] 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

  @inproceedings {
  	DB 12,
  	title	=	"{On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS}",
  	author	=	" L. Ding and K. Barkaoui and M. Zhou ",
  	booktitle	=	"{11th International Workshop on Discrete Event Systems - WODES 2012}",
  	year	=	2012,
  	edition	=	"IFAC",
  	month	=	"October",
  	series	=	"IFAC",
  	pages	=	"1-6",
  	note	=	"{to be published in IFAC-PapersOnLine}",
  }

  ] 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.1-6, Series IFAC,
• [BHB12

  @inproceedings {
  	BHB12,
  	title	=	"{Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study}",
  	author	=	" K. Barkaoui and A. Hicheur and A. Ben Dhieb ",
  	booktitle	=	"{Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-16",
  	note	=	"{formal proceedings to appear}",
  }

  ] 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

  @inproceedings {
  	EB12,
  	title	=	"{Survivability Analysis of VMIMO link in Multi-hop Wireless Network}",
  	author	=	" M. Escheikh and K. Barkaoui ",
  	booktitle	=	"{The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012}",
  	year	=	2012,
  	month	=	"August",
  	pages	=	"1-8",
  	note	=	"{Workshop affiliated to FM 2012 http://fm2012.cnam.fr/ }",
  }

  ] 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,
• [BB12b

  @inproceedings {
  	BB12b,
  	title	=	"{Parametric Verification of TimeWorkflow Nets}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{The 24th International Conference on Software Engineering and Knowledge Engineering - SEKE 2012 (to appear).}",
  	year	=	2012,
  	month	=	"July",
  	pages	=	"1-6",
  }

  ] H. Boucheneb , K. Barkaoui - Parametric Verification of TimeWorkflow Nets, The 24th International Conference on Software Engineering and Knowledge Engineering - SEKE 2012 (to appear)., July 2012, pp.1-6,
• [BB12a

  @inproceedings {
  	BB12a,
  	title	=	"{Reachability Analysis of P-Time Petri Nets with Parametric Markings}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{12th International Conference on Application of Concurrency to System Design ACSD 2012 (to appear).}",
  	year	=	2012,
  	month	=	"June",
  	pages	=	"1-10",
  	address	=	"Hamburg, Germany",
  }

  ] H. Boucheneb , K. Barkaoui - Reachability Analysis of P-Time Petri Nets with Parametric Markings, 12th International Conference on Application of Concurrency to System Design ACSD 2012 (to appear)., June 2012, pp.1-10, Hamburg, Germany,
• [EB12a

  @inproceedings {
  	EB12a,
  	title	=	"{Network Availability Modeling of VMIMO link in Multi-hop Wireless Network}",
  	author	=	" M. Escheikh and K. Barkaoui ",
  	booktitle	=	"{4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12) }",
  	year	=	2012,
  	month	=	"March",
  	pages	=	"1-6",
  }

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

Livre

• [BFD12a

  @book {
  	BFD12a,
  	title	=	"{BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II}",
  	author	=	"K. Barkaoui and D. Florian and S. Dustdar",
  	year	=	2012,
  	publisher	=	"Springer-Verlag",
  	pages	=	"480p",
  	note	=	"{http://www.informatik.uni-trier.de/~ley/db/conf/bpm/bpmw2011-2.html }",
  	isbn	=	"ISBN 978-3-642-28114-3",
  }

  ] 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

  @article {
  	ZLB11,
  	title	=	"{Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View }",
  	author	=	"C. Zhong and Z. Li and K. Barkaoui",
  	journal	=	"International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198)",
  	year	=	2011,
  	volume	=	7,
  	number	=	12,
  	pages	=	"6677-6690",
  }

  ] 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

  @article {
  	BMP11,
  	title	=	"{Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I}",
  	author	=	"K. Barkaoui and B. Monsuez and D. Poitrenaud",
  	journal	=	"International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers",
  	year	=	2011,
  	volume	=	2,
  	number	=	3/4, 2011,
  	pages	=	"414",
  	note	=	"{http://www.inderscience.com/browse/index.php?journalID=325&year=2011&vol=2&issue=3/4}",
  	doi	=	"1757-8779",
  }

  ] 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)
• [BBB11a

  @article {
  	BBB11a,
  	title	=	"{A tile logic-based semantics for mobile software architectures}",
  	author	=	"K. Barkaoui and C. Bouanaka and F. Belala",
  	journal	=	"International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers",
  	year	=	2011,
  	volume	=	2,
  	number	=	3/4,
  	pages	=	"288-308",
  	note	=	"{http://www.inderscience.com/search/index.php?action=record&rec_id=42330&prevQuery=&ps=10&m=or}",
  }

  ] 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
• [BB11a

  @article {
  	BB11a,
  	title	=	"{Relevant Timed Schedules / Clock Vectors for Constructing Time Petri Net Reachability Graphs}",
  	author	=	"H. Boucheneb and K. Barkaoui",
  	journal	=	"Discrete Event Dynamic Systems: Theory and Applications",
  	year	=	2011,
  	volume	=	21,
  	number	=	2 - 2011,
  	pages	=	"171-204 ",
  	note	=	"{http://www.springerlink.com/content/9678286731hr7726/}",
  }

  ] 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
• [BB11

  @article {
  	BB11,
  	title	=	"{Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets}",
  	author	=	"H. Boucheneb and K. Barkaoui",
  	journal	=	"ACM Transactions on Embedded Computing Systems (TECS)",
  	year	=	2011,
  	pages	=	"00-00",
  	note	=	"{accepted, to be appear}",
  }

  ] H. Boucheneb , K. Barkaoui - Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets, ACM Transactions on Embedded Computing Systems (TECS), pp. 00-00, 2011
• [BBB11c

  @article {
  	BBB11c,
  	title	=	"{Implémentation Orientée Objet d'ABAReL en Maude}",
  	author	=	"M. Benammar and F. Belala and K. Barkaoui",
  	journal	=	"Technique et Science Informatiques",
  	year	=	2011,
  	volume	=	30,
  	pages	=	"741-767",
  	note	=	"{A paraître}",
  }

  ] 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

• [AB11b

  @inproceedings {
  	AB11b,
  	title	=	"{Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks}",
  	author	=	" R. Abo and K. Barkaoui ",
  	booktitle	=	"{WLN'11, 11th IEEE International Workshop on Wireless Local Networks }",
  	year	=	2011,
  	month	=	"December",
  	pages	=	"22-30",
  	address	=	"Bonn, Germany",
  }

  ] 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

  @inproceedings {
  	BE11,
  	title	=	"{Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic Petri nets}",
  	author	=	" K. Barkaoui and M. Escheikh ",
  	booktitle	=	"{7th ACM symposium on QoS and security for wireless and mobile networks}",
  	year	=	2011,
  	edition	=	"ACM NY USA 2011",
  	month	=	"November",
  	pages	=	"9-16",
  	note	=	"{http://dl.acm.org/citation.cfm?id=2069105&picked=prox&cfid=66845483&cftoken=85675785}",
  }

  ] 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

  @inproceedings {
  	AB11,
  	title	=	"{A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking}",
  	author	=	" R. Abo and K. Barkaoui ",
  	booktitle	=	"{The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King’s College (Strand Campus)}",
  	year	=	2011,
  	month	=	"June",
  	pages	=	"25-34",
  	address	=	"London, United Kingdom",
  }

  ] 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,
• [BBB11b

  @inproceedings {
  	BBB11b,
  	title	=	"{Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems }",
  	author	=	" K. Barkaoui and F. Belala and C. Bouanaka ",
  	booktitle	=	"{NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems}",
  	year	=	2011,
  	month	=	"May",
  	pages	=	"1-8",
  	address	=	"Paris, France",
  }

  ] 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,
• [BCL11

  @inproceedings {
  	BCL11,
  	title	=	"{Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems }",
  	author	=	" K. Barkaoui and Y. Chen and Z. Li ",
  	booktitle	=	"{IEEE 16th International Conference on Emerging Technologies & Factory Automation (ETFA), 2011 }",
  	year	=	2011,
  	month	=	"February",
  	series	=	"IEEE/IET (IEL)",
  	pages	=	"1 - 6 ",
  	note	=	"{http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6059027&tag=1}",
  	doi	=	"10.1109/ETFA.2011.6059027 ",
  }

  ] K. Barkaoui , Y. Chen , Z. Li - 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

  @inproceedings {
  	BD11,
  	title	=	"{On the Modeling of Healthcare Workflows Using Recursive ECATNets}",
  	author	=	" K. Barkaoui and A. Dhiab ",
  	booktitle	=	"{Business Process Management Workshops }",
  	year	=	2011,
  	edition	=	"Spriinger",
  	month	=	"February",
  	series	=	"Lecture Notes in Business Information Processing",
  	volume	=	100,
  	issue	=	2,
  	pages	=	"99-107",
  	address	=	"Clermont-Ferrand, France",
  	note	=	"{http://www.springerlink.com/content/t413415w82933854/}",
  	doi	=	"10.1007/978-3-642-28115-0_10 ",
  }

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

Conférence Nationale avec comité de lecture

• [BBB11d

  @inproceedings {
  	BBB11d,
  	title	=	"{Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques }",
  	author	=	" N. Benlahrache and F. Belala and K. Barkaoui ",
  	booktitle	=	"{CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, }",
  	year	=	2011,
  	month	=	"June",
  	pages	=	"15-29",
  }

  ] 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,
• [AB11a

  @inproceedings {
  	AB11a,
  	title	=	"{Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier}",
  	author	=	" R. Abo and K. Barkaoui ",
  	booktitle	=	"{ARC 2011, 4e colloque « Automatique et Réseaux de Communication (ARC) »}",
  	year	=	2011,
  	month	=	"April",
  	pages	=	"15-23",
  	address	=	"Paris, France",
  }

  ] 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

• [BFD11a

  @book {
  	BFD11a,
  	title	=	"{BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I }",
  	author	=	"K. Barkaoui and D. Florian and S. Dustdar",
  	year	=	2011,
  	publisher	=	"Springer-Verlag",
  	pages	=	"482 p.",
  	note	=	"{http://www.informatik.uni-trier.de/~ley/db/conf/bpm/bpmw2011-1.html springer.com}",
  	isbn	=	"978-3-642-28107-5",
  }

  ] 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

  @article {
  	BB10,
  	title	=	"{Uniform Verification of Workflow Soundness}",
  	author	=	"K. Barkaoui and R. Ben Ayed",
  	journal	=	"Transactions of the Institute of Measurement and Control Journal",
  	year	=	2010,
  	volume	=	31,
  	pages	=	" 1-16",
  }

  ] 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

  @article {
  	EB10,
  	title	=	"{Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks}",
  	author	=	"M. Escheikh and K. Barkaoui",
  	journal	=	"In Concurrency and Computation Journal : Practice and Experience",
  	year	=	2010,
  	volume	=	22,
  	number	=	10,
  	pages	=	"1308-1324",
  }

  ] 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

  @article {
  	BBB10,
  	title	=	"{Mapping UML 2.0 Activities to Zero-Safe Nets}",
  	author	=	"S. Boufenara and F. Belala and K. Barkaoui",
  	journal	=	"Journal of Software Engineering and Applications",
  	year	=	2010,
  	volume	=	3,
  	number	=	5,
  	pages	=	"426-435",
  }

  ] 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

  @article {
  	ZBB10,
  	title	=	"{Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol}",
  	author	=	"H. Zayani and K. Barkaoui and R. Ben Ayed",
  	journal	=	"International Journal of Wireless & Mobile Networks",
  	year	=	2010,
  	volume	=	2,
  	number	=	2,
  	pages	=	"156-170",
  }

  ] 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
• [MB10a

  @article {
  	MB10a,
  	title	=	"{A Neuro-Fuzzy Model for QoS Based Selection of Web Service}",
  	author	=	"A. Missaoui and K. Barkaoui",
  	journal	=	"Journal of Software Engineering and Applications",
  	year	=	2010,
  	volume	=	3,
  	number	=	6,
  	pages	=	"588-592",
  }

  ] 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
• [BBB10a

  @article {
  	BBB10a,
  	title	=	"{Mapping UML2.0 Activities to Zero-Safe Nets}",
  	author	=	"S. Boufennara and F. Belala and K. Barkaoui",
  	journal	=	"Journal of Software Engineering and Applications (JSEA)",
  	year	=	2010,
  	volume	=	3,
  	number	=	5,
  	pages	=	"426—435",
  }

  ] 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

  @article {
  	CBB10,
  	title	=	"{A Tile Logic Based Approach for Software Architecture Description Analysis}",
  	author	=	"A. Choutri and F. Belala and K. Barkaoui",
  	journal	=	"Journal of Software Engineering and Applications (JSEA)",
  	year	=	2010,
  	volume	=	3,
  	number	=	11,
  	pages	=	"1067-1079",
  }

  ] 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

  @article {
  	MHB10,
  	title	=	"{A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets}",
  	author	=	"B. Marzougui and K. Hassine and K. Barkaoui",
  	journal	=	"Journal of Software Engineering and Applications (JSEA)",
  	year	=	2010,
  	volume	=	3,
  	number	=	12,
  	pages	=	"1118-1124",
  }

  ] 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
• [KSB10a

  @article {
  	KSB10a,
  	title	=	"{Model-based testing approach for mobile agents using the paradigm of reference net}",
  	author	=	"Y. Kissoum and Z. Sahnoun and K. Barkaoui",
  	journal	=	"Multiagent and Grid Systems",
  	year	=	2010,
  	volume	=	6,
  	number	=	4,
  	pages	=	"271-292",
  }

  ] 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

  @article {
  	MSB10,
  	title	=	"{Vérification Formelle des Aspects de Cohérence d’un Workflow net}",
  	author	=	"A. Missaoui and Z. Sbai and K. Barkaoui",
  	journal	=	"Revue électronique Sciences et Technologies de l’Automatique (e-STA)",
  	year	=	2010,
  	volume	=	7,
  	number	=	1,
  	pages	=	"37-41",
  }

  ] 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

  @inproceedings {
  	ABZ10,
  	title	=	"{A Probabilistic Analysis of Energy Efficiency of Wireless Sensor Network Duty-Cycled MAC Protocols: Application to S-MAC and Eco-MAC}",
  	author	=	" R. Abo and K. Barkaoui and H. Zayani ",
  	booktitle	=	"{Q2SWinet'10, 6th ACM/IEEE International Symposium on QoS and Security for Wireless and Mobile Networks (in conjunction with MsWim'10)}",
  	year	=	2010,
  	month	=	"October",
  	pages	=	"15-27",
  	address	=	"Bodrum, Turkey",
  }

  ] 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,
• [MSB10a

  @inproceedings {
  	MSB10a,
  	title	=	"{Model Checking Verification of Web Services Composition}",
  	author	=	" A. Missaoui and Z. Sbai and K. Barkaoui ",
  	booktitle	=	"{ACT4SOC'10, 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Athens, Greece, 23 July}",
  	year	=	2010,
  	month	=	"July",
  	pages	=	"80-92",
  }

  ] 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

  @inproceedings {
  	ABD10,
  	title	=	"{Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi}",
  	author	=	" R. Abo and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10)}",
  	year	=	2010,
  	month	=	"June",
  	pages	=	"65-74",
  	address	=	"Genoa, Italy",
  }

  ] 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,
• [BBB10b

  @inproceedings {
  	BBB10b,
  	title	=	"{A Tile Logic Based Semantics for Mobile Software Architecture}",
  	author	=	" C. Bouanaka and F. Belala and K. Barkaoui ",
  	booktitle	=	"{VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010}",
  	year	=	2010,
  	month	=	"January",
  	series	=	"The eWiC Series (ISSN 1477-9358)",
  	pages	=	"35-47",
  }

  ] 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

  @inproceedings {
  	BEK10,
  	title	=	"{Structural Verification of Web Services Composition Compatibility}",
  	author	=	" K. Barkaoui and M. Eslamichalandar and M. Kaabachi ",
  	booktitle	=	"{EOMAS 2010, 6th International Workshop on Enterprise & Organizational Modeling and Simulation, Hammamet, Tunisia, June 7 - 8, 2010.}",
  	year	=	2010,
  	month	=	"January",
  	series	=	"CEUR Workshop Proceedings , ISSN 1613-0073",
  	pages	=	"30-41",
  }

  ] 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

  @inproceedings {
  	SMB10,
  	title	=	"{On the Verification of Business Processes by Model Checking Techniques}",
  	author	=	" Z. Sbai and A. Missaoui and K. Barkaoui and R. Ben Ayed ",
  	booktitle	=	"{ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5}",
  	year	=	2010,
  	month	=	"January",
  	pages	=	"97-103",
  }

  ] 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,
• [BB10c

  @inproceedings {
  	BB10c,
  	title	=	"{On interleaving in {P,A}-Time Petri nets with strong semantics}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{INFINITY'10, 12th International Workshop on Verification of Infinite-State Systems, Singapore, 21st of September 2010}",
  	year	=	2010,
  	month	=	"January",
  	series	=	"EPTCS",
  	volume	=	39,
  	pages	=	"17-31",
  }

  ] 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

  @inproceedings {
  	EB09,
  	title	=	"{Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks}",
  	author	=	" M. Escheikh and K. Barkaoui ",
  	booktitle	=	"{ISCC'09, 14th IEEE Symposium on Computers and Communications, Sousse, Tunisia, July 5-8}",
  	year	=	2009,
  	month	=	"July",
  	pages	=	"23-29",
  }

  ] 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

  @inproceedings {
  	BCB09,
  	title	=	"{Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets}",
  	author	=	" H. Bennoui and A. Chaoui and K. Barkaoui ",
  	booktitle	=	"{ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4}",
  	year	=	2009,
  	month	=	"June",
  	pages	=	"99-106",
  }

  ] 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,
• [ABS09i

  @inproceedings {
  	ABS09i,
  	title	=	"{On modelling adaptive service-oriented business processes}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{AICCSA 2009, 7th ACS/IEEE International Conference on Computer Systems and Applications}",
  	year	=	2009,
  	month	=	"June",
  	pages	=	"47–52",
  	address	=	"Rabat, Morocco",
  }

  ] 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,
• [AB09a

  @inproceedings {
  	AB09a,
  	title	=	"{Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes}",
  	author	=	" N. Aoumeur and K. Barkaoui ",
  	booktitle	=	"{ICIW'09, Fourth International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, May 24-28}",
  	year	=	2009,
  	month	=	"May",
  	pages	=	"474-480",
  }

  ] 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

  @inproceedings {
  	KSB09,
  	title	=	"{An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm}",
  	author	=	" Y. Kissoum and Z. Sahnoun and K. Barkaoui ",
  	booktitle	=	"{RCIS'09, 3rd IEEE International Conference on Research Challenges in Information Science, Fez, Morocco, April 22-24}",
  	year	=	2009,
  	month	=	"April",
  	series	=	"IEEE",
  	pages	=	"207-216",
  }

  ] 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,
• [BBH09a

  @inproceedings {
  	BBH09a,
  	title	=	"{Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets}",
  	author	=	" K. Barkaoui and H. Boucheneb and A. Hicheur ",
  	booktitle	=	"{WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	5387,
  	pages	=	"19-36",
  }

  ] 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,
• [ABS09a

  @inproceedings {
  	ABS09a,
  	title	=	"{Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{RSP'09, 20th IEEE/IFIP Int. Symp. on Rapid System Prototyping, Paris, France}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"19-26",
  }

  ] 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,
• [BBH09

  @inproceedings {
  	BBH09,
  	title	=	"{Design and Verification of Time-Constrained Workflow with Multi-Level Security}",
  	author	=	" K. Barkaoui and H. Boucheneb and A. Hicheur ",
  	booktitle	=	"{DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"25-32",
  }

  ] 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

  @inproceedings {
  	BBD09,
  	title	=	"{Performance Evaluation of the IEEE 802.11 WLAN Supporting QoS}",
  	author	=	" A. Bedoui and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{FeT'09, 8th IFAC International Conference on Fieldbuses and neTworks in industrial and embedded systems, Ansan, Korea}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"27-34",
  }

  ] 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

  @inproceedings {
  	BBM09,
  	title	=	"{An Event Structure Based Coordination Model for Collaborative Sessions}",
  	author	=	" K. Barkaoui and C. Bouanaka and J. Molina Espinosa ",
  	booktitle	=	"{ICEIS'09, 11th International Conference on Enterprise Information Systems, Milan, Italy}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"Information Systems Analysis and Specification",
  	pages	=	"137-143",
  }

  ] 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,
• [ABS09

  @inproceedings {
  	ABS09,
  	title	=	"{A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{ISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"1-8",
  }

  ] 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,
• [BB09

  @inproceedings {
  	BB09,
  	title	=	"{On combining the ready sets with the covering steps methods}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"eWiC Series",
  	pages	=	"74-84",
  }

  ] 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,
• [ABS09c

  @inproceedings {
  	ABS09c,
  	title	=	"{Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{ECBS'09, 16th Annual IEEE Int. Conf. on the Engineering of Computer Based Systems, San Fransisco, USA}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"138-146",
  }

  ] 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

  @inproceedings {
  	CDB09,
  	title	=	"{Orthogonal and Non-orthogonal Cooperative protocols in WLANs}",
  	author	=	" J. Chen and K. Djouani and K. Barkaoui ",
  	booktitle	=	"{VECoS'09, 3rd IEEE International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"eWiC Series",
  	pages	=	"40-53",
  }

  ] 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,
• [ABS09d

  @inproceedings {
  	ABS09d,
  	title	=	"{Towards a Disciplined Engineering of Adaptive Service-oriented Business Processes}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{ICIW'09, 4th IEEE International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"474-480",
  }

  ] 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,
• [HB09

  @inproceedings {
  	HB09,
  	title	=	"{Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes}",
  	author	=	" A. Hicheur and K. Barkaoui ",
  	booktitle	=	"{INCOM’09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"1949-1954",
  }

  ] 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,
• [BB09b

  @inproceedings {
  	BB09b,
  	title	=	"{Covering Steps Graphs of Time Petri Nets}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"ENTCS",
  	issue	=	239,
  	pages	=	"155-165",
  }

  ] 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,
• [ABS09f

  @inproceedings {
  	ABS09f,
  	title	=	"{Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{RSP'09, 20th IEEE/IFIP International Symposium on Rapid System Prototyping, Paris, France}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"19-26",
  }

  ] 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,
• [SBB09

  @inproceedings {
  	SBB09,
  	title	=	"{Workflow Modeling and Analysis using Petri Nets}",
  	author	=	" Z. Sbai and K. Barkaoui and R. Ben Ayed ",
  	booktitle	=	"{ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"25-33",
  }

  ] 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,
• [ABS09g

  @inproceedings {
  	ABS09g,
  	title	=	"{Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{ECBS'09, 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, San Francisco, California, USA}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"138-146",
  }

  ] 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

  @inproceedings {
  	BBB09,
  	title	=	"{ Extension d'ABAReL par les Propriétés d'Exécution.}",
  	author	=	" M. Benammar and F. Belala and K. Barkaoui and N. Benlahrache ",
  	booktitle	=	"{CAL'09, 3ième Conférence sur les Architectures Logicielles, Nancy, France}",
  	year	=	2009,
  	month	=	"January",
  	series	=	"CAL 2009",
  	pages	=	"28-41",
  }

  ] 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,
• [ABS09e

  @inproceedings {
  	ABS09e,
  	title	=	"{On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET Environment}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake and C. Rautenstrauch ",
  	booktitle	=	"{WWS'09, 1er Workshop sur les Services Web dans les Systèmes d'Information, Algiers, Algeria}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"1-11",
  }

  ] 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

  @article {
  	BBC08,
  	title	=	"{Guest Editorial}",
  	author	=	"K. Barkaoui and M. Broy and A. Cavalcanti and A. Cerrone",
  	journal	=	"Formal Aspects of Computing Journal",
  	year	=	2008,
  	volume	=	20,
  	number	=	4,
  	pages	=	"349-350",
  }

  ] 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

• [DCA08a

  @inproceedings {
  	DCA08a,
  	title	=	"{An Effective Link Adaptation Method in Cooperative Wireless Networks}",
  	author	=	" K. Djouani and J. Chen and A. Akharraz and K. Barkaoui ",
  	booktitle	=	"{APSCC'08, IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12}",
  	year	=	2008,
  	month	=	"December",
  	series	=	"IEEE",
  	pages	=	"914 - 919",
  }

  ] 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

  @inproceedings {
  	HB08,
  	title	=	"{Modélisation des workflows collaboratifs à l'aide des ECATNets récursifs}",
  	author	=	" A. Hicheur and K. Barkaoui ",
  	booktitle	=	"{NOTERE'2008, 8th Int. Conf. on New Technologies in Distributed Systems, Lyon, France}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"IEEE/ACM",
  	issue	=	8,
  	pages	=	"269-279",
  }

  ] 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

  @inproceedings {
  	BH08,
  	title	=	"{Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets}",
  	author	=	" K. Barkaoui and A. Hicheur ",
  	booktitle	=	"{ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"IEEE",
  	issue	=	15,
  	pages	=	"95-99",
  }

  ] 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

  @inproceedings {
  	CBB08,
  	title	=	"{Towards a Tile Based LfP Semantics}",
  	author	=	" A. Choutri and F. Belala and K. Barkaoui ",
  	booktitle	=	"{RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"IEEE",
  	issue	=	2,
  	pages	=	"9-16",
  }

  ] 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

  @inproceedings {
  	ABS08,
  	title	=	"{Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{ITNG'08, 5th International Conference on Information Technology: New Generations, Las Vegas, USA}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"IEEE",
  	issue	=	5,
  	pages	=	"1305-1307",
  }

  ] 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

  @inproceedings {
  	DCA08,
  	title	=	"{Link adaptation for cooperative Wireless LANs}",
  	author	=	" K. Djouani and J. Chen and A. Akharraz and K. Barkaoui ",
  	booktitle	=	"{WiCOM'08, 4th IEEE Int. Conf. on Wireless Communications, Networking and Mobile Computing, Dalian, China}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"1-4",
  }

  ] 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,
• [BBB08a

  @inproceedings {
  	BBB08a,
  	title	=	"{Verification of Workflow processes under multilevel security considerations}",
  	author	=	" K. Barkaoui and R. Ben Ayed and H. Boucheneb and A. Hicheur ",
  	booktitle	=	"{CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"IEEE-4",
  	issue	=	5,
  	pages	=	"77-84",
  }

  ] 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

  @inproceedings {
  	BB08,
  	title	=	"{Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs}",
  	author	=	" H. Boucheneb and K. Barkaoui ",
  	booktitle	=	"{FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"LNCS ",
  	volume	=	5215,
  	pages	=	"265-279",
  }

  ] 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

  @inproceedings {
  	JBG08,
  	title	=	"{On the use of real-time Maude for architecture description and verification : a case study}",
  	author	=	" C. Jerad and K. Barkaoui and A. Grissa-Touzi ",
  	booktitle	=	"{1st International Academic Conference on Visions of Computer Science, London, UK}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"eWiC Series",
  	pages	=	"305-317",
  }

  ] 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

  @inproceedings {
  	SBB08,
  	title	=	"{Sur la vérification de la cohérence de processus workflow temporisés}",
  	author	=	" Z. Sbai and K. Barkaoui and R. Ben Ayed ",
  	booktitle	=	"{GEI'08, 8ièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia}",
  	year	=	2008,
  	month	=	"January",
  	pages	=	"57-68",
  }

  ] 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

  @inproceedings {
  	BKH08,
  	title	=	"{Vers une nouvelle approche de composition des Services Web dirigée par la QoS}",
  	author	=	" K. Barkaoui and N. Kraïem and M. Hamrouni ",
  	booktitle	=	"{GEI'08, 8ièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia}",
  	year	=	2008,
  	month	=	"January",
  	pages	=	"15-23",
  }

  ] 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

  @inproceedings {
  	MB08,
  	title	=	"{Web Service Composition Supporting Quality of Service}",
  	author	=	" A. Missaoui and K. Barkaoui ",
  	booktitle	=	"{JTEA 2008- Tunis}",
  	year	=	2008,
  	month	=	"January",
  	pages	=	"15-24",
  }

  ] 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

• [BBS07a

  @article {
  	BBS07a,
  	title	=	"{Workflow Soundness Verification Based on Structure Theory of Petri Nets}",
  	author	=	"K. Barkaoui and R. Benayed and Z. Sbai",
  	journal	=	"International Journal of Computing & Information Sciences (IJCIS Journal)",
  	year	=	2007,
  	volume	=	5,
  	number	=	1,
  	pages	=	"51-62",
  }

  ] 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

• [BH07

  @inproceedings {
  	BH07,
  	title	=	"{Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets}",
  	author	=	" K. Barkaoui and A. Hicheur ",
  	booktitle	=	"{CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"LNCS ",
  	issue	=	4928,
  	pages	=	"206-217",
  }

  ] 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 ,
• [HB07a

  @inproceedings {
  	HB07a,
  	title	=	"{Formal Modeling and Analysis of Flexible Automated Production Workflows}",
  	author	=	" A. Hicheur and K. Barkaoui ",
  	booktitle	=	"{CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria}",
  	year	=	2007,
  	month	=	"January",
  	pages	=	"45-56",
  }

  ] 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,
• [BBD07

  @inproceedings {
  	BBD07,
  	title	=	"{Performance Study of IEEE 802.11 WLAN Integrating QoS requirements}",
  	author	=	" A. Bedoui and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{ICWMC'07, 3rd Int. Conf. on Wireless and Mobile Communications, Guadeloupe, French Caribbean}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"IEEE",
  	issue	=	3,
  	pages	=	"69-73",
  }

  ] 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

  @inproceedings {
  	ABS07,
  	title	=	"{Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"IEEE",
  	issue	=	11,
  	pages	=	"123-137",
  }

  ] 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,
• [EB07a

  @inproceedings {
  	EB07a,
  	title	=	"{Performance Analysis of High-Speed TCP Protocols BIC and CUBIC with AQM in Lossy Networks}",
  	author	=	" M. Escheikh and K. Barkaoui ",
  	booktitle	=	"{CSNA'07, Int. Conf. on Communications Systems, Networks, and Applications, Beijing, China}",
  	year	=	2007,
  	month	=	"January",
  	pages	=	"55-62",
  }

  ] 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,
• [ZBD07a

  @inproceedings {
  	ZBD07a,
  	title	=	"{ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks}",
  	author	=	" H. Zayani and R. Ben Ayed and K. Djouani and K. Barkaoui ",
  	booktitle	=	"{PM²HW²N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"ACM",
  	issue	=	2,
  	pages	=	"68-71",
  }

  ] 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,
• [MB07

  @inproceedings {
  	MB07,
  	title	=	"{On The Integration of QOS Management in Web Service Architecture}",
  	author	=	" A. Missaoui and K. Barkaoui ",
  	booktitle	=	"{WEBIST'07, 3rd Int. Conf. on Web Information Systems and Technologies, Barcelona, Spain}",
  	year	=	2007,
  	month	=	"January",
  	issue	=	3,
  	pages	=	"25-32",
  }

  ] 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,
• [JBG07

  @inproceedings {
  	JBG07,
  	title	=	"{On the Design and Analysis of Real-time Systems}",
  	author	=	" C. Jerad and K. Barkaoui and A. Grissa-Touzi ",
  	booktitle	=	"{CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"ISCA",
  	issue	=	22,
  	pages	=	"380-386",
  }

  ] 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,
• [JBG07a

  @inproceedings {
  	JBG07a,
  	title	=	"{Hierarchical Verification in Maude of LfP Software Architectures}",
  	author	=	" C. Jerad and K. Barkaoui and A. Grissa-Touzi ",
  	booktitle	=	"{ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"LNCS ",
  	issue	=	4758,
  	pages	=	"156-170",
  }

  ] 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 ,
• [ABS07a

  @inproceedings {
  	ABS07a,
  	title	=	"{Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal}",
  	year	=	2007,
  	month	=	"January",
  	issue	=	9,
  	pages	=	"152-158",
  }

  ] 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

  @inproceedings {
  	HBB07,
  	title	=	"{Workflow Specification and Analysis Using Recursive ECATNets}",
  	author	=	" A. Hicheur and K. Barkaoui and N. Boudiaf ",
  	booktitle	=	"{GEA 07, 7emes Journees Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Monastir, Tunisia}",
  	year	=	2007,
  	month	=	"January",
  	pages	=	"15-24",
  }

  ] 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

  @inproceedings {
  	ZBD07,
  	title	=	"{ECoMAC : Un protocole MAC économe en énergie pour les réseaux de capteurs sans fil}",
  	author	=	" H. Zayani and R. Ben Ayed and K. Djouani and K. Barkaoui ",
  	booktitle	=	"{GRES'07, 8ème Colloque Francophone sur la gestion de réseaux et de services, Hammamet, Tunisia}",
  	year	=	2007,
  	month	=	"January",
  	pages	=	"185-192",
  }

  ] 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

  @inproceedings {
  	BBS07,
  	title	=	"{Vérification Paramétrée de la Cohérence des Processus Workflow}",
  	author	=	" K. Barkaoui and R. Ben Ayed and Z. Sbai ",
  	booktitle	=	"{MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France}",
  	year	=	2007,
  	month	=	"January",
  	pages	=	"255-268",
  }

  ] 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,
• [ZBD07b

  @inproceedings {
  	ZBD07b,
  	title	=	"{Vers une optimisation des performances des Réseaux de Capteurs Sans Fils par une approche multicouches}",
  	author	=	" H. Zayani and R. Ben Ayed and K. Djouani and K. Barkaoui ",
  	booktitle	=	"{GEI'07, 7èmes Journées Scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Monastir, Tunisia}",
  	year	=	2007,
  	month	=	"January",
  	pages	=	"71-80",
  }

  ] 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

  @inproceedings {
  	HBB06,
  	title	=	"{Modeling Workflows with Recursive ECATNets}",
  	author	=	" A. Hicheur and K. Barkaoui and N. Boudiaf ",
  	booktitle	=	"{SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania}",
  	year	=	2006,
  	month	=	"January",
  	series	=	"IEEE",
  	issue	=	8,
  	pages	=	"389-398",
  }

  ] 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

  @inproceedings {
  	BBD06,
  	title	=	"{On QoS Support Evaluation in IEEE 802.11 Wireless LAN's}",
  	author	=	" A. Bedoui and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{ICTTA'06, 2nd IEEE Int. Conf. on Information & Communication Technologies: from Theory to Applications, Damascus, Syria}",
  	year	=	2006,
  	month	=	"January",
  	issue	=	2,
  	pages	=	"3257-3261",
  }

  ] 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

  @inproceedings {
  	BCC06,
  	title	=	"{Theoretical Aspects of Computing}",
  	author	=	" K. Barkaoui and A. Cavalcanti and A. Cerone ",
  	booktitle	=	"{ICTAC'06, 3rd International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia}",
  	year	=	2006,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	4281,
  	issue	=	2006,
  }

  ] 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,
• [BBC06a

  @inproceedings {
  	BBC06a,
  	title	=	"{Applying Reduction Rules to ECATNets}",
  	author	=	" N. Boudiaf and K. Barkaoui and A. Chaoui ",
  	booktitle	=	"{AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria}",
  	year	=	2006,
  	month	=	"January",
  	series	=	"ENTCS",
  	pages	=	"42-55",
  	note	=	"{Workshop co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS'06)}",
  }

  ] 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

  @inproceedings {
  	SBB06,
  	title	=	"{Vers l'analyse des processus d'entreprise jPdl fondée sur les réseaux de Petri}",
  	author	=	" Z. Sbai and R. Ben Ayed and K. Barkaoui ",
  	booktitle	=	"{GEI'06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Hammamet, Tunisia}",
  	year	=	2006,
  	month	=	"January",
  	series	=	"CPU Ed.",
  	pages	=	"171-181",
  	note	=	"{note}",
  }

  ] 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

  @inproceedings {
  	ZBD06,
  	title	=	"{Etude de protocole MAC dans les réseaux de capteurs sans fil}",
  	author	=	" H. Zayani and R. Ben Ayed and K. Djouani and K. Barkaoui ",
  	booktitle	=	"{GEI’06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Hammamet, Tunisia}",
  	year	=	2006,
  	month	=	"January",
  	series	=	"CPU Ed.",
  	pages	=	"63-71",
  }

  ] 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

  @inproceedings {
  	BBC06,
  	title	=	"{Implémentation des Régles de Réduction des ECATNets dans MAUDE}",
  	author	=	" N. Boudiaf and K. Barkaoui and A. Chaoui ",
  	booktitle	=	"{MOSIM'06, 6ème Conférence Francophone de MOdélisation et SIMulation, Rabat, Morocco}",
  	year	=	2006,
  	month	=	"January",
  	issue	=	6,
  	pages	=	"505-514",
  }

  ] 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

• [BP06a

  @inbook {
  	BP06a,
  	title	=	"{}",
  	chapter	=	"{Approches structurelles}",
  	author	=	"K. Barkaoui and J. Peyre",
  	year	=	2006,
  }

  ] K. Barkaoui , J. Peyre - Approches structurelles, January 2006,

2005

Revue Nationale avec comité de lecture

• [GJB05

  @article {
  	GJB05,
  	title	=	"{Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés}",
  	author	=	"A. Grissa-Touzi and C. Jerad and K. Barkaoui",
  	journal	=	"Les Annales Maghrébines de l'Ingénieur",
  	year	=	2005,
  	volume	=	2,
  	number	=	1,
  	pages	=	"587-599",
  }

  ] 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

• [BCK05

  @inproceedings {
  	BCK05,
  	title	=	"{On the Equivalence between Deadlock Freeness and Liveness in Petri Nets}",
  	author	=	" K. Barkaoui and J. Couvreur and K. Klai ",
  	booktitle	=	"{ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"LNCS",
  	issue	=	3536,
  	pages	=	"90-107",
  }

  ] 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

  @inproceedings {
  	JB05,
  	title	=	"{On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP}",
  	author	=	" C. Jerad and K. Barkaoui ",
  	booktitle	=	"{RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"202-208",
  }

  ] 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,
• [BBD05a

  @inproceedings {
  	BBD05a,
  	title	=	"{Global Solution for the Support of QoS by IEEE 802.11 Wireless Local Area Networks}",
  	author	=	" A. Bedoui and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{PWC'05, 10th IFIP Int. Conf. on Personal Wireless Communications, Colmar, France}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"IFIP",
  	issue	=	10,
  	pages	=	"252-260",
  }

  ] 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,
• [SB05

  @inproceedings {
  	SB05,
  	title	=	"{A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL}",
  	author	=	" H. Sebih and K. Barkaoui ",
  	booktitle	=	"{PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA}",
  	year	=	2005,
  	month	=	"January",
  	pages	=	"1255-1263",
  }

  ] 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

  @inproceedings {
  	ABS05,
  	title	=	"{Coordination and Co-Nets for specifying and reconfiguring Agile information systems}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{PNCWB'05, 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Miami, Florida, USA}",
  	year	=	2005,
  	month	=	"January",
  	issue	=	2,
  	pages	=	"1-16",
  }

  ] 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

  @inproceedings {
  	KBS05,
  	title	=	"{Using AUML to derive formal modelling agents interactions}",
  	author	=	" L. Kahloul and K. Barkaoui and Z. Sahnoun ",
  	booktitle	=	"{AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"109-116",
  }

  ] 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

  @inproceedings {
  	ZBB05,
  	title	=	"{CIRTA: An ECATNets Based Model for Embedded Systems Specification.}",
  	author	=	" N. Zeghib and M. Bettaz and K. Barkaoui ",
  	booktitle	=	"{ESA'05, Int. Conf. on Embedded Systems and Applications, Las Vegas, Nevada, USA}",
  	year	=	2005,
  	month	=	"January",
  	pages	=	"261-267",
  }

  ] 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

  @inproceedings {
  	BBD05,
  	title	=	"{Approche Globale pour la Qualité de Service dans les Réseaux Locaux sans Fils IEEE 802.11}",
  	author	=	" A. Bedoui and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{ISPSA’2005, 7th International Symposium on Programming and Systems, Algiers, Algeria}",
  	year	=	2005,
  	month	=	"January",
  	issue	=	7,
  	pages	=	"131-140",
  }

  ] 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

  @inproceedings {
  	HB05,
  	title	=	"{Conception orientée agent de systèmes workflows}",
  	author	=	" R. Hachicha and K. Barkaoui ",
  	booktitle	=	"{GEI'05, 5ièmes Journées scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia}",
  	year	=	2005,
  	month	=	"January",
  	pages	=	"26-32",
  }

  ] 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

  @inproceedings {
  	GBA05,
  	title	=	"{Un modèle de coordination des sessions coopératives basé sur les structures d'évènements}",
  	author	=	" Y. Gamha and K. Barkaoui and B. Ayeb ",
  	booktitle	=	"{GEI'05, 5ièmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia}",
  	year	=	2005,
  	month	=	"January",
  	pages	=	"18-25",
  }

  ] 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

  @inproceedings {
  	EMB04,
  	title	=	"{Performance evaluation of OCDR using non --Markovian Stochastic Petri Nets}",
  	author	=	" M. Escheikh and J. Maatoug and K. Barkaoui ",
  	year	=	2004,
  	month	=	"January",
  	pages	=	"214-220",
  }

  ] 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

  @inproceedings {
  	BBD04,
  	title	=	"{Sur l'optimisation des méthodes d'accès au canal dans les réseaux locaux sans fil IEEE 802.11}",
  	author	=	" A. Bedoui and K. Barkaoui and K. Djouani ",
  	booktitle	=	"{Actes du 18ème congrès DNAC " De Nouvelles Architectures pour les Communications", Paris}",
  	year	=	2004,
  	month	=	"January",
  }

  ] 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

• [BB03a

  @article {
  	BB03a,
  	title	=	"{On concurrency Control in Mutlidatabase Systems with an Extented Transaction Model}",
  	author	=	"K. Barkaoui and R. Benamara",
  	journal	=	"The Journal of",
  	year	=	2003,
  	volume	=	24,
  	number	=	2,
  	pages	=	"193-202",
  	note	=	"{note}",
  }

  ] K. Barkaoui , R. Benamara - On concurrency Control in Mutlidatabase Systems with an Extented Transaction Model, The Journal of, vol. 24(2), pp. 193-202, 2003

Conférence Internationale avec comité de lecture

• [BR03

  @inproceedings {
  	BR03,
  	title	=	"{Parametrised Verification of Class of Resource Allocation systems}",
  	author	=	" K. Barkaoui and J. Romhain ",
  	booktitle	=	"{Actes de la Conférence Internationale sur la Productique, CIP’03, CDTA - Alger}",
  	year	=	2003,
  	month	=	"January",
  	pages	=	"52-59",
  }

  ] 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

  @inproceedings {
  	BZ03,
  	title	=	"{On the Equivalence between Liveness and deadlock Freeness in Petri Nets}",
  	author	=	" K. Barkaoui and B. Zouari ",
  	booktitle	=	"{ISPS’03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria}",
  	year	=	2003,
  	month	=	"January",
  	pages	=	"213-224",
  }

  ] 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

  @inproceedings {
  	EBE03,
  	title	=	"{Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur web}",
  	author	=	" R. Elloumi and K. Barkaoui and M. Escheikh ",
  	booktitle	=	"{Actes de la Conférence SETIT, Tunisie}",
  	year	=	2003,
  	month	=	"January",
  }

  ] 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,
• [BS03b

  @inproceedings {
  	BS03b,
  	title	=	"{Distance Learning as Opportunity for Improving Quality Learning}",
  	author	=	" K. Barkaoui and Z. Sahnoun ",
  	booktitle	=	"{4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc}",
  	year	=	2003,
  	month	=	"January",
  }

  ] 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

  @inproceedings {
  	CEB03,
  	title	=	"{On performance analysis of Web oriented systems}",
  	author	=	" I. Chouaieb and R. Ezzine and K. Barkaoui ",
  	booktitle	=	"{Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,}",
  	year	=	2003,
  	month	=	"January",
  	pages	=	"59-66",
  }

  ] 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

  @inproceedings {
  	SBB03,
  	title	=	"{Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets}",
  	author	=	" H. Sebih and K. Barkaoui and M. Bettaz and F. Belala and Z. Sahnoun ",
  	booktitle	=	"{1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,}",
  	year	=	2003,
  	month	=	"January",
  }

  ] 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

  @inproceedings {
  	BB03,
  	title	=	"{Un cadre pour une meilleure qualité de service du réseau TUNIPAC}",
  	author	=	" A. Bedoui and K. Barkaoui ",
  	booktitle	=	"{Actes de la Conférence SETIT, Tunis}",
  	year	=	2003,
  	month	=	"January",
  }

  ] 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

  @inproceedings {
  	ZB03,
  	title	=	"{Parameterized supervisor synthesis for a modular class of discrete event systems}",
  	author	=	" B. Zouari and K. Barkaoui ",
  	booktitle	=	"{IEEE Int. Conf. on Systems, Man and Cybernetics, vol.2}",
  	year	=	2003,
  	month	=	"January",
  	pages	=	"1874-1879",
  }

  ] 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,
• [BR03a

  @inproceedings {
  	BR03a,
  	title	=	"{On the authentication control of Needham-Schroeder protocol using Petri Nets}",
  	author	=	" K. Barkaoui and R. Robbana ",
  	booktitle	=	"{International Arab Conference on Information Technology (ACIT'2003), Egypte.}",
  	year	=	2003,
  	month	=	"January",
  }

  ] 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

• [SB03a

  @inproceedings {
  	SB03a,
  	title	=	"{Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets}",
  	author	=	" H. Sebih and K. Barkaoui ",
  	booktitle	=	"{Premier congrès francophone MAJECSTIC'03, Marseille}",
  	year	=	2003,
  	month	=	"January",
  }

  ] 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

  @article {
  	BJM02,
  	title	=	"{Special issue}",
  	author	=	"K. Barkaoui and M. Jmaiel and A. Mili",
  	journal	=	" J. of Systems and Software",
  	year	=	2002,
  	volume	=	60,
  	number	=	2,
  	pages	=	"87-89",
  }

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

Conférence Internationale avec comité de lecture

• [ABS02

  @inproceedings {
  	ABS02,
  	title	=	"{Increasing Conceptual Modelling Reusability Using Componentization and Reflection}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{1st Workshop on Knowledge Foraging for Dynamic Networking of Communities and Economies}",
  	year	=	2002,
  	month	=	"January",
  }

  ] 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

  @inproceedings {
  	BSS02,
  	title	=	"{Agent Based Software Process Modeling Using Object Oriented Petri Nets}",
  	author	=	" K. Barkaoui and R. Seghiri and Z. Sahnoun ",
  	booktitle	=	"{EurAsian Workshop on Agents for Information Management (EURASIA-ICT), Shiraz, Iran}",
  	year	=	2002,
  	month	=	"January",
  }

  ] 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

  @inproceedings {
  	BDH02,
  	title	=	"{Verification and optimisation of an operating room workflow}",
  	author	=	" K. Barkaoui and P. Dechambre and R. Hachicha ",
  	booktitle	=	"{35th Hawaii Int. Conf. on System Sciences . HICSS'02- Vol 7}",
  	year	=	2002,
  	month	=	"January",
  	pages	=	"210",
  }

  ] 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

• [BB01d

  @inproceedings {
  	BB01d,
  	title	=	"{Multi--log-logistic software reliability model}",
  	author	=	" K. Barkaoui and R. Ben Jeddou ",
  	booktitle	=	"{Supplement of the Int. Conf. on Dependable systems and networks, DSN'01}",
  	year	=	2001,
  	month	=	"January",
  }

  ] 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

  @inproceedings {
  	ABS01,
  	title	=	"{On the benefits of rewrite logic as a semantics for algebraic Petri nets in computing siphons and traps}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	year	=	2001,
  	month	=	"January",
  	volume	=	2023,
  }

  ] 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

  @inproceedings {
  	ABS00,
  	title	=	"{On the Benefits of Rewrite Logic as Semantics for Algebraic Petri Nets in Computing Siphons and Traps}",
  	author	=	" N. Aoumeur and K. Barkaoui and G. Saake ",
  	booktitle	=	"{10th Int. Conf. on Computing and Information (ICCI '00)}",
  	year	=	2000,
  	month	=	"January",
  	note	=	"{ }",
  }

  ] 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,
• [BB00a

  @inproceedings {
  	BB00a,
  	title	=	"{A probabilistic analysis of transaction deadlock in multidatabase environnement}",
  	author	=	" K. Barkaoui and R. Benamara ",
  	booktitle	=	"{Artificial and Computational Intelligence for Decision and Control ACIDCA'2000}",
  	year	=	2000,
  	month	=	"January",
  	pages	=	"31- 37",
  }

  ] 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,
• [BEB00a

  @inproceedings {
  	BEB00a,
  	title	=	"{Performance analysis of an NxN ATM switch with Markov Modulated Poisson Process under Back-pressure mechanism}",
  	author	=	" K. Barkaoui and M. Escheikh and A. Bouallegue ",
  	booktitle	=	"{8th Int. Symposium On Modelling, Analysis and Simulation of Computer and telecommunication Systems}",
  	year	=	2000,
  	month	=	"January",
  	pages	=	"416-423",
  }

  ] 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

  @inproceedings {
  	CBM99,
  	title	=	"{Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE}",
  	author	=	" A. Chaoui and M. Bettaz and M Maouche and K. Barkaoui ",
  	booktitle	=	"{MOSIM'99, SCS International}",
  	year	=	1999,
  	month	=	"January",
  	pages	=	"131-136",
  }

  ] 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

  @inproceedings {
  	BMB99,
  	title	=	"{De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets}",
  	author	=	" M. Bettaz and M Maouche and K. Barkaoui ",
  	booktitle	=	"{MOSIM'99, SCS International}",
  	year	=	1999,
  	month	=	"January",
  	pages	=	"125-130",
  }

  ] 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

  @inproceedings {
  	BP98,
  	title	=	"{Verification in Concurrent Programming with Petri nets Structural Techniques}",
  	author	=	" K. Barkaoui and J. Pradat-Peyre ",
  	booktitle	=	"{Third IEEE International High-Assurance Systems Engineering Symposium}",
  	year	=	1998,
  	month	=	"January",
  	pages	=	"124-133",
  	note	=	"{note}",
  }

  ] 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,
• [BP98a

  @inproceedings {
  	BP98a,
  	title	=	"{Structural Analysis of Workflow Nets with Shared Ressources}",
  	author	=	" K. Barkaoui and L. Petrucci ",
  	booktitle	=	"{Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98)}",
  	year	=	1998,
  	month	=	"January",
  	pages	=	"82-95",
  	note	=	"{note}",
  }

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

  @inproceedings {
  	BCD98,
  	title	=	"{On the use of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems}",
  	author	=	" K. Barkaoui and A. Chaoui and K. Djemame ",
  	booktitle	=	"{IEEE-CESA'98 (IMACS Multiconference), Nabeul, Tunisia}",
  	year	=	1998,
  	month	=	"January",
  	pages	=	"465-469",
  }

  ] 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

• [BB98a

  @book {
  	BB98a,
  	title	=	"{Actes de la 5ème "Maghrebian Conference on Software Engineering and Artificial Intelligence"}",
  	author	=	"K. Barkaoui and A. Belghith",
  	year	=	1998,
  }

  ] K. Barkaoui , A. Belghith - Actes de la 5ème "Maghrebian Conference on Software Engineering and Artificial Intelligence", January 1998,