Model-Checking for Real-Time Systems Specified in Lotos. - Nathalie Rico; Gregor von Bochmann; Omar Cherkaoui (CAV, 1992)

Specification and Analysis of a Security Management System. - Omar Cherkaoui (FME, 1994)

Specification And Analysis Of A Security Management System. - A. Bemardi; Nathalie Rico; Omar Cherkaoui; J. Banfield (NOMS, 1994)

The modularity of SNMPv3. - Omar Cherkaoui; Ylian Saint Hillaire; Hafedh Mili; Abdellatif Obaid; Ahmed Serhrouchni (ISCC, 1998)

QOS metrics tool using management by delegation. - Omar Cherkaoui; Abdellatif Obaid; Ahmed Serhrouchni; Noëmie Simoni (NOMS, 1998)

Towards a modular and interoperable SNMPv3. - Omar Cherkaoui; Ylian Saint-Hilaire; Hafedh Mili; Ahmed Serhrouchni (NOMS, 1998)

Directory Supported Management with SNMPv3. - Salima Omari; Raouf Boutaba; Omar Cherkaoui (DSOM, 1999)

SNMPv3 Can Still be Simple? - Omar Cherkaoui; Nathalie Rico; Ahmed Serhrouchni (Integrated Network Management, 1999)

Policies in SNMPv3-based Management. - Salima Omari; Raouf Boutaba; Omar Cherkaoui (Integrated Network Management, 1999)

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

Communications software design for testability: specification transformations and testability measures. - Rachida Dssouli; Kamel Karoui; Kassem Saleh; Omar Cherkaoui (Inf. Softw. Technol., 1999)

Performance Study of COPS over TLS and IPsec Secure Session. - Yijun Zeng; Omar Cherkaoui (DSOM, 2002)

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

A Policy Management Framework for GMPLS Optical Networks. - Nathalie Rico; Omar Cherkaoui; Halima Elbiaze (Net-Con, 2003)

A Validation Solution for Network Configuration. - Rudy Deca; Omar Cherkaoui; Daniel Puche (CNSR, 2004)

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

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

Configuration Model for Network Management. - Rudy Deca; Omar Cherkaoui; Daniel Puche (Net-Con, 2004)

Automated Validation of Service Configuration on Network Devices. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire (MMNS, 2004)

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

Traffic Switching Optimization on Optical Routing by using Hopfield Network. - Viet Minh Nhat Vo; Omar Cherkaoui (RIVF, 2004)

RISQ 2003/CANARIE'S 2003 Advanced Network Workshop Joint Event [Global Communications NewsIetter]. - Christian Allegre; Omar Cherkaoui (IEEE Commun. Mag., 2004)

Web services architecture for user control and management of optical Internet networks. - Bill St. Arnaud; Andrew K. Bjerring; Omar Cherkaoui; Raouf Boutaba; Martin Pott; Wade Hong (Proc. IEEE, 2004)

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

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

A Structure-Preserving Method of Sampling Self-Similar Traffic. - Halima Elbiaze; Omar Cherkaoui; B. McGibbon; M. Blais (MASCOTS, 2005)

Configuration Logic: A Multi-site Modal Logic. - Roger Villemaire; Sylvain Hallé; Omar Cherkaoui (TIME, 2005)

Self-configuration of Network Devices with Configuration Logic. - Sylvain Hallé; Eric P. Wenaas; Roger Villemaire; Omar Cherkaoui (Autonomic Networking, 2006)

CTL Model Checking for Labelled Tree Queries. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui (TIME, 2006)

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

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

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

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

Constraint-based model for network service provisioning. - Rudy Deca; Omar Cherkaoui; Yvon Savaria; Doug Slone (Ann. des Télécommunications, 2007)

Signalling end-to-end optical services over multi-domain networks. - Halima Elbiaze; Omar Cherkaoui (Opt. Switch. Netw., 2007)

