Omar Cherkaoui

According to our database1, Omar Cherkaoui authored at least 80 papers between 1992 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Piezo-Resistive Properties of Bio-Based Sensor Yarn Made with Sisal Fibre.
Sensors, 2021

2017
A Declarative Approach to Network Device Configuration Correctness.
J. Netw. Syst. Manag., 2017

Extensions to decision-tree based packet classification algorithms to address new classification paradigms.
Comput. Networks, 2017

Optimising packet forwarding in multi-tenant networks using rule compilation.
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Rule Compilation in Multi-Tenant Networks.
Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2017

Improving Real-Time Bidding Using a Constrained Markov Decision Process.
Proceedings of the Advanced Data Mining and Applications - 13th International Conference, 2017

2016
Compiling packet forwarding rules for switch pipelined architecture.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

2015
Semantic-based forwarding model for network devices.
Proceedings of the International Conference on Protocol Engineering, 2015

Toward a semantic-based packet forwarding model for Openflow.
Proceedings of the 1st IEEE Conference on Network Softwarization, 2015

Mining Conceptual Knowledge from Network Traffic Data for Traffic Measurement Optimization.
Proceedings of the Knowledge Science, Engineering and Management, 2015

A data model for management of network device configuration heterogeneity.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

Virtual Fabric-based Approach for Virtual Data Center Network.
Proceedings of the 2nd International Workshop on Software-Defined Ecosystems, 2015

2014
ICPN: An Inter-Cloud Polymorphic Network Proposal.
Proceedings of the Wired/Wireless Internet Communications - 12th International Conference, 2014

Steady Network Service Design for Seamless Inter-cloud VM Migration.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Runtime Resource Allocation Model over Network Processors.
Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

Fast path acceleration for open vSwitch in overlay networks.
Proceedings of the Global Information Infrastructure and Networking Symposium, 2014

Constraint-based configuration complexity model for autonomic network configuration management.
Proceedings of the Global Information Infrastructure and Networking Symposium, 2014

Data plane acceleration for virtual switching in data centers: NP-based approach.
Proceedings of the 3rd IEEE International Conference on Cloud Networking, 2014

2013
Keynote 1: Wireless controlled and managed from the cloud.
Proceedings of the 12th Annual Mediterranean Ad Hoc Networking Workshop, 2013

TCAM table resource allocation for virtual openflow switch.
Proceedings of the 12th Annual Mediterranean Ad Hoc Networking Workshop, 2013

Distributed firewall anomaly detection through LTL model checking.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Optimal packet classification applicable tothe OpenFlow context.
Proceedings of the first edition workshop on High performance and programmable networking, 2013

2012
A Logical Approach to Data-Aware Automated Sequence Generation.
Trans. Comput. Sci., 2012

Rule-Based Network Service Provisioning.
J. Networks, 2012

A distributed controller for a virtualized router.
J. Internet Serv. Appl., 2012

FlowME: Lattice-based Traffic Measurement
CoRR, 2012

ValidMaker: A tool for managing device configurations using logical constraints.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Towards a semantic virtualization of configurations.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Performance model for mapping processing tasks to OpenFlow switch resources.
Proceedings of IEEE International Conference on Communications, 2012

On the problem of mapping virtual machines to physical machines for delay sensitive services.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011
Leveraging green communications for carbon emission reductions: Techniques, testbeds, and emerging carbon footprint standards.
IEEE Commun. Mag., 2011

OpenFlow supporting inter-domain virtual machine migration.
Proceedings of the 8th International Conference on Wireless and Optical Communications Networks, 2011

Mobility-aware Ant Colony Optimization routing for vehicular ad hoc networks.
Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Slices Isolator for a Virtualized Openflow Node.
Proceedings of the IEEE First Symposium on Network/Cloud Computing and Applications, 2011

On the Flexibility of MPLS Applications over an OpenFlow-Enabled Network.
Proceedings of the Global Communications Conference, 2011

A 100Gig network processor platform for openflow.
Proceedings of the 7th International Conference on Network and Service Management, 2011

