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: "osn"
  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: "SMC"
  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: "ifip6-2"
  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: "serp"
  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: "dsom"
  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: "ijnm"
  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: "adt"
  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: "TSE"
  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: "icas"
  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: "apnoms"
  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: "wocn"
  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"
  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"
  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: "cav"
  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"
  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
  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: "INFSOF"
  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: "ifip6"
  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: "acsac"
  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: "dsom"
  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: "ifip6-2"
  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: "dsom"
  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: "time"
  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: "mmns"
  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: "edoc"
  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: "FM"
  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"
  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
  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: "wsfm"
  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: "apnoms"
  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"
  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: "dsom"
  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"
  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"
  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: "rivf"
  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: "ijnm"
  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: "mascots"
  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
  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
  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"
  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"
  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
  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"
  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: "cnsr"
  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: "apnoms"
  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)"
  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: "adt"
  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)"
  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: "time"
  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: "telsys"
  volume: "43"
  number: "3-4"
  pages: "265-277"
  kind: "article"
  key: "ElbiazeZCK10"