Network virtualization under user control. - Omar Cherkaoui; Halima Elbiaze (Int. J. Netw. Manag., 2008)

Third-generation virtualized architecture for the MVNO context. - Imen Limam Bedhiaf; Omar Cherkaoui; Guy Pujolle (Ann. des Télécommunications, 2009)

Foreword. - Omar Cherkaoui; Masum Z. Hasan; Guy Pujolle (Ann. des Télécommunications, 2009)

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

Performance Characterization of Signaling Traffic in IMS Virtualized Network. - Imen Limam Bedhiaf; Omar Cherkaoui (ICC, 2010)

Optimal allocation approach of virtual servers in cloud computing. - Kamal Bouyoucef; Imen Limam Bedhiaf; Omar Cherkaoui (NGI, 2010)

Special issue on virtualization. - Omar Cherkaoui; Olivier Festor; Lisandro Zambenedetti Granville (Int. J. Netw. Manag., 2010)

A new structure-preserving method of sampling for predicting self-similar traffic. - Halima Elbiaze; Mohamed Faten Zhani; Omar Cherkaoui; Farouk Kamoun (Telecommun. Syst., 2010)

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

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

Slices Isolator for a Virtualized Openflow Node. - Mohammed El-azzab; Imen Limam Bedhiaf; Yves Lemieux; Omar Cherkaoui (NCCA, 2011)

Mobility-aware Ant Colony Optimization routing for vehicular ad hoc networks. - Sergio Luis O. B. Correia; Joaquim Celestino Jr.; Omar Cherkaoui (WCNC, 2011)

OpenFlow supporting inter-domain virtual machine migration. - Bochra Boughzala; Racha Ben Ali; Mathieu Lemay; Yves Lemieux; Omar Cherkaoui (WOCN, 2011)

Leveraging green communications for carbon emission reductions: Techniques, testbeds, and emerging carbon footprint standards. - 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; et al. (IEEE Commun. Mag., 2011)

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

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

Towards a semantic virtualization of configurations. - Sylvain Hallé; Omar Cherkaoui; Petko Valtchev (NOMS, 2012)

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

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

A distributed controller for a virtualized router. - Hakim Mellah; Omar Cherkaoui; Yves Lemieux (J. Internet Serv. Appl., 2012)

Rule-Based Network Service Provisioning. - Rudy Deca; Omar Cherkaoui; Yvon Savaria (J. Networks, 2012)

A Logical Approach to Data-Aware Automated Sequence Generation. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Rudy Deca (Trans. Comput. Sci., 2012)

Optimal packet classification applicable tothe OpenFlow context. - Thibaut Stimpfling; Yvon Savaria; André Béliveau; Normand Bélanger; Omar Cherkaoui (HPPN@HPDC, 2013)

Distributed firewall anomaly detection through LTL model checking. - Sylvain Hallé; Eric Lunaud Ngoupe; Roger Villemaire; Omar Cherkaoui (IM, 2013)

TCAM table resource allocation for virtual openflow switch. - Imen Limam Bedhiaf; Richard Burguin; Omar Cherkaoui; Mikaël Salaün (Med-Hoc-Net, 2013)

Keynote 1: Wireless controlled and managed from the cloud. - Omar Cherkaoui; Catherine Rosenberg (Med-Hoc-Net, 2013)

Data plane acceleration for virtual switching in data centers: NP-based approach. - Khalil Blaiech; Salaheddine Hamadi; Amina Mseddi; Omar Cherkaoui (CloudNet, 2014)

Constraint-based configuration complexity model for autonomic network configuration management. - Rudy Deca; Omar Cherkaoui; Yvon Savaria (GIIS, 2014)

Fast path acceleration for open vSwitch in overlay networks. - Salaheddine Hamadi; Ilyas Snaiki; Omar Cherkaoui (GIIS, 2014)

