|
 
|
Liste des publications
2016
- [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
Revue Internationale avec comité de lecture
2014
- [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)
-
[Har14]
N. Harrath.
"A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level",
Soutenue le: 04 November 2014,
pp. 183,
-
[Har14a]
N. Harrath.
"A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level",
Soutenue le: 04 November 2014,
pp. 248,
Conférence Internationale avec comité de lecture
Mémoire de Thèse
2013
- [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,
Conférence Internationale avec comité de lecture
2012
- [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,
- [SB12] Z. Sbaï, K. Boudhar. "Vérification Formelle des Processus Workflow Collaboratifs", Actes de la conférence francophone sur les Systèmes Collaboratifs (SysCo 2012), May 2012, pp.197-210,
- [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,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2011
- [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,
- [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,
