Omar Cherkaoui

2008
27	EE	Omar Cherkaoui, Halima Elbiaze: Network virtualization under user control. Int. Journal of Network Management 18(2): 147-158 (2008)
2007
26	EE	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278
25	EE	Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Martin Poirier, Gilles Raîche, Martin Riopel: Blender plugin implementations for 3D collaborative work. SMC 2007: 2557-2569
24		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
23	EE	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
22	EE	Halima Elbiaze, Omar Cherkaoui: Signalling end-to-end optical services over multi-domain networks. Optical Switching and Networking 4(1): 58-74 (2007)
2006
21	EE	Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49
20	EE	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35
2005
19	EE	Halima Elbiaze, Omar Cherkaoui: Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case. ICAS/ICNS 2005: 65
18	EE	Halima Elbiaze, Omar Cherkaoui, B. McGibbon, M. Blais: A Structure-Preserving Method of Sampling Self-Similar Traffic. MASCOTS 2005: 161-168
17	EE	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282
16	EE	Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137
2004
15	EE	Rudy Deca, Omar Cherkaoui, Daniel Puche: A Validation Solution for Network Configuration. CNSR 2004: 273-275
14		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
13	EE	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158
12	EE	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188
11	EE	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
10	EE	Viet Minh Nhat Vo, Omar Cherkaoui: Traffic Switching Optimization on Optical Routing by using Hopfield Network. RIVF 2004: 125-130
2003
9	EE	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
8		Nathalie Rico, Omar Cherkaoui, Halima Elbiaze: A Policy Management Framework for GMPLS Optical Networks. Net-Con 2003: 213-224
2002
7	EE	Yijun Zeng, Omar Cherkaoui: Performance Study of COPS over TLS and IPsec Secure Session. DSOM 2002: 133-144
1999
6	EE	Salima Omari, Raouf Boutaba, Omar Cherkaoui: Directory Supported Management with SNMPv3. DSOM 1999: 121-132
5	EE	Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili: View Programming for Decentralized Development of OO Programs. TOOLS (30) 1999: 210-221
1998
4	EE	Omar Cherkaoui, Ylian Saint-Hilaire, Hafedh Mili, Ahmed Serhrouchni: Towards a modular and interoperable SNMPv3. NOMS 1998: 391-394
3	EE	Omar Cherkaoui, Abdelatif Obaid, Ahmed Serhrouchni, Noëmie Simoni: QOS metrics tool using management by delegation. NOMS 1998: 836-839
1994
2		Omar Cherkaoui: Specification and Analysis of a Security Management System. FME 1994: 66-82
1992
1		Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui: Model-Checking for Real-Time Systems Specified in Lotos. CAV 1992: 288-301

Coauthor Index

1	El Mostapha Aboulhamid	[11]
2	Faysal Abouzaid	[14] [24] [25]
3	M. Blais	[18]
4	Gregor von Bochmann	[1]
5	Raouf Boutaba	[6]
6	Sabri Boutemedjet	[14]
7	Joumana Dargham	[5]
8	Rudy Deca	[12] [13] [15] [17]
9	Halima Elbiaze	[8] [9] [11] [18] [19] [22] [27]
10	Gilles Gauthier	[14]
11	Boubker Ghandour	[23] [26]
12	Robert Godin	[5]
13	Sylvain Hallé	[12] [13] [16] [17] [20] [21] [23] [26]
14	Martin Lesage	[24] [25]
15	B. McGibbon	[18]
16	Ali Mili	[5]
17	Hafedh Mili	[4] [5]
18	Abdelatif Obaid	[3]
19	Salima Omari	[6]
20	Martin Poirier	[24] [25]
21	Daniel Puche	[13] [15] [17]
22	Gilles Raîche	[24] [25]
23	Nathalie Rico	[1] [8] [9] [11]
24	Martin Riopel	[25]
25	Ylian Saint-Hilaire	[4]
26	Ahmed Serhrouchni	[3] [4]
27	Noëmie Simoni	[3]
28	Jérôme Tremblay	[23]
29	T. Dieu Linh Truong	[9] [11]
30	Roger Villemaire	[12] [13] [16] [17] [20] [21] [23] [26]
31	Viet Minh Nhat Vo	[9] [10]
32	Éric Wenaas	[21]
33	Yijun Zeng	[7]

Colors in the list of coauthors