The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. Leo Cacciari, Omar Rafiq
    On improving reduced reachability analysis. [Citation Graph (0, 0)][DBLP]
    FORTE, 1992, pp:137-152 [Conf]
  2. Chakib Chraibi, Omar Rafiq, Richard Castanet
    SDL as a Testing Language. [Citation Graph (0, 0)][DBLP]
    ICCC, 1986, pp:502-507 [Conf]
  3. Omar Rafiq, Jean-Pierre Ansart
    VADILOC - A Protocol Validator and Its Applications. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:189-197 [Conf]
  4. Omar Rafiq, Leo Cacciari, Mohammed Benattou
    Coordination Issues in Distributed Testing. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:793-799 [Conf]
  5. Leo Cacciari, Omar Rafiq
    A temporal reachability analysis. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:35-49 [Conf]
  6. Jean-Pierre Ansart, Omar Rafiq, V. Chari
    PDIL-Protocol Description and Implementation Language. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:101-112 [Conf]
  7. Richard Castanet, Pascal Guitton, Omar Rafiq
    An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:111-125 [Conf]
  8. Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu
    Towards an environment for testing OSI protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:533-544 [Conf]
  9. Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq
    Principles and Tools for Testing Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:77-92 [Conf]
  10. Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
    Some operational tools in a OSI protocols study environment. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 1984, v:14, n:2, pp:156-161 [Journal]
  11. Omar Rafiq, Chakib Chraibi, Richard Castanet
    Experimental testing of transport protocol. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 1986, v:16, n:4, pp:23-34 [Journal]
  12. Leo Cacciari, Omar Rafiq
    Validation of protocols with temporal constraints. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1188-1199 [Journal]
  13. Leo Cacciari, Omar Rafiq
    Controllability and observability in distributed testing. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:767-780 [Journal]
  14. Omar Rafiq, Leo Cacciari
    Coordination Algorithm for Distributed Testing. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 2003, v:24, n:2, pp:203-211 [Journal]

Search in 0.003secs, Finished in 0.004secs
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