@article{ElbiazeC07, title = {Signalling end-to-end optical services over multi-domain networks}, author = {Halima Elbiaze and Omar Cherkaoui}, year = {2007}, doi = {10.1016/j.osn.2006.10.004}, url = {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}, } @inproceedings{LesageCAPRR07, title = {Blender plugin implementations for 3D collaborative work}, author = {Martin Lesage and Omar Cherkaoui and Faysal Abouzaid and Martin Poirier and Gilles Raîche and Martin Riopel}, year = {2007}, doi = {10.1109/ICSMC.2007.4413770}, url = {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}, } @inproceedings{HalleDCVP05, title = {Modelling the Temporal Aspects of Network Configurations}, author = {Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire and Daniel Puche}, year = {2005}, doi = {10.1007/978-0-387-49690-0_22}, url = {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 = {Dominique Gaïti}, volume = {229}, series = {IFIP}, publisher = {Springer}, isbn = {978-0-387-49689-4}, } @article{MellahH.CherkaouiO.LemieuxY.2012, title = {A Distributed Controller for a Virtualized Router}, author = {Mellah and H. and Omar Cherkaoui and O. and Lemieux and Y.}, year = {2012}, tags = {routing}, researchr = {https://researchr.org/publication/MellahH.CherkaouiO.LemieuxY.2012}, cites = {0}, citedby = {0}, } @inproceedings{LesageCAPR07, title = {A Blender Plugin for Collaborative Work on the Articiel Platform}, author = {Martin Lesage and Omar Cherkaoui and Faysal Abouzaid and Martin Poirier and Gilles Raîche}, 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 = {Hamid R. Arabnia and Hassan Reza}, publisher = {CSREA Press}, isbn = {1-60132-034-5}, } @inproceedings{CherkaouiRTEV03, title = {A Web Services Signaling Approach over Optical Networks for SAN Applications}, author = {Omar Cherkaoui and Nathalie Rico and T. Dieu Linh Truong and Halima Elbiaze and Viet Minh Nhat Vo}, year = {2003}, url = {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 = {Marcus Brunner and Alexander Keller}, volume = {2867}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20314-1}, } @article{CherkaouiFG10, title = {Special issue on virtualization}, author = {Omar Cherkaoui and Olivier Festor and Lisandro Zambenedetti Granville}, year = {2010}, doi = {10.1002/nem.744}, url = {http://dx.doi.org/10.1002/nem.744}, researchr = {https://researchr.org/publication/CherkaouiFG10}, cites = {0}, citedby = {0}, journal = {Int. Journal of Network Management}, volume = {20}, number = {3}, pages = {109}, } @article{BedhiafCP09, title = {Third-generation virtualized architecture for the MVNO context}, author = {Imen Limam Bedhiaf and Omar Cherkaoui and Guy Pujolle}, year = {2009}, doi = {10.1007/s12243-009-0108-z}, url = {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}, } @article{HalleVC09, title = {Specifying and Validating Data-Aware Temporal Web Service Properties}, author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui}, year = {2009}, doi = {10.1109/TSE.2009.29}, url = {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}, } @inproceedings{ElbiazeC05, title = {Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case}, author = {Halima Elbiaze and Omar Cherkaoui}, year = {2005}, doi = {10.1109/ICAS-ICNS.2005.50}, url = {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}, } @inproceedings{CherkaouiSMS98, title = {Towards a modular and interoperable SNMPv3}, author = {Omar Cherkaoui and Ylian Saint-Hilaire and Hafedh Mili and Ahmed Serhrouchni}, year = {1998}, doi = {10.1109/NOMS.1998.654438}, url = {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 = {Shaygan Kheradpir}, publisher = {IEEE}, isbn = {0-7803-4352-2}, } @inproceedings{BoughzalaALLC11, title = {OpenFlow supporting inter-domain virtual machine migration}, author = {Bochra Boughzala and Racha Ben Ali and Mathieu Lemay and Yves Lemieux and Omar Cherkaoui}, year = {2011}, doi = {10.1109/WOCN.2011.5872945}, url = {http://dx.doi.org/10.1109/WOCN.2011.5872945}, 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}, } @inproceedings{MiliDCGM99, title = {View Programming for Decentralized Development of OO Programs}, author = {Hafedh Mili and Joumana Dargham and Omar Cherkaoui and Robert Godin and Ali Mili}, year = {1999}, doi = {10.1109/TOOLS.1999.787550}, url = {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 = {Donald Firesmith and Richard Riehle and Gilda Pour and Bertrand Meyer}, publisher = {IEEE Computer Society}, isbn = {0-7695-0278-4}, } @inproceedings{fakhfakh2009high, title = {High availability in IMS virtualized network}, author = {Fakhfakh, M. and Omar Cherkaoui and Bedhiaf, I.L. and Frikha, 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}, } @inproceedings{RicoBC92, title = {Model-Checking for Real-Time Systems Specified in Lotos}, author = {Nathalie Rico and Gregor von Bochmann and Omar Cherkaoui}, 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 = {Gregor von Bochmann and David K. Probst}, volume = {663}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56496-9}, } @inproceedings{correia2011increasing, title = {Increasing router availability through virtualization}, author = {Correia, S. and Omar Cherkaoui and Juniory, 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}, } @inproceedings{LimamI.CherkaouiO.FeigenbaumD.MaculanN.2010, title = {On the Power Allocation of the Network}, author = {Limam and I. and Omar Cherkaoui and O. and Feigenbaum and D. and Maculan and N.}, year = {2010}, researchr = {https://researchr.org/publication/LimamI.CherkaouiO.FeigenbaumD.MaculanN.2010}, cites = {0}, citedby = {0}, address = {Argentina}, } @inproceedings{FerkoussO.CorreiaS.L.O.B.Ben-AliR.LemieuxY.JulienM.TatipamulaM.CherkaouiO.FerkoussO.CorreiaS.L.O.B.Ben-AliR.LemieuxY.JulienM.TatipamulaM.CherkaouiO.2011, title = {On the Flexibility of MPLS Application over an OpenFlow-enabled Network}, author = {El Ferkouss and O. and Correia and S.L.O.B. and Ben-Ali and R. and Lemieux and Y. and Julien and M. and Tatipamula and M. and Omar Cherkaoui and 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}, } @article{DssouliKSC99, title = {Communications software design for testability: specification transformations and testability measures}, author = {Rachida Dssouli and Kamel Karoui and Kassem Saleh and Omar Cherkaoui}, year = {1999}, doi = {10.1016/S0950-5849(99)00033-6}, url = {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}, } @inproceedings{HalleWVC06, title = {Self-configuration of Network Devices with Configuration Logic}, author = {Sylvain Hallé and Éric Wenaas and Roger Villemaire and Omar Cherkaoui}, year = {2006}, doi = {10.1007/11880905_4}, url = {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 = {Dominique Gaïti and Guy Pujolle and Ehab S. Al-Shaer and Kenneth L. Calvert and Simon A. Dobson and Guy Leduc and Olli Martikainen}, volume = {4195}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-45891-3}, } @inproceedings{BoutemedjetACG04, title = {ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons}, author = {Sabri Boutemedjet and Faysal Abouzaid and Omar Cherkaoui and 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 = {José Cordeiro and Joaquim Filipe}, publisher = {INSTICC Press}, isbn = {972-8865-08-2}, } @inproceedings{OmariBC99, title = {Directory Supported Management with SNMPv3}, author = {Salima Omari and Raouf Boutaba and Omar Cherkaoui}, year = {1999}, url = {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 = {Rolf Stadler and Burkhard Stiller}, volume = {1700}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66598-6}, } @inproceedings{RicoCE03, title = {A Policy Management Framework for GMPLS Optical Networks}, author = {Nathalie Rico and Omar Cherkaoui and 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 = {Dominique Gaïti and Guy Pujolle}, volume = {261}, series = {IFIP Conference Proceedings}, publisher = {Kluwer}, isbn = {1-4020-7616-9}, } @inproceedings{HalleDCVP04, title = {A Formal Validation Model for the Netconf Protocol}, author = {Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire and Daniel Puche}, year = {2004}, url = {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 = {Akhil Sahai and Felix Wu}, volume = {3278}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23631-7}, } @inproceedings{VillemaireHC05, title = {Configuration Logic: A Multi-site Modal Logic}, author = {Roger Villemaire and Sylvain Hallé and Omar Cherkaoui}, year = {2005}, doi = {10.1109/TIME.2005.18}, url = {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}, } @inproceedings{HalleDCV04, title = {Automated Validation of Service Configuration on Network Devices}, author = {Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire}, year = {2004}, url = {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 = {John B. Vicente and David Hutchison}, volume = {3271}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23239-7}, } @inproceedings{HalleVCG07, title = {Model Checking Data-Aware Workflow Properties with CTL-FO+}, author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Boubker Ghandour}, year = {2007}, doi = {10.1109/EDOC.2007.37}, url = {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}, } @inproceedings{Cherkaoui94, title = {Specification and Analysis of a Security Management System}, author = {Omar Cherkaoui}, 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 = {Maurice Naftalin and B. Tim Denvir and Miquel Bertran}, volume = {873}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58555-9}, } @inproceedings{boutemedjet-04a, title = {ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons}, author = {Boutemedjet, S. and Abouzaid, F. and Omar Cherkaoui and Gauthier, 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}, } @article{younes2007hierarchical, title = {A Hierarchical Bayesian Approach to the Estimation of Monotone Hazard Rates in the Random Right Censorship Model}, author = {Younes, H. and Delampady, M. and MacGibbon, B. and Omar Cherkaoui}, 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}, } @inproceedings{BahriaN.CherkaouiO.DrissiO.MnouarA.FrikhaM.2011, title = {A polymorphic Network service for Inter-Cloud VM Migration}, author = {Bahria and N. and Omar Cherkaoui and O. and Drissi and O. and Ben Mnouar and A. and Frikha and 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}, } @inproceedings{HalleVCTG07, title = {Extending Model Checking to Data-Aware Temporal Properties of Web Services}, author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Jérôme Tremblay and Boubker Ghandour}, year = {2007}, doi = {10.1007/978-3-540-79230-7_3}, url = {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 = {Marlon Dumas and Reiko Heckel}, volume = {4937}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-79229-1}, } @inproceedings{CherkaouiOSS98, title = {QOS metrics tool using management by delegation}, author = {Omar Cherkaoui and Abdelatif Obaid and Ahmed Serhrouchni and Noëmie Simoni}, year = {1998}, doi = {10.1109/NOMS.1998.655225}, url = {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 = {Shaygan Kheradpir}, publisher = {IEEE}, isbn = {0-7803-4352-2}, } @inproceedings{BouyoucefK.B.I.CherkaouiO.2010, title = {Optimal allocation approach of virtual servers in cloud computing}, author = {Bouyoucef and K. and Limam B. and I. and Omar Cherkaoui and 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}, } @article{HallS.VillemaireR.CherkaouiO.DecaR.2011, title = {A Logical Approach to Data-Aware Automated Sequence Generation}, author = {Hallé and S. and Villemaire and R. and Omar Cherkaoui and O. and Deca and R.}, year = {2011}, tags = {data-flow, context-aware, systematic-approach}, researchr = {https://researchr.org/publication/HallS.VillemaireR.CherkaouiO.DecaR.2011}, cites = {0}, citedby = {0}, } @inproceedings{ZengC02, title = {Performance Study of COPS over TLS and IPsec Secure Session}, author = {Yijun Zeng and Omar Cherkaoui}, year = {2002}, url = {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 = {Metin Feridun and Peter G. Kropf and Gilbert Babin}, volume = {2506}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00080-1}, } @inproceedings{boutemedjet-04b, title = {A Generic Middleware Architecture for Distributed Collaborative Platforms}, author = {Sabri Boutemedjet and Omar Cherkaoui and Faisal Abouzaid and G. Gauthier and Martin, J. and Aimeur, E}, year = {2004}, tags = {architecture}, researchr = {https://researchr.org/publication/boutemedjet-04b}, cites = {0}, citedby = {0}, booktitle = {Proceedings of NOTERE 2004}, address = {Saidia, Maroc}, } @inproceedings{villemaire2006skolem, title = {Skolem Functions and Herbrand Universes in a Tree Generalization of First Order Logic}, author = {Villemaire, R. and Halle, S. and DECA, R. and Omar Cherkaoui}, 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}, } @inproceedings{VoC04, title = {Traffic Switching Optimization on Optical Routing by using Hopfield Network}, author = {Viet Minh Nhat Vo and Omar Cherkaoui}, year = {2004}, url = {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}, } @article{CherkaouiE08, title = {Network virtualization under user control}, author = {Omar Cherkaoui and Halima Elbiaze}, year = {2008}, doi = {10.1002/nem.675}, url = {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}, } @inproceedings{ElbiazeCMB05, title = {A Structure-Preserving Method of Sampling Self-Similar Traffic}, author = {Halima Elbiaze and Omar Cherkaoui and B. McGibbon and M. Blais}, year = {2005}, doi = {10.1109/MASCOT.2005.7}, url = {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}, } @inproceedings{FakhfakhLimamCherkaoui2009, title = {Live Migration in SIP load balancing context}, author = {M. Fakhfakh and I. Limam and Omar Cherkaoui}, year = {2009}, month = {October}, tags = {migration, context-aware}, researchr = {https://researchr.org/publication/FakhfakhLimamCherkaoui2009}, cites = {0}, citedby = {0}, address = {Hammamet, Tunisia}, organization = {IEEE}, } @inproceedings{FerkoussO.SnaikiI.MounaouarO.DahmouniH.LemieuxY.AliR.CherkaouiO.2011, title = {A 100 Gig Network Processor Platform for OpenFlow}, author = {El Ferkouss and O. and Snaiki and I. and Mounaouar and O. and Dahmouni and H. and Lemieux and Y. and Bel Ali and R. and Omar Cherkaoui and 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}, } @article{hallsequential, title = {Sequential Dependencies in Configuration Operations}, author = {Hall{\'e}, S. and DECA, R. and Omar Cherkaoui and Villemaire, R. and Puche, D.}, year = {2006}, month = {Mai}, note = {GRES2006, Bordeaux, France}, researchr = {https://researchr.org/publication/hallsequential}, cites = {0}, citedby = {0}, } @article{labeau2011leveraging, title = {Leveraging Green Communications for Carbon Emission Reductions: Techniques, Testbeds, and Emerging Carbon Footprint Standards}, author = {Labeau, F. and Le Ngoc, T. and Ch{\'e}riet, M. and Thibeault, C. and Gagnon, F. and de Technologie, {\'E}. and Leon-Garcia, A. and Omar Cherkaoui}, 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}, } @inproceedings{limam2010performance, title = {Performance Characterization of Signaling Traffic in IMS Virtualized Network}, author = {Limam Bedhiaf, I. and Omar Cherkaoui}, 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}, } @inproceedings{CorreiaS.L.O.B.CelestinoJ.CherkaouiO.2011, title = {Mobility-aware Ant Colony Optimization routing for vehicular ad hoc networks}, author = {Correia and S.L.O.B. and Celestino and J. and Omar Cherkaoui and 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}, } @inproceedings{deca2007constraint, title = {Constraint-based model for network service provisioning}, author = {DECA, R. and Omar Cherkaoui and SAVARIA, Y. and SLONE, D.}, year = {2007}, 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}, } @inproceedings{DecaCP04, title = {A Validation Solution for Network Configuration}, author = {Rudy Deca and Omar Cherkaoui and Daniel Puche}, year = {2004}, url = {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}, } @inproceedings{TruongCERA04, title = {A policy-based approach for user controlled lightpath provisioning}, author = {T. Dieu Linh Truong and Omar Cherkaoui and Halima Elbiaze and Nathalie Rico and El Mostapha Aboulhamid}, year = {2004}, doi = {10.1109/NOMS.2004.1317773}, url = {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}, } @inproceedings{abouzaid-04-0, title = {Merging Contributions in Cooperative Creation of 3D Persons.}, author = {Faisal Abouzaid and Omar Cherkaoui and Sabri Boutemedjet and Lemire, G. and Gauthier, 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}, } @article{CherkaouiHP09, title = {Foreword}, author = {Omar Cherkaoui and Masum Z. Hasan and Guy Pujolle}, year = {2009}, doi = {10.1007/s12243-009-0117-y}, url = {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}, } @inproceedings{abouzaid-04, title = {Merging Contributions in Cooperative Creation of 3D Persons.}, author = {Abouzaid, F. and Omar Cherkaoui and Sabri Boutemedjet and Lemire, G. and Gauthier, 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}, } @inproceedings{HalleVC06, title = {CTL Model Checking for Labelled Tree Queries}, author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui}, year = {2006}, doi = {10.1109/TIME.2006.11}, url = {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}, } @article{ElbiazeZCK10, title = {A new structure-preserving method of sampling for predicting self-similar traffic}, author = {Halima Elbiaze and Mohamed Faten Zhani and Omar Cherkaoui and Farouk Kamoun}, year = {2010}, doi = {10.1007/s11235-009-9201-x}, url = {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}, }