Liste des publications

2019

[Ben19a] C. Bentz. "Weighted and locally bounded list-colorings in split graphs, cographs, and partial k-trees", Theoretical Computer Science, pp. (accepted; to appear), 2019
[OOB19] K. Oukfif, F. Oulebsir Boumghar, S. Bouzefrane, S. Banerjee. "Workflow scheduling with data transfer optimisation and enhancement of reliability in cloud data centres", Int. J. Communication Networks and Distributed Systems, pp. to appear, 2019

[OKB18] M. Oul Kablia, B. Kechar, S. Bouzefrane. "Vers une nouvelle gÃ©nÃ©ration de lâ€™Internet des objets", Sciences de lâ€™information : Internet des objets, pp. Ã paraÃ®tre, 2018, (doi:Editions ISTE)

[BCP18] C. Bentz, M.-C. Costa, P. Poirion, T. Ridremont. " Formulations for designing robust networks. An application to wind power collection. ", INOC, February 2018, Vol. 64, pp.365-374, Series ENDM, Lisbonne, Portugal, (DOI: 10.1016/j.endm.2018.02.011)

[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,
[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,
[OBB15] K. Oukfif, L. Bouali, S. Bouzefrane, F. Oulebsir Boumghar. "Energy-Aware DPSO Algorithm for workflow Scheduling on Computational Grids", 3rd IEEE International Conference on Future Internet of Things and Cloud, August 2015, pp.pp. 651-656, Rome, Italia, (DOI: 10.1109/FiCloud.2015.111 )

[JT14] F. Jarray, G. Tlig. "Hybridation of genetic algorithms and tabu search for reconstructing convex binary images from discrete orthogonal projections", International Journal of Metaheuristics, vol. 3(4), pp. 291-319, 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)

[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)
[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)
[EGL14] S. Elloumi, E. Gourdin, T. Lefebvre. "Does network coding improve the throughput of a survivable multicast network ?", Design of Reliable Communication Networks (DRCN), 2014 10th International Conference on the, April 2014, pp.1-8, Ghent, Belgium, (DOI: 10.1109/DRCN.2014.6816152)

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

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

[CCFb12] M. Chardy, M.-C. Costa, A. Faye, M. Trampont. "Optimizing splitter and fiber location in a multilevel optical FTTH network.", European Journal of Operational Research , vol. 222(3), pp. 430-440, 2012, (doi:10.1016/j.ejor.2012.05.024)

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

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

[CCFb11] M. Chardy, M.-C. Costa, A. Faye, M. Trampont. "Optimizing the deployment of a multilevel optical FTTH network", Date de dépot: 2011/01/14, Nb pages 24, (Tech. Rep.: CEDRIC-11-2115)

[Jar09] F. Jarray. "A 4-day or a 3-day workweeks scheduling problem with a given workforce size", Asia-Pacific Journal of Operational Research, vol. 26(5), pp. 685-696, 2009, (doi:10.1142/S0217595909002419)