Omar Cherkaoui

2008
22	EE	Omar Cherkaoui, Halima Elbiaze: Network virtualization under user control. Int. Journal of Network Management 18(2): 147-158 (2008)
2007
21	EE	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278
20		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
19	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
2006
18	EE	Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49
17	EE	Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35
2005
16	EE	Halima Elbiaze, Omar Cherkaoui: Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case. ICAS/ICNS 2005: 65
15	EE	Halima Elbiaze, Omar Cherkaoui, B. McGibbon, M. Blais: A Structure-Preserving Method of Sampling Self-Similar Traffic. MASCOTS 2005: 161-168
14	EE	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282
13	EE	Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137
2004
12	EE	Rudy Deca, Omar Cherkaoui, Daniel Puche: A Validation Solution for Network Configuration. CNSR 2004: 273-275
11		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
10	EE	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158
9	EE	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188
8	EE	Viet Minh Nhat Vo, Omar Cherkaoui: Traffic Switching Optimization on Optical Routing by using Hopfield Network. RIVF 2004: 125-130
2003
7	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
6		Nathalie Rico, Omar Cherkaoui, Halima Elbiaze: A Policy Management Framework for GMPLS Optical Networks. Net-Con 2003: 213-224
2002
5	EE	Yijun Zeng, Omar Cherkaoui: Performance Study of COPS over TLS and IPsec Secure Session. DSOM 2002: 133-144
1999
4	EE	Salima Omari, Raouf Boutaba, Omar Cherkaoui: Directory Supported Management with SNMPv3. DSOM 1999: 121-132
3	EE	Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili: View Programming for Decentralized Development of OO Programs. TOOLS (30) 1999: 210-221
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	Faysal Abouzaid	[11] [20]
2	M. Blais	[15]
3	Gregor von Bochmann	[1]
4	Raouf Boutaba	[4]
5	Sabri Boutemedjet	[11]
6	Joumana Dargham	[3]
7	Rudy Deca	[9] [10] [12] [14]
8	Halima Elbiaze	[6] [7] [15] [16] [22]
9	Gilles Gauthier	[11]
10	Boubker Ghandour	[19] [21]
11	Robert Godin	[3]
12	Sylvain Hallé	[9] [10] [13] [14] [17] [18] [19] [21]
13	Martin Lesage	[20]
14	B. McGibbon	[15]
15	Ali Mili	[3]
16	Hafedh Mili	[3]
17	Salima Omari	[4]
18	Martin Poirier	[20]
19	Daniel Puche	[10] [12] [14]
20	Gilles Raîche	[20]
21	Nathalie Rico	[1] [6] [7]
22	Jérôme Tremblay	[19]
23	T. Dieu Linh Truong	[7]
24	Roger Villemaire	[9] [10] [13] [14] [17] [18] [19] [21]
25	Viet Minh Nhat Vo	[7] [8]
26	Éric Wenaas	[18]
27	Yijun Zeng	[5]

Colors in the list of coauthors