Omar Cherkaoui

H. Mellah, Omar Cherkaoui, Yves Lemieux: A distributed controller for a virtualized router. J. Internet Services and Applications 3(3): 311-318 (2012)

Rudy Deca, Omar Cherkaoui, Yvon Savaria: Rule-Based Network Service Provisioning. JNW 7(10): 1493-1504 (2012)

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca: A Logical Approach to Data-Aware Automated Sequence Generation. Transactions on Computational Science 15: 192-216 (2012)

Imen Limam Bedhiaf, Racha Ben Ali, Omar Cherkaoui: On the problem of mapping virtual machines to physical machines for delay sensitive services. GLOBECOM 2012: 2628-2633

Omar El Ferkouss, Racha Ben Ali, Yves Lemieux, Omar Cherkaoui: Performance model for mapping processing tasks to OpenFlow switch resources. ICC 2012: 1476-1481

Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire: ValidMaker: A tool for managing device configurations using logical constraints. NOMS 2012: 1111-1118

Sylvain Hallé, Omar Cherkaoui, Petko Valtchev: Towards a semantic virtualization of configurations. NOMS 2012: 1268-1271

Petko Valtchev, Omar Mounaouar, Omar Cherkaoui, Alexandar Dimitrov, Laurent Marchand: FlowME: Lattice-based Traffic Measurement. CoRR abs/1211.2501 (2012)

Charles L. Despins, Fabrice Labeau, Tho Le-Ngoc, Richard Labelle, Mohamed Cheriet, Claude Thibeault, François Gagnon, Alberto Leon-Garcia, Omar Cherkaoui, Bill St. Arnaud, Jacques Mcneill, Yves Lemieux, Mathieu Lemay: Leveraging green communications for carbon emission reductions: Techniques, testbeds, and emerging carbon footprint standards. IEEE Communications Magazine 49(8): 101-109 (2011)

Omar El Ferkouss, Ilyas Snaiki, Omar Mounaouar, Hamza Dahmouni, Racha Ben Ali, Yves Lemieux, Omar Cherkaoui: A 100Gig network processor platform for openflow. CNSM 2011: 1-4

Omar El Ferkouss, Sergio Luis O. B. Correia, Racha Ben Ali, Yves Lemieux, Martin Julien, Mallik Tatipamula, Omar Cherkaoui: On the Flexibility of MPLS Applications over an OpenFlow-Enabled Network. GLOBECOM 2011: 1-6

Mohammed El-azzab, Imen Limam Bedhiaf, Yves Lemieux, Omar Cherkaoui: Slices Isolator for a Virtualized Openflow Node. NCCA 2011: 121-126

Sergio Luis O. B. Correia, Joaquim Celestino, Omar Cherkaoui: Mobility-aware Ant Colony Optimization routing for vehicular ad hoc networks. WCNC 2011: 1125-1130

Bochra Boughzala, Racha Ben Ali, Mathieu Lemay, Yves Lemieux, Omar Cherkaoui: OpenFlow supporting inter-domain virtual machine migration. WOCN 2011: 1-7

Omar Cherkaoui, Olivier Festor, Lisandro Zambenedetti Granville: Special issue on virtualization. Int. Journal of Network Management 20(3): 109 (2010)

Halima Elbiaze, Mohamed Faten Zhani, Omar Cherkaoui, Farouk Kamoun: A new structure-preserving method of sampling for predicting self-similar traffic. Telecommunication Systems 43(3-4): 265-277 (2010)

Imen Limam Bedhiaf, Omar Cherkaoui: Performance Characterization of Signaling Traffic in IMS Virtualized Network. ICC 2010: 1-5

Kamal Bouyoucef, Imen Limam Bedhiaf, Omar Cherkaoui: Optimal allocation approach of virtual servers in cloud computing. NGI 2010: 1-6

Omar Cherkaoui, Masum Z. Hasan, Guy Pujolle: Foreword. Annales des Télécommunications 64(5-6): 269-270 (2009)

