The SCEAS System
Navigation Menu

Search the dblp DataBase


Omar Cherkaoui: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui
    Model-Checking for Real-Time Systems Specified in Lotos. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:288-301 [Conf]
  2. Rudy Deca, Omar Cherkaoui, Daniel Puche
    A Validation Solution for Network Configuration. [Citation Graph (0, 0)][DBLP]
    CNSR, 2004, pp:273-275 [Conf]
  3. Sabri Boutemedjet, Faysal Abouzaid, Omar Cherkaoui, Gilles Gauthier
    ARTICIEL: A supporting platform for collaborative work - Application to the creation of 3D-persons. [Citation Graph (0, 0)][DBLP]
    Computer Supported Acitivity Coordination, 2004, pp:239-245 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    DSOM, 2003, pp:197-199 [Conf]
  5. Salima Omari, Raouf Boutaba, Omar Cherkaoui
    Directory Supported Management with SNMPv3. [Citation Graph (0, 0)][DBLP]
    DSOM, 1999, pp:121-132 [Conf]
  6. Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
    A Formal Validation Model for the Netconf Protocol. [Citation Graph (0, 0)][DBLP]
    DSOM, 2004, pp:147-158 [Conf]
  7. Yijun Zeng, Omar Cherkaoui
    Performance Study of COPS over TLS and IPsec Secure Session. [Citation Graph (0, 0)][DBLP]
    DSOM, 2002, pp:133-144 [Conf]
  8. Omar Cherkaoui
    Specification and Analysis of a Security Management System. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:66-82 [Conf]
  9. Halima Elbiaze, Omar Cherkaoui
    Exploiting Self-Similar Traffic Analysis in network resource control: the IP over WDM networks case. [Citation Graph (0, 0)][DBLP]
    ICAS/ICNS, 2005, pp:65- [Conf]
  10. Nathalie Rico, Omar Cherkaoui, Halima Elbiaze
    A Policy Management Framework for GMPLS Optical Networks. [Citation Graph (0, 0)][DBLP]
    Net-Con, 2003, pp:213-224 [Conf]
  11. Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui
    Self-configuration of Network Devices with Configuration Logic. [Citation Graph (0, 0)][DBLP]
    Autonomic Networking, 2006, pp:36-49 [Conf]
  12. Halima Elbiaze, Omar Cherkaoui, B. McGibbon, M. Blais
    A Structure-Preserving Method of Sampling Self-Similar Traffic. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2005, pp:161-168 [Conf]
  13. Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire
    Automated Validation of Service Configuration on Network Devices. [Citation Graph (0, 0)][DBLP]
    MMNS, 2004, pp:176-188 [Conf]
  14. Viet Minh Nhat Vo, Omar Cherkaoui
    Traffic Switching Optimization on Optical Routing by using Hopfield Network. [Citation Graph (0, 0)][DBLP]
    RIVF, 2004, pp:125-130 [Conf]
  15. Roger Villemaire, Sylvain Hallé, Omar Cherkaoui
    Configuration Logic: A Multi-site Modal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:131-137 [Conf]
  16. Sylvain Hallé, Roger Villemaire, Omar Cherkaoui
    CTL Model Checking for Labelled Tree Queries. [Citation Graph (0, 0)][DBLP]
    TIME, 2006, pp:27-35 [Conf]
  17. Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili
    View Programming for Decentralized Development of OO Programs. [Citation Graph (0, 0)][DBLP]
    TOOLS (30), 1999, pp:210-221 [Conf]
  18. Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche
    Modelling the Temporal Aspects of Network Configurations. [Citation Graph (0, 0)][DBLP]
    Net-Con, 2005, pp:269-282 [Conf]

  19. Model Checking Data-Aware Workflow Properties with CTL-FO+. [Citation Graph (, )][DBLP]

  20. A Blender Plugin for Collaborative Work on the Articiel Platform. [Citation Graph (, )][DBLP]

  21. Blender plugin implementations for 3D collaborative work. [Citation Graph (, )][DBLP]

  22. Extending Model Checking to Data-Aware Temporal Properties of Web Services. [Citation Graph (, )][DBLP]

  23. Towards a modular and interoperable SNMPv3. [Citation Graph (, )][DBLP]

  24. QOS metrics tool using management by delegation. [Citation Graph (, )][DBLP]

  25. A policy-based approach for user controlled lightpath provisioning. [Citation Graph (, )][DBLP]

  26. Foreword. [Citation Graph (, )][DBLP]

  27. Third-generation virtualized architecture for the MVNO context. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002