dblp.uni-trier.dewww.uni-trier.de

Omar Cherkaoui

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
25EEOmar Cherkaoui, Halima Elbiaze: Network virtualization under user control. Int. Journal of Network Management 18(2): 147-158 (2008)
2007
24EESylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278
23 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
22EESylvain 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
21EESylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49
20EESylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35
2005
19EEHalima Elbiaze, Omar Cherkaoui: Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case. ICAS/ICNS 2005: 65
18EEHalima Elbiaze, Omar Cherkaoui, B. McGibbon, M. Blais: A Structure-Preserving Method of Sampling Self-Similar Traffic. MASCOTS 2005: 161-168
17EESylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282
16EERoger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137
2004
15EERudy 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
13EESylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158
12EESylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188
11EET. 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
10EEViet Minh Nhat Vo, Omar Cherkaoui: Traffic Switching Optimization on Optical Routing by using Hopfield Network. RIVF 2004: 125-130
2003
9EEOmar 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
7EEYijun Zeng, Omar Cherkaoui: Performance Study of COPS over TLS and IPsec Secure Session. DSOM 2002: 133-144
1999
6EESalima Omari, Raouf Boutaba, Omar Cherkaoui: Directory Supported Management with SNMPv3. DSOM 1999: 121-132
5EEHafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili: View Programming for Decentralized Development of OO Programs. TOOLS (30) 1999: 210-221
1998
4EEOmar Cherkaoui, Ylian Saint-Hilaire, Hafedh Mili, Ahmed Serhrouchni: Towards a modular and interoperable SNMPv3. NOMS 1998: 391-394
3EEOmar Cherkaoui, Abdelatif Obaid, Ahmed Serhrouchni, Noëmi 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

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

Colors in the list of coauthors

Copyright © Fri Jan 2 03:50:28 2009 by Michael Ley (ley@uni-trier.de)