2010
A new structure-preserving method of sampling for predicting self-similar traffic.
Telecommun. Syst., 2010

Special issue on virtualization.
Int. J. Netw. Manag., 2010

Optimal allocation approach of virtual servers in cloud computing.
Proceedings of the Next Generation Internet (NGI), 2010

Performance Characterization of Signaling Traffic in IMS Virtualized Network.
Proceedings of IEEE International Conference on Communications, 2010

2009
Specifying and Validating Data-Aware Temporal Web Service Properties.
IEEE Trans. Software Eng., 2009

Foreword.
Ann. des Télécommunications, 2009

Third-generation virtualized architecture for the MVNO context.
Ann. des Télécommunications, 2009

2008
Network virtualization under user control.
Int. J. Netw. Manag., 2008

2007
Signalling end-to-end optical services over multi-domain networks.
Opt. Switch. Netw., 2007

Constraint-based model for network service provisioning.
Ann. des Télécommunications, 2007

Extending Model Checking to Data-Aware Temporal Properties of Web Services.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Blender plugin implementations for 3D collaborative work.
Proceedings of the IEEE International Conference on Systems, 2007

A Blender Plugin for Collaborative Work on the Articiel Platform.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Model Checking Data-Aware Workflow Properties with CTL-FO+.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
CTL Model Checking for Labelled Tree Queries.
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Self-configuration of Network Devices with Configuration Logic.
Proceedings of the Autonomic Networking, First International IFIP TC6 Conference, 2006

2005
Configuration Logic: A Multi-site Modal Logic.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

A Structure-Preserving Method of Sampling Self-Similar Traffic.
Proceedings of the 13th International Symposium on Modeling, 2005

Modelling the Temporal Aspects of Network Configurations.
Proceedings of the Network Control and Engineering for QoS, 2005

Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case.
Proceedings of the Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, 2005

2004
Web services architecture for user control and management of optical Internet networks.
Proc. IEEE, 2004

RISQ 2003/CANARIE'S 2003 Advanced Network Workshop Joint Event [Global Communications NewsIetter].
IEEE Commun. Mag., 2004

Traffic Switching Optimization on Optical Routing by using Hopfield Network.
Proceedings of the Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, 2004

A policy-based approach for user controlled lightpath provisioning.
Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

Automated Validation of Service Configuration on Network Devices.
Proceedings of the Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, 2004

Configuration Model for Network Management.
Proceedings of the Network Control and Engineering for QoS, Security and Mobility, III, 2004

A Formal Validation Model for the Netconf Protocol.
Proceedings of the Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, 2004

ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons.
Proceedings of the Computer Supported Activity Coordination, 2004

A Validation Solution for Network Configuration.
Proceedings of the 2nd Annual Conference on Communication Networks and Services Research (CNSR 2004), 2004

2003
A Policy Management Framework for GMPLS Optical Networks.
Proceedings of the Network Control and Engineering for QoS, 2003

A Web Services Signaling Approach over Optical Networks for SAN Applications.
Proceedings of the Self-Managing Distributed Systems, 2003

2002
Performance Study of COPS over TLS and IPsec Secure Session.
Proceedings of the Management Technologies for E-Commerce and E-Business Applications, 2002

1999
Communications software design for testability: specification transformations and testability measures.
Inf. Softw. Technol., 1999

View Programming for Decentralized Development of OO Programs.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Policies in SNMPv3-based Management.
Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

SNMPv3 Can Still be Simple?
Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

Directory Supported Management with SNMPv3.
Proceedings of the Active Technologies for Network and Service Management, 1999

1998
Towards a modular and interoperable SNMPv3.
Proceedings of the 1998 Network Operations and Management Symposium, 1998

QOS metrics tool using management by delegation.
Proceedings of the 1998 Network Operations and Management Symposium, 1998

The modularity of SNMPv3.
Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30, 1998

1994
Specification And Analysis Of A Security Management System.
Proceedings of NOMS '94, 1994

Specification and Analysis of a Security Management System.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1992
Model-Checking for Real-Time Systems Specified in Lotos.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992


  Loading...