publications: - title: "Signalling end-to-end optical services over multi-domain networks" author: - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" - name: "Omar Cherkaoui" link: "http://" year: "2007" doi: "http://dx.doi.org/10.1016/j.osn.2006.10.004" links: doi: "http://dx.doi.org/10.1016/j.osn.2006.10.004" researchr: "https://researchr.org/publication/ElbiazeC07" cites: 0 citedby: 0 journal: "Optical Switching and Networking" volume: "4" number: "1" pages: "58-74" kind: "article" key: "ElbiazeC07" - title: "Blender plugin implementations for 3D collaborative work" author: - name: "Martin Lesage" link: "https://researchr.org/alias/martin-lesage" - name: "Omar Cherkaoui" link: "http://" - name: "Faysal Abouzaid" link: "https://researchr.org/alias/faysal-abouzaid" - name: "Martin Poirier" link: "https://researchr.org/alias/martin-poirier" - name: "Gilles Raîche" link: "https://researchr.org/alias/gilles-ra%C3%AEche" - name: "Martin Riopel" link: "https://researchr.org/alias/martin-riopel" year: "2007" doi: "http://dx.doi.org/10.1109/ICSMC.2007.4413770" links: doi: "http://dx.doi.org/10.1109/ICSMC.2007.4413770" researchr: "https://researchr.org/publication/LesageCAPRR07" cites: 0 citedby: 0 pages: "2557-2569" booktitle: "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007" publisher: "IEEE" kind: "inproceedings" key: "LesageCAPRR07" - title: "Modelling the Temporal Aspects of Network Configurations" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Rudy Deca" link: "https://researchr.org/alias/rudy-deca" - name: "Omar Cherkaoui" link: "http://" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Daniel Puche" link: "https://researchr.org/alias/daniel-puche" year: "2005" doi: "http://dx.doi.org/10.1007/978-0-387-49690-0_22" links: doi: "http://dx.doi.org/10.1007/978-0-387-49690-0_22" tags: - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/HalleDCVP05" cites: 0 citedby: 0 pages: "269-282" booktitle: "Network Control and Engineering for QoS, Security and Mobility, IV, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14-18, 2005, Proceedings" editor: - name: "Dominique Gaïti" link: "https://researchr.org/alias/dominique-ga%C3%AFti" volume: "229" series: "IFIP" publisher: "Springer" isbn: "978-0-387-49689-4" kind: "inproceedings" key: "HalleDCVP05" - title: "A Distributed Controller for a Virtualized Router" author: - name: "Mellah" link: "https://researchr.org/alias/mellah" - name: "H." link: "https://researchr.org/alias/h." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." - name: "Lemieux" link: "https://researchr.org/alias/lemieux" - name: " Y." link: "https://researchr.org/alias/y." year: "2012" tags: - "routing" researchr: "https://researchr.org/publication/MellahH.CherkaouiO.LemieuxY.2012" cites: 0 citedby: 0 kind: "article" key: "MellahH.CherkaouiO.LemieuxY.2012" - title: "A Blender Plugin for Collaborative Work on the Articiel Platform" author: - name: "Martin Lesage" link: "https://researchr.org/alias/martin-lesage" - name: "Omar Cherkaoui" link: "http://" - name: "Faysal Abouzaid" link: "https://researchr.org/alias/faysal-abouzaid" - name: "Martin Poirier" link: "https://researchr.org/alias/martin-poirier" - name: "Gilles Raîche" link: "https://researchr.org/alias/gilles-ra%C3%AEche" year: "2007" researchr: "https://researchr.org/publication/LesageCAPR07" cites: 0 citedby: 0 pages: "333-339" booktitle: "Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP 2007, Volume II, June 25-28, 2007, Las Vegas Nevada, USA" editor: - name: "Hamid R. Arabnia" link: "https://researchr.org/alias/hamid-r.-arabnia" - name: "Hassan Reza" link: "https://researchr.org/alias/hassan-reza" publisher: "CSREA Press" isbn: "1-60132-034-5" kind: "inproceedings" key: "LesageCAPR07" - title: "A Web Services Signaling Approach over Optical Networks for SAN Applications" author: - name: "Omar Cherkaoui" link: "http://" - name: "Nathalie Rico" link: "https://researchr.org/alias/nathalie-rico" - name: "T. Dieu Linh Truong" link: "https://researchr.org/alias/t.-dieu-linh-truong" - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" - name: "Viet Minh Nhat Vo" link: "https://researchr.org/alias/viet-minh-nhat-vo" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2867&spage=197" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2867&spage=197" tags: - "web service" - "web services" - "web applications" - "systematic-approach" researchr: "https://researchr.org/publication/CherkaouiRTEV03" cites: 0 citedby: 0 pages: "197-199" booktitle: "Self-Managing Distributed Systems, 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings" editor: - name: "Marcus Brunner" link: "https://researchr.org/alias/marcus-brunner" - name: "Alexander Keller" link: "https://researchr.org/alias/alexander-keller" volume: "2867" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20314-1" kind: "inproceedings" key: "CherkaouiRTEV03" - title: "Special issue on virtualization" author: - name: "Omar Cherkaoui" link: "http://" - name: "Olivier Festor" link: "https://researchr.org/alias/olivier-festor" - name: "Lisandro Zambenedetti Granville" link: "https://researchr.org/alias/lisandro-zambenedetti-granville" year: "2010" doi: "http://dx.doi.org/10.1002/nem.744" links: doi: "http://dx.doi.org/10.1002/nem.744" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijnm/CherkaouiFG10" researchr: "https://researchr.org/publication/CherkaouiFG10" cites: 0 citedby: 0 journal: "Int. Journal of Network Management" volume: "20" number: "3" pages: "109" kind: "article" key: "CherkaouiFG10" - title: "Third-generation virtualized architecture for the MVNO context" author: - name: "Imen Limam Bedhiaf" link: "https://researchr.org/alias/imen-limam-bedhiaf" - name: "Omar Cherkaoui" link: "http://" - name: "Guy Pujolle" link: "https://researchr.org/alias/guy-pujolle" year: "2009" doi: "http://dx.doi.org/10.1007/s12243-009-0108-z" links: doi: "http://dx.doi.org/10.1007/s12243-009-0108-z" tags: - "architecture" - "context-aware" researchr: "https://researchr.org/publication/BedhiafCP09" cites: 0 citedby: 0 journal: "Annales des Télécommunications" volume: "64" number: "5-6" pages: "339-347" kind: "article" key: "BedhiafCP09" - title: "Specifying and Validating Data-Aware Temporal Web Service Properties" author: - name: "Sylvain Hallé" link: "https://researchr.org/alias/sylvain-hall%C3%A3%C2%A9" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Omar Cherkaoui" link: "http://" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2009.29" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2009.29" tags: - "data validation" - "web service" - "data-flow" - "context-aware" researchr: "https://researchr.org/publication/HalleVC09" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "35" number: "5" pages: "669-683" kind: "article" key: "HalleVC09" - title: "Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case" author: - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" - name: "Omar Cherkaoui" link: "http://" year: "2005" doi: "http://doi.ieeecomputersociety.org/10.1109/ICAS-ICNS.2005.50" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICAS-ICNS.2005.50" tags: - "analysis" researchr: "https://researchr.org/publication/ElbiazeC05" cites: 0 citedby: 0 pages: "65" booktitle: "Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005 (ICAS/ICNS 2005), 23-28 October 2005, Papeete, Tahiti" publisher: "IEEE Computer Society" isbn: "0-7695-2450-8" kind: "inproceedings" key: "ElbiazeC05" - title: "Towards a modular and interoperable SNMPv3" author: - name: "Omar Cherkaoui" link: "http://" - name: "Ylian Saint-Hilaire" link: "https://researchr.org/alias/ylian-saint-hilaire" - name: "Hafedh Mili" link: "https://researchr.org/alias/hafedh-mili" - name: "Ahmed Serhrouchni" link: "https://researchr.org/alias/ahmed-serhrouchni" year: "1998" doi: "http://dx.doi.org/10.1109/NOMS.1998.654438" links: doi: "http://dx.doi.org/10.1109/NOMS.1998.654438" researchr: "https://researchr.org/publication/CherkaouiSMS98" cites: 0 citedby: 0 pages: "391-394" booktitle: "1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings" editor: - name: "Shaygan Kheradpir" link: "https://researchr.org/alias/shaygan-kheradpir" publisher: "IEEE" isbn: "0-7803-4352-2" kind: "inproceedings" key: "CherkaouiSMS98" - title: "OpenFlow supporting inter-domain virtual machine migration" author: - name: "Bochra Boughzala" link: "https://researchr.org/alias/bochra-boughzala" - name: "Racha Ben Ali" link: "https://researchr.org/alias/racha-ben-ali" - name: "Mathieu Lemay" link: "https://researchr.org/alias/mathieu-lemay" - name: "Yves Lemieux" link: "https://researchr.org/alias/yves-lemieux" - name: "Omar Cherkaoui" link: "http://" year: "2011" doi: "http://dx.doi.org/10.1109/WOCN.2011.5872945" links: doi: "http://dx.doi.org/10.1109/WOCN.2011.5872945" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wocn/BoughzalaALLC11" tags: - "migration" researchr: "https://researchr.org/publication/BoughzalaALLC11" cites: 0 citedby: 0 pages: "1-7" booktitle: "Proceedings of the 8th International Conference on Wireless and Optical Communications Networks, WOCN 2011, Paris, France, 24-26 May 2011" publisher: "IEEE" kind: "inproceedings" key: "BoughzalaALLC11" - title: "View Programming for Decentralized Development of OO Programs" author: - name: "Hafedh Mili" link: "https://researchr.org/alias/hafedh-mili" - name: "Joumana Dargham" link: "https://researchr.org/alias/joumana-dargham" - name: "Omar Cherkaoui" link: "http://" - name: "Robert Godin" link: "https://researchr.org/alias/robert-godin" - name: "Ali Mili" link: "https://researchr.org/alias/ali-mili" year: "1999" doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787550" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787550" tags: - "programming" researchr: "https://researchr.org/publication/MiliDCGM99" cites: 0 citedby: 0 pages: "210-221" booktitle: "TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA" editor: - name: "Donald Firesmith" link: "https://researchr.org/alias/donald-firesmith" - name: "Richard Riehle" link: "https://researchr.org/alias/richard-riehle" - name: "Gilda Pour" link: "https://researchr.org/alias/gilda-pour" - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" publisher: "IEEE Computer Society" isbn: "0-7695-0278-4" kind: "inproceedings" key: "MiliDCGM99" - title: "High availability in IMS virtualized network" author: - name: "Fakhfakh, M." link: "https://researchr.org/alias/fakhfakh%2C-m." - name: "Omar Cherkaoui" link: "http://" - name: "Bedhiaf, I.L." link: "https://researchr.org/alias/bedhiaf%2C-i.l." - name: "Frikha, M." link: "https://researchr.org/alias/frikha%2C-m." year: "2009" month: "November" researchr: "https://researchr.org/publication/fakhfakh2009high" cites: 0 citedby: 0 pages: "1-6" booktitle: "Communications and Networking, 2009. ComNet 2009. First International Conference on" organization: "IEEE" kind: "inproceedings" key: "fakhfakh2009high" - title: "Model-Checking for Real-Time Systems Specified in Lotos" author: - name: "Nathalie Rico" link: "https://researchr.org/alias/nathalie-rico" - name: "Gregor von Bochmann" link: "https://researchr.org/alias/gregor-von-bochmann" - name: "Omar Cherkaoui" link: "http://" year: "1992" tags: - "model checking" - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/RicoBC92" cites: 0 citedby: 0 pages: "288-301" booktitle: "Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings" editor: - name: "Gregor von Bochmann" link: "https://researchr.org/alias/gregor-von-bochmann" - name: "David K. Probst" link: "https://researchr.org/alias/david-k.-probst" volume: "663" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-56496-9" kind: "inproceedings" key: "RicoBC92" - title: "Increasing router availability through virtualization" author: - name: "Correia, S." link: "https://researchr.org/alias/correia%2C-s." - name: "Omar Cherkaoui" link: "http://" - name: "Juniory, J.C." link: "https://researchr.org/alias/juniory%2C-j.c." year: "2011" month: "August" tags: - "routing" researchr: "https://researchr.org/publication/correia2011increasing" cites: 0 citedby: 0 pages: "1-6" booktitle: "Global Information Infrastructure Symposium (GIIS), 2011" address: "Da Nang, Vietnam" organization: "IEEE" kind: "inproceedings" key: "correia2011increasing" - title: "On the Power Allocation of the Network" author: - name: "Limam" link: "https://researchr.org/alias/limam" - name: "I." link: "https://researchr.org/alias/i." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." - name: "Feigenbaum" link: "https://researchr.org/alias/feigenbaum" - name: "D." link: "https://researchr.org/alias/d." - name: "Maculan" link: "https://researchr.org/alias/maculan" - name: "N." link: "https://researchr.org/alias/n." year: "2010" researchr: "https://researchr.org/publication/LimamI.CherkaouiO.FeigenbaumD.MaculanN.2010" cites: 0 citedby: 0 address: "Argentina" kind: "inproceedings" key: "LimamI.CherkaouiO.FeigenbaumD.MaculanN.2010" - title: "On the Flexibility of MPLS Application over an OpenFlow-enabled Network" author: - name: "El Ferkouss" link: "https://researchr.org/alias/el-ferkouss" - name: "O." link: "https://researchr.org/alias/o." - name: "Correia" link: "https://researchr.org/alias/correia" - name: " S.L.O.B." link: "https://researchr.org/alias/s.l.o.b." - name: "Ben-Ali" link: "https://researchr.org/alias/ben-ali" - name: "R." link: "https://researchr.org/alias/r." - name: "Lemieux" link: "https://researchr.org/alias/lemieux" - name: " Y." link: "https://researchr.org/alias/y." - name: "Julien" link: "https://researchr.org/alias/julien" - name: "M." link: "https://researchr.org/alias/m." - name: "Tatipamula" link: "https://researchr.org/alias/tatipamula" - name: "M." link: "https://researchr.org/alias/m." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." year: "2011" researchr: "https://researchr.org/publication/FerkoussO.CorreiaS.L.O.B.Ben-AliR.LemieuxY.JulienM.TatipamulaM.CherkaouiO.FerkoussO.CorreiaS.L.O.B.Ben-AliR.LemieuxY.JulienM.TatipamulaM.CherkaouiO.2011" cites: 0 citedby: 0 kind: "inproceedings" key: "FerkoussO.CorreiaS.L.O.B.Ben-AliR.LemieuxY.JulienM.TatipamulaM.CherkaouiO.FerkoussO.CorreiaS.L.O.B.Ben-AliR.LemieuxY.JulienM.TatipamulaM.CherkaouiO.2011" - title: "Communications software design for testability: specification transformations and testability measures" author: - name: "Rachida Dssouli" link: "https://researchr.org/alias/rachida-dssouli" - name: "Kamel Karoui" link: "https://researchr.org/alias/kamel-karoui" - name: "Kassem Saleh" link: "https://researchr.org/alias/kassem-saleh" - name: "Omar Cherkaoui" link: "http://" year: "1999" doi: "http://dx.doi.org/10.1016/S0950-5849(99)00033-6" links: doi: "http://dx.doi.org/10.1016/S0950-5849(99)00033-6" tags: - "testing" - "design" - "transformation" researchr: "https://researchr.org/publication/DssouliKSC99" cites: 0 citedby: 0 journal: "Information \\& Software Technology" volume: "41" number: "11-12" pages: "729-743" kind: "article" key: "DssouliKSC99" - title: "Self-configuration of Network Devices with Configuration Logic" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Éric Wenaas" link: "https://researchr.org/alias/%C3%A9ric-wenaas" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Omar Cherkaoui" link: "http://" year: "2006" doi: "http://dx.doi.org/10.1007/11880905_4" links: doi: "http://dx.doi.org/10.1007/11880905_4" tags: - "logic" researchr: "https://researchr.org/publication/HalleWVC06" cites: 0 citedby: 0 pages: "36-49" booktitle: "Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings" editor: - name: "Dominique Gaïti" link: "https://researchr.org/alias/dominique-ga%C3%AFti" - name: "Guy Pujolle" link: "https://researchr.org/alias/guy-pujolle" - name: "Ehab S. Al-Shaer" link: "https://researchr.org/alias/ehab-s.-al-shaer" - name: "Kenneth L. Calvert" link: "https://researchr.org/alias/kenneth-l.-calvert" - name: "Simon A. Dobson" link: "https://researchr.org/alias/simon-a.-dobson" - name: "Guy Leduc" link: "https://researchr.org/alias/guy-leduc" - name: "Olli Martikainen" link: "https://researchr.org/alias/olli-martikainen" volume: "4195" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-45891-3" kind: "inproceedings" key: "HalleWVC06" - title: "ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons" author: - name: "Sabri Boutemedjet" link: "https://researchr.org/alias/sabri-boutemedjet" - name: "Faysal Abouzaid" link: "https://researchr.org/alias/faysal-abouzaid" - name: "Omar Cherkaoui" link: "http://" - name: "Gilles Gauthier" link: "https://researchr.org/alias/gilles-gauthier" year: "2004" researchr: "https://researchr.org/publication/BoutemedjetACG04" cites: 0 citedby: 0 pages: "239-245" booktitle: "Computer Supported Activity Coordination, Proceedings of the 1st International Workshop on Computer Supported Activity Coordination, CSAC 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004" editor: - name: "José Cordeiro" link: "https://researchr.org/alias/jos%C3%A9-cordeiro" - name: "Joaquim Filipe" link: "https://researchr.org/alias/joaquim-filipe" publisher: "INSTICC Press" isbn: "972-8865-08-2" kind: "inproceedings" key: "BoutemedjetACG04" - title: "Directory Supported Management with SNMPv3" author: - name: "Salima Omari" link: "https://researchr.org/alias/salima-omari" - name: "Raouf Boutaba" link: "https://researchr.org/alias/raouf-boutaba" - name: "Omar Cherkaoui" link: "http://" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1700/17000121.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1700/17000121.htm" researchr: "https://researchr.org/publication/OmariBC99" cites: 0 citedby: 0 pages: "121-132" booktitle: "Active Technologies for Network and Service Management, 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 99, Zurich, Switzerland, October 11-13, 1999, Proceedings" editor: - name: "Rolf Stadler" link: "https://researchr.org/alias/rolf-stadler" - name: "Burkhard Stiller" link: "https://researchr.org/alias/burkhard-stiller" volume: "1700" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66598-6" kind: "inproceedings" key: "OmariBC99" - title: "A Policy Management Framework for GMPLS Optical Networks" author: - name: "Nathalie Rico" link: "https://researchr.org/alias/nathalie-rico" - name: "Omar Cherkaoui" link: "http://" - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" year: "2003" researchr: "https://researchr.org/publication/RicoCE03" cites: 0 citedby: 0 pages: "213-224" booktitle: "Network Control and Engineering for QoS, Security and Mobility II, IFIP TC6 / WG6.2 & WG6.7 Conference on Network Control and Engineering for QoS (Net-Con 2003), October 13-15, 2003, Muscat, Oman" editor: - name: "Dominique Gaïti" link: "https://researchr.org/alias/dominique-ga%C3%AFti" - name: "Guy Pujolle" link: "https://researchr.org/alias/guy-pujolle" volume: "261" series: "IFIP Conference Proceedings" publisher: "Kluwer" isbn: "1-4020-7616-9" kind: "inproceedings" key: "RicoCE03" - title: "A Formal Validation Model for the Netconf Protocol" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Rudy Deca" link: "https://researchr.org/alias/rudy-deca" - name: "Omar Cherkaoui" link: "http://" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Daniel Puche" link: "https://researchr.org/alias/daniel-puche" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3278&spage=147" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3278&spage=147" tags: - "protocol" researchr: "https://researchr.org/publication/HalleDCVP04" cites: 0 citedby: 0 pages: "147-158" booktitle: "Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004.Proceedings" editor: - name: "Akhil Sahai" link: "https://researchr.org/alias/akhil-sahai" - name: "Felix Wu" link: "https://researchr.org/alias/felix-wu" volume: "3278" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23631-7" kind: "inproceedings" key: "HalleDCVP04" - title: "Configuration Logic: A Multi-site Modal Logic" author: - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Omar Cherkaoui" link: "http://" year: "2005" doi: "http://dx.doi.org/10.1109/TIME.2005.18" links: doi: "http://dx.doi.org/10.1109/TIME.2005.18" tags: - "modal logic" - "logic" researchr: "https://researchr.org/publication/VillemaireHC05" cites: 0 citedby: 0 pages: "131-137" booktitle: "12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA" publisher: "IEEE Computer Society" isbn: "0-7695-2370-6" kind: "inproceedings" key: "VillemaireHC05" - title: "Automated Validation of Service Configuration on Network Devices" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Rudy Deca" link: "https://researchr.org/alias/rudy-deca" - name: "Omar Cherkaoui" link: "http://" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3271&spage=176" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3271&spage=176" researchr: "https://researchr.org/publication/HalleDCV04" cites: 0 citedby: 0 pages: "176-188" booktitle: "Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004, Proceedings" editor: - name: "John B. Vicente" link: "https://researchr.org/alias/john-b.-vicente" - name: "David Hutchison" link: "https://researchr.org/alias/david-hutchison" volume: "3271" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23239-7" kind: "inproceedings" key: "HalleDCV04" - title: "Model Checking Data-Aware Workflow Properties with CTL-FO+" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Omar Cherkaoui" link: "http://" - name: "Boubker Ghandour" link: "https://researchr.org/alias/boubker-ghandour" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.37" links: doi: "http://doi.ieeecomputersociety.org/10.1109/EDOC.2007.37" tags: - "model checking" - "meta-model" - "context-aware" - "Meta-Environment" - "workflow" researchr: "https://researchr.org/publication/HalleVCG07" cites: 0 citedby: 0 pages: "267-278" booktitle: "11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "HalleVCG07" - title: "Specification and Analysis of a Security Management System" author: - name: "Omar Cherkaoui" link: "http://" year: "1994" tags: - "analysis" - "security" researchr: "https://researchr.org/publication/Cherkaoui94" cites: 0 citedby: 0 pages: "66-82" booktitle: "FME 94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings" editor: - name: "Maurice Naftalin" link: "https://researchr.org/alias/maurice-naftalin" - name: "B. Tim Denvir" link: "https://researchr.org/alias/b.-tim-denvir" - name: "Miquel Bertran" link: "https://researchr.org/alias/miquel-bertran" volume: "873" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58555-9" kind: "inproceedings" key: "Cherkaoui94" - title: "ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons" author: - name: "Boutemedjet, S." link: "https://researchr.org/alias/boutemedjet%2C-s." - name: "Abouzaid, F." link: "https://researchr.org/alias/abouzaid%2C-f." - name: "Omar Cherkaoui" link: "http://" - name: "Gauthier, G." link: "https://researchr.org/alias/gauthier%2C-g." year: "2004" researchr: "https://researchr.org/publication/boutemedjet-04a" cites: 0 citedby: 0 booktitle: "Proceedings of the 1st International Workshop on Computer Supported Activity Coordination, CSAC 2004, In conjunction with ICEIS 2004" address: "Porto, Portugal" publisher: "INSTICC Press" isbn: "972-8865-08-2" kind: "inproceedings" key: "boutemedjet-04a" - title: "A Hierarchical Bayesian Approach to the Estimation of Monotone Hazard Rates in the Random Right Censorship Model" author: - name: "Younes, H." link: "https://researchr.org/alias/younes%2C-h." - name: "Delampady, M." link: "https://researchr.org/alias/delampady%2C-m." - name: "MacGibbon, B." link: "https://researchr.org/alias/macgibbon%2C-b." - name: "Omar Cherkaoui" link: "http://" year: "2007" tags: - "systematic-approach" researchr: "https://researchr.org/publication/younes2007hierarchical" cites: 0 citedby: 0 journal: "Journal of Statistical Research" volume: "41" number: "2" pages: "35-62" kind: "article" key: "younes2007hierarchical" - title: "A polymorphic Network service for Inter-Cloud VM Migration" author: - name: "Bahria" link: "https://researchr.org/alias/bahria" - name: "N." link: "https://researchr.org/alias/n." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." - name: "Drissi" link: "https://researchr.org/alias/drissi" - name: "O." link: "https://researchr.org/alias/o." - name: " Ben Mnouar" link: "https://researchr.org/alias/ben-mnouar" - name: "A." link: "https://researchr.org/alias/a." - name: "Frikha" link: "https://researchr.org/alias/frikha" - name: "M." link: "https://researchr.org/alias/m." year: "2011" month: "November" tags: - "migration" researchr: "https://researchr.org/publication/BahriaN.CherkaouiO.DrissiO.MnouarA.FrikhaM.2011" cites: 0 citedby: 0 address: "Toulouse, France" kind: "inproceedings" key: "BahriaN.CherkaouiO.DrissiO.MnouarA.FrikhaM.2011" - title: "Extending Model Checking to Data-Aware Temporal Properties of Web Services" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Omar Cherkaoui" link: "http://" - name: "Jérôme Tremblay" link: "https://researchr.org/alias/j%C3%A9r%C3%B4me-tremblay" - name: "Boubker Ghandour" link: "https://researchr.org/alias/boubker-ghandour" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_3" links: doi: "http://dx.doi.org/10.1007/978-3-540-79230-7_3" tags: - "model checking" - "meta-model" - "web service" - "web services" - "context-aware" - "Meta-Environment" researchr: "https://researchr.org/publication/HalleVCTG07" cites: 0 citedby: 0 pages: "31-45" booktitle: "Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings" editor: - name: "Marlon Dumas" link: "https://researchr.org/alias/marlon-dumas" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "4937" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79229-1" kind: "inproceedings" key: "HalleVCTG07" - title: "QOS metrics tool using management by delegation" author: - name: "Omar Cherkaoui" link: "http://" - name: "Abdelatif Obaid" link: "https://researchr.org/alias/abdelatif-obaid" - name: "Ahmed Serhrouchni" link: "https://researchr.org/alias/ahmed-serhrouchni" - name: "Noëmie Simoni" link: "https://researchr.org/alias/no%C3%ABmie-simoni" year: "1998" doi: "http://dx.doi.org/10.1109/NOMS.1998.655225" links: doi: "http://dx.doi.org/10.1109/NOMS.1998.655225" researchr: "https://researchr.org/publication/CherkaouiOSS98" cites: 0 citedby: 0 pages: "836-839" booktitle: "1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings" editor: - name: "Shaygan Kheradpir" link: "https://researchr.org/alias/shaygan-kheradpir" publisher: "IEEE" isbn: "0-7803-4352-2" kind: "inproceedings" key: "CherkaouiOSS98" - title: "Optimal allocation approach of virtual servers in cloud computing" author: - name: "Bouyoucef" link: "https://researchr.org/alias/bouyoucef" - name: "K." link: "https://researchr.org/alias/k." - name: " Limam B." link: "https://researchr.org/alias/limam-b." - name: "I." link: "https://researchr.org/alias/i." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." year: "2010" month: "June" note: "Next Generation NGI" tags: - "systematic-approach" researchr: "https://researchr.org/publication/BouyoucefK.B.I.CherkaouiO.2010" cites: 0 citedby: 0 kind: "inproceedings" key: "BouyoucefK.B.I.CherkaouiO.2010" - title: "A Logical Approach to Data-Aware Automated Sequence Generation" author: - name: "Hallé" link: "https://researchr.org/alias/hall%C3%A9" - name: "S." link: "https://researchr.org/alias/s." - name: "Villemaire" link: "https://researchr.org/alias/villemaire" - name: "R." link: "https://researchr.org/alias/r." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." - name: "Deca" link: "https://researchr.org/alias/deca" - name: "R." link: "https://researchr.org/alias/r." year: "2011" tags: - "data-flow" - "context-aware" - "systematic-approach" researchr: "https://researchr.org/publication/HallS.VillemaireR.CherkaouiO.DecaR.2011" cites: 0 citedby: 0 kind: "article" key: "HallS.VillemaireR.CherkaouiO.DecaR.2011" - title: "Performance Study of COPS over TLS and IPsec Secure Session" author: - name: "Yijun Zeng" link: "https://researchr.org/alias/yijun-zeng" - name: "Omar Cherkaoui" link: "http://" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2506/25060133.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2506/25060133.htm" researchr: "https://researchr.org/publication/ZengC02" cites: 0 citedby: 0 pages: "133-144" booktitle: "Management Technologies for E-Commerce and E-Business Applications, 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002, Proceedings" editor: - name: "Metin Feridun" link: "https://researchr.org/alias/metin-feridun" - name: "Peter G. Kropf" link: "https://researchr.org/alias/peter-g.-kropf" - name: "Gilbert Babin" link: "https://researchr.org/alias/gilbert-babin" volume: "2506" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00080-1" kind: "inproceedings" key: "ZengC02" - title: "A Generic Middleware Architecture for Distributed Collaborative Platforms" author: - name: "Sabri Boutemedjet" link: "http://" - name: "Omar Cherkaoui" link: "http://" - name: "Faisal Abouzaid" link: "http://" - name: "G. Gauthier" link: "https://researchr.org/alias/g.-gauthier" - name: "Martin, J." link: "https://researchr.org/alias/martin%2C-j." - name: "Aimeur, E" link: "https://researchr.org/alias/aimeur%2C-e" year: "2004" tags: - "architecture" researchr: "https://researchr.org/publication/boutemedjet-04b" cites: 0 citedby: 0 booktitle: "Proceedings of NOTERE 2004" address: "Saidia, Maroc" kind: "inproceedings" key: "boutemedjet-04b" - title: "Skolem Functions and Herbrand Universes in a Tree Generalization of First Order Logic" author: - name: "Villemaire, R." link: "https://researchr.org/alias/villemaire%2C-r." - name: "Halle, S." link: "https://researchr.org/alias/halle%2C-s." - name: "DECA, R." link: "https://researchr.org/alias/deca%2C-r." - name: "Omar Cherkaoui" link: "http://" year: "2006" month: "November" tags: - "logic" researchr: "https://researchr.org/publication/villemaire2006skolem" cites: 0 citedby: 0 pages: "22-31" booktitle: "Artificial Intelligence, 2006. MICAI'06. Fifth Mexican International Conference on" organization: "IEEE" kind: "inproceedings" key: "villemaire2006skolem" - title: "Traffic Switching Optimization on Optical Routing by using Hopfield Network" author: - name: "Viet Minh Nhat Vo" link: "https://researchr.org/alias/viet-minh-nhat-vo" - name: "Omar Cherkaoui" link: "http://" year: "2004" doi: "http://e-ifi.org/rivf/2004/proceedings/ArticlesRIVR_04/p125-130.pdf" links: doi: "http://e-ifi.org/rivf/2004/proceedings/ArticlesRIVR_04/p125-130.pdf" tags: - "optimization" - "routing" researchr: "https://researchr.org/publication/VoC04" cites: 0 citedby: 0 pages: "125-130" booktitle: "Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, Hanoï Vietnam, 2-5 Février 2004" kind: "inproceedings" key: "VoC04" - title: "Network virtualization under user control" author: - name: "Omar Cherkaoui" link: "http://" - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" year: "2008" doi: "http://dx.doi.org/10.1002/nem.675" links: doi: "http://dx.doi.org/10.1002/nem.675" researchr: "https://researchr.org/publication/CherkaouiE08" cites: 0 citedby: 0 journal: "Int. Journal of Network Management" volume: "18" number: "2" pages: "147-158" kind: "article" key: "CherkaouiE08" - title: "A Structure-Preserving Method of Sampling Self-Similar Traffic" author: - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" - name: "Omar Cherkaoui" link: "http://" - name: "B. McGibbon" link: "https://researchr.org/alias/b.-mcgibbon" - name: "M. Blais" link: "https://researchr.org/alias/m.-blais" year: "2005" doi: "http://doi.ieeecomputersociety.org/10.1109/MASCOT.2005.7" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MASCOT.2005.7" researchr: "https://researchr.org/publication/ElbiazeCMB05" cites: 0 citedby: 0 pages: "161-168" booktitle: "13th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), 27-29 September 2005, Atlanta, GA, USA" publisher: "IEEE Computer Society" isbn: "0-7695-2458-3" kind: "inproceedings" key: "ElbiazeCMB05" - title: "Live Migration in SIP load balancing context" author: - name: "M. Fakhfakh" link: "https://researchr.org/alias/m.-fakhfakh" - name: " I. Limam" link: "https://researchr.org/alias/i.-limam" - name: "Omar Cherkaoui" link: "http://" year: "2009" month: "October" tags: - "migration" - "context-aware" researchr: "https://researchr.org/publication/FakhfakhLimamCherkaoui2009" cites: 0 citedby: 0 address: "Hammamet, Tunisia" organization: "IEEE" kind: "inproceedings" key: "FakhfakhLimamCherkaoui2009" - title: "A 100 Gig Network Processor Platform for OpenFlow" author: - name: "El Ferkouss" link: "https://researchr.org/alias/el-ferkouss" - name: "O." link: "https://researchr.org/alias/o." - name: " Snaiki" link: "https://researchr.org/alias/snaiki" - name: "I." link: "https://researchr.org/alias/i." - name: " Mounaouar" link: "https://researchr.org/alias/mounaouar" - name: "O." link: "https://researchr.org/alias/o." - name: "Dahmouni" link: "https://researchr.org/alias/dahmouni" - name: "H." link: "https://researchr.org/alias/h." - name: "Lemieux" link: "https://researchr.org/alias/lemieux" - name: " Y." link: "https://researchr.org/alias/y." - name: " Bel Ali" link: "https://researchr.org/alias/bel-ali" - name: "R." link: "https://researchr.org/alias/r." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." year: "2011" researchr: "https://researchr.org/publication/FerkoussO.SnaikiI.MounaouarO.DahmouniH.LemieuxY.AliR.CherkaouiO.2011" cites: 0 citedby: 0 address: "Paris, France" organization: "IEEE" kind: "inproceedings" key: "FerkoussO.SnaikiI.MounaouarO.DahmouniH.LemieuxY.AliR.CherkaouiO.2011" - title: "Sequential Dependencies in Configuration Operations" author: - name: "Hall{\\'e}, S." link: "https://researchr.org/alias/hall%7B%5Eb%27e%7D%2C-s." - name: "DECA, R." link: "https://researchr.org/alias/deca%2C-r." - name: "Omar Cherkaoui" link: "http://" - name: "Villemaire, R." link: "https://researchr.org/alias/villemaire%2C-r." - name: "Puche, D." link: "https://researchr.org/alias/puche%2C-d." year: "2006" month: "Mai" note: "GRES2006, Bordeaux, France" researchr: "https://researchr.org/publication/hallsequential" cites: 0 citedby: 0 kind: "article" key: "hallsequential" - title: "Leveraging Green Communications for Carbon Emission Reductions: Techniques, Testbeds, and Emerging Carbon Footprint Standards" author: - name: "Labeau, F." link: "https://researchr.org/alias/labeau%2C-f." - name: "Le Ngoc, T." link: "https://researchr.org/alias/le-ngoc%2C-t." - name: "Ch{\\'e}riet, M." link: "https://researchr.org/alias/ch%7B%5Eb%27e%7Driet%2C-m." - name: "Thibeault, C." link: "https://researchr.org/alias/thibeault%2C-c." - name: "Gagnon, F." link: "https://researchr.org/alias/gagnon%2C-f." - name: "de Technologie, {\\'E}." link: "https://researchr.org/alias/de-technologie%2C-%7B%5Eb%27e%7D." - name: "Leon-Garcia, A." link: "https://researchr.org/alias/leon-garcia%2C-a." - name: "Omar Cherkaoui" link: "http://" year: "2011" month: "August" tags: - "C++" - "e-science" researchr: "https://researchr.org/publication/labeau2011leveraging" cites: 0 citedby: 0 journal: "IEEE Communications Magazine" volume: "49" number: "8" pages: "101" kind: "article" key: "labeau2011leveraging" - title: "Performance Characterization of Signaling Traffic in IMS Virtualized Network" author: - name: "Limam Bedhiaf, I." link: "https://researchr.org/alias/limam-bedhiaf%2C-i." - name: "Omar Cherkaoui" link: "http://" year: "2010" month: "May" researchr: "https://researchr.org/publication/limam2010performance" cites: 0 citedby: 0 pages: "1-5" booktitle: "Communications (ICC), 2010 IEEE International Conference on" address: "CapTown, South Africa" organization: "IEEE" kind: "inproceedings" key: "limam2010performance" - title: "Mobility-aware Ant Colony Optimization routing for vehicular ad hoc networks" author: - name: "Correia" link: "https://researchr.org/alias/correia" - name: " S.L.O.B." link: "https://researchr.org/alias/s.l.o.b." - name: "Celestino" link: "https://researchr.org/alias/celestino" - name: "J." link: "https://researchr.org/alias/j." - name: "Omar Cherkaoui" link: "http://" - name: "O." link: "https://researchr.org/alias/o." year: "2011" month: "March" tags: - "optimization" - "context-aware" - "routing" researchr: "https://researchr.org/publication/CorreiaS.L.O.B.CelestinoJ.CherkaouiO.2011" cites: 0 citedby: 0 organization: "IEEE" kind: "inproceedings" key: "CorreiaS.L.O.B.CelestinoJ.CherkaouiO.2011" - title: "Constraint-based model for network service provisioning" author: - name: "DECA, R." link: "https://researchr.org/alias/deca%2C-r." - name: "Omar Cherkaoui" link: "http://" - name: "SAVARIA, Y." link: "https://researchr.org/alias/savaria%2C-y." - name: "SLONE, D." link: "https://researchr.org/alias/slone%2C-d." year: "2007" abstract: "As the network services deployed over the Internet become more complex, their configurations are more difficult to manage. The constraints that exist among the network service configuration parameters are an important source of complexity in the configuration, validation and fault management processes. Existing solutions do not provide adequate high-level models to capture and integrate various types of configuration constraints. It is therefore necessary to adopt a structured approach in order to solve this problem. Thus, in this paper, we propose a structured and integrated constraint-based model for network service configuration, validation and fault management." tags: - "rule-based" - "deployment" - "meta-model" - "modeling" - "constraints" - "source-to-source" - "Meta-Environment" - "process modeling" - "systematic-approach" - "open-source" researchr: "https://researchr.org/publication/deca2007constraint" cites: 0 citedby: 0 pages: "847-870" booktitle: "Annales des t{\\'e}l{\\'e}communications" volume: "62" number: "7-8" organization: "Springer" kind: "inproceedings" key: "deca2007constraint" - title: "A Validation Solution for Network Configuration" author: - name: "Rudy Deca" link: "https://researchr.org/alias/rudy-deca" - name: "Omar Cherkaoui" link: "http://" - name: "Daniel Puche" link: "https://researchr.org/alias/daniel-puche" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/cnsr/2004/2096/00/20960273abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/cnsr/2004/2096/00/20960273abs.htm" researchr: "https://researchr.org/publication/DecaCP04" cites: 0 citedby: 0 pages: "273-275" booktitle: "2nd Annual Conference on Communication Networks and Services Research (CNSR 2004), 19-21 May 2004, Fredericton, N.B., Canada" publisher: "IEEE Computer Society" isbn: "0-7695-2096-0" kind: "inproceedings" key: "DecaCP04" - title: "A policy-based approach for user controlled lightpath provisioning" author: - name: "T. Dieu Linh Truong" link: "https://researchr.org/alias/t.-dieu-linh-truong" - name: "Omar Cherkaoui" link: "http://" - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" - name: "Nathalie Rico" link: "https://researchr.org/alias/nathalie-rico" - name: "El Mostapha Aboulhamid" link: "https://researchr.org/alias/el-mostapha-aboulhamid" year: "2004" doi: "http://dx.doi.org/10.1109/NOMS.2004.1317773" links: doi: "http://dx.doi.org/10.1109/NOMS.2004.1317773" tags: - "rule-based" - "systematic-approach" researchr: "https://researchr.org/publication/TruongCERA04" cites: 0 citedby: 0 pages: "859-872" booktitle: "Managing Next Generation Convergence Networks and Services, IEEE/IFIP Network Operations and Management Symposium, NOMS 2004, Seoul, Korea, 19-23 April 2004, Proceedings" publisher: "IEEE" kind: "inproceedings" key: "TruongCERA04" - title: "Merging Contributions in Cooperative Creation of 3D Persons." author: - name: "Faisal Abouzaid" link: "http://" - name: "Omar Cherkaoui" link: "http://" - name: "Sabri Boutemedjet" link: "http://" - name: "Lemire, G." link: "https://researchr.org/alias/lemire%2C-g." - name: "Gauthier, G." link: "https://researchr.org/alias/gauthier%2C-g." year: "2004" researchr: "https://researchr.org/publication/abouzaid-04-0" cites: 0 citedby: 0 booktitle: "Proceedings of International Symposium on Collaborative Technologies and Systems (CTS04)" address: "San Diego, CA: USA" kind: "inproceedings" key: "abouzaid-04-0" - title: "Foreword" author: - name: "Omar Cherkaoui" link: "http://" - name: "Masum Z. Hasan" link: "https://researchr.org/alias/masum-z.-hasan" - name: "Guy Pujolle" link: "https://researchr.org/alias/guy-pujolle" year: "2009" doi: "http://dx.doi.org/10.1007/s12243-009-0117-y" links: doi: "http://dx.doi.org/10.1007/s12243-009-0117-y" researchr: "https://researchr.org/publication/CherkaouiHP09" cites: 0 citedby: 0 journal: "Annales des Télécommunications" volume: "64" number: "5-6" pages: "269-270" kind: "article" key: "CherkaouiHP09" - title: "Merging Contributions in Cooperative Creation of 3D Persons." author: - name: "Abouzaid, F." link: "https://researchr.org/alias/abouzaid%2C-f." - name: "Omar Cherkaoui" link: "http://" - name: "Sabri Boutemedjet" link: "http://" - name: "Lemire, G." link: "https://researchr.org/alias/lemire%2C-g." - name: "Gauthier, G." link: "https://researchr.org/alias/gauthier%2C-g." year: "2004" researchr: "https://researchr.org/publication/abouzaid-04" cites: 0 citedby: 0 booktitle: "Proceedings of International Symposium on Collaborative Technologies and Systems (CTS04)" address: "San Diego, CA: USA" kind: "inproceedings" key: "abouzaid-04" - title: "CTL Model Checking for Labelled Tree Queries" author: - name: "Sylvain Hallé" link: "http://www.leduotang.com/sylvain" - name: "Roger Villemaire" link: "https://researchr.org/alias/roger-villemaire" - name: "Omar Cherkaoui" link: "http://" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/TIME.2006.11" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TIME.2006.11" tags: - "model checking" - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/HalleVC06" cites: 0 citedby: 0 pages: "27-35" booktitle: "13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary" publisher: "IEEE Computer Society" isbn: "0-7695-2617-9" kind: "inproceedings" key: "HalleVC06" - title: "A new structure-preserving method of sampling for predicting self-similar traffic" author: - name: "Halima Elbiaze" link: "https://researchr.org/alias/halima-elbiaze" - name: "Mohamed Faten Zhani" link: "https://researchr.org/alias/mohamed-faten-zhani" - name: "Omar Cherkaoui" link: "http://" - name: "Farouk Kamoun" link: "https://researchr.org/alias/farouk-kamoun" year: "2010" doi: "http://dx.doi.org/10.1007/s11235-009-9201-x" links: doi: "http://dx.doi.org/10.1007/s11235-009-9201-x" researchr: "https://researchr.org/publication/ElbiazeZCK10" cites: 0 citedby: 0 journal: "Telecommunication Systems" volume: "43" number: "3-4" pages: "265-277" kind: "article" key: "ElbiazeZCK10"