Runtime Resource Allocation Model over Network Processors. - Khalil Blaiech; Omar Mounaouar; Omar Cherkaoui; Ludovic Béliveau (IC2E, 2014)

A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. - Eric Lunaud Ngoupe; Sylvain Stoesel; Clément Parisot; Sylvain Hallé; Petko Valtchev; Omar Cherkaoui; Pierre Boucher (ICECCS, 2014)

Steady Network Service Design for Seamless Inter-cloud VM Migration. - Nihed Bahria El Asghar; Omar Cherkaoui; Mounir Frikha; Sami Tabbane (OTM Conferences, 2014)

ICPN: An Inter-Cloud Polymorphic Network Proposal. - Nihed Bahria El Asghar; Omar Cherkaoui; Mounir Frikha; Sami Tabbane (WWIC, 2014)

Virtual Fabric-based Approach for Virtual Data Center Network. - Khalil Blaiech; Omar Cherkaoui (BigSystem@HPDC, 2015)

A data model for management of network device configuration heterogeneity. - Eric Lunaud Ngoupe; Sylvain Stoesel; Clément Parisot; Sylvain Hallé; Petko Valtchev; Omar Cherkaoui; Pierre Boucher (IM, 2015)

Mining Conceptual Knowledge from Network Traffic Data for Traffic Measurement Optimization. - Petko Valtchev; Omar Mounaouar; Omar Cherkaoui; Alexandar Dimitrov (KSEM, 2015)

Toward a semantic-based packet forwarding model for Openflow. - Khalil Blaiech; Salaheddine Hamadi; Petko Valtchev; Omar Cherkaoui; André Béliveau (NetSoft, 2015)

Semantic-based forwarding model for network devices. - Salaheddine Hamadi; Khalil Blaiech; Omar Cherkaoui (CFIP/NOTERE, 2015)

Compiling packet forwarding rules for switch pipelined architecture. - Salaheddine Hamadi; Khalil Blaiech; Petko Valtchev; Omar Cherkaoui; Radu State (INFOCOM, 2016)

Improving Real-Time Bidding Using a Constrained Markov Decision Process. - Manxing Du; Redouane Sassioui; Georgios Varisteas; Radu State; Mats Brorsson; Omar Cherkaoui (ADMA, 2017)

Rule Compilation in Multi-Tenant Networks. - Khalil Blaiech; Salaheddine Hamadi; Stefan Hommes; Petko Valtchev; Omar Cherkaoui; Radu State (ANCS, 2017)

Optimising packet forwarding in multi-tenant networks using rule compilation. - Stefan Hommes; Petko Valtchev; Khalil Blaiech; Salaheddine Hamadi; Omar Cherkaoui; Radu State (NCA, 2017)

Extensions to decision-tree based packet classification algorithms to address new classification paradigms. - Thibaut Stimpfling; Normand Bélanger; Omar Cherkaoui; André Béliveau; Ludovic Béliveau; Yvon Savaria (Comput. Networks, 2017)

A Declarative Approach to Network Device Configuration Correctness. - Eric Lunaud Ngoupe; Clément Parisot; Sylvain Stoesel; Petko Valtchev; Roger Villemaire; Omar Cherkaoui; Pierre Boucher; Sylvain Hallé (J. Netw. Syst. Manag., 2017)

Piezo-Resistive Properties of Bio-Based Sensor Yarn Made with Sisal Fibre. - Ahmed Abed; Zineb Samouh; Cédric Cochrane; François Boussu; Omar Cherkaoui; Reddad El Moznine; Julien Vieillard (Sensors, 2021)

Rheological Properties and Inkjet Printability of a Green Silver-Based Conductive Ink for Wearable Flexible Textile Antennas. - Abdelkrim Boumegnane; Said Douhi; Assia Batine; Thibault Dormois; Cédric Cochrane; Ayoub Nadi; Omar Cherkaoui; Mohamed Tahiri (Sensors, 2024)