Imen Limam Bedhiaf, Omar Cherkaoui, Guy Pujolle: Third-generation virtualized architecture for the MVNO context. Annales des Télécommunications 64(5-6): 339-347 (2009)

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35(5): 669-683 (2009)

Omar Cherkaoui, Halima Elbiaze: Network virtualization under user control. Int. Journal of Network Management 18(2): 147-158 (2008)

Rudy Deca, Omar Cherkaoui, Yvon Savaria, Doug Slone: Constraint-based model for network service provisioning. Annales des Télécommunications 62(7-8): 847-870 (2007)

Halima Elbiaze, Omar Cherkaoui: Signalling end-to-end optical services over multi-domain networks. Optical Switching and Networking 4(1): 58-74 (2007)

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278

Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche: A Blender Plugin for Collaborative Work on the Articiel Platform. Software Engineering Research and Practice 2007: 333-339

Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche, Martin Riopel: Blender plugin implementations for 3D collaborative work. SMC 2007: 2557-2569

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour: Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM 2007: 31-45

Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35

Halima Elbiaze, Omar Cherkaoui: Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case. ICAS/ICNS 2005: 65

Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282

Halima Elbiaze, Omar Cherkaoui, B. McGibbon, M. Blais: A Structure-Preserving Method of Sampling Self-Similar Traffic. MASCOTS 2005: 161-168

Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137

Rudy Deca, Omar Cherkaoui, Daniel Puche: A Validation Solution for Network Configuration. CNSR 2004: 273-275

Sabri Boutemedjet, Faysal Abouzaid, Omar Cherkaoui, Gilles Gauthier: ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons. Computer Supported Acitivity Coordination 2004: 239-245

Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158

Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188

T. Dieu Linh Truong, Omar Cherkaoui, Halima Elbiaze, Nathalie Rico, El Mostapha Aboulhamid: A policy-based approach for user controlled lightpath provisioning. NOMS (1) 2004: 859-872

Viet Minh Nhat Vo, Omar Cherkaoui: Traffic Switching Optimization on Optical Routing by using Hopfield Network. RIVF 2004: 125-130

Omar Cherkaoui, Nathalie Rico, T. Dieu Linh Truong, Halima Elbiaze, Viet Minh Nhat Vo: A Web Services Signaling Approach over Optical Networks for SAN Applications. DSOM 2003: 197-199

Nathalie Rico, Omar Cherkaoui, Halima Elbiaze: A Policy Management Framework for GMPLS Optical Networks. Net-Con 2003: 213-224

Yijun Zeng, Omar Cherkaoui: Performance Study of COPS over TLS and IPsec Secure Session. DSOM 2002: 133-144

Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui: Communications software design for testability: specification transformations and testability measures. Information & Software Technology 41(11-12): 729-743 (1999)

Salima Omari, Raouf Boutaba, Omar Cherkaoui: Directory Supported Management with SNMPv3. DSOM 1999: 121-132

Omar Cherkaoui, Nathalie Rico, Ahmed Serhrouchni: SNMPv3 Can Still be Simple? Integrated Network Management 1999: 501-515

Salima Omari, Raouf Boutaba, Omar Cherkaoui: Policies in SNMPv3-based Management. Integrated Network Management 1999: 797-812

Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili: View Programming for Decentralized Development of OO Programs. TOOLS (30) 1999: 210-221

Omar Cherkaoui, Ylian Saint-Hilaire, Hafedh Mili, Ahmed Serhrouchni: Towards a modular and interoperable SNMPv3. NOMS 1998: 391-394

Omar Cherkaoui, Abdelatif Obaid, Ahmed Serhrouchni, Noëmie Simoni: QOS metrics tool using management by delegation. NOMS 1998: 836-839

Omar Cherkaoui: Specification and Analysis of a Security Management System. FME 1994: 66-82

A. Bemardi, Nathalie Rico, Omar Cherkaoui, J. Banfield: Specification And Analysis Of A Security Management System. NOMS 1994: 470-485

Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui: Model-Checking for Real-Time Systems Specified in Lotos. CAV 1992: 288-301