Omar Rafiq

Publication Activity (10 Years)

Years Active: 1982-2003
Publications (10 Years): 0

Publications

Omar Rafiq, Leo Cacciari
Coordination Algorithm for Distributed Testing. J. Supercomput. 24 (2) (2003)
Leo Cacciari, Omar Rafiq
Temporal validation of multimedia protocols. Ann. des Télécommunications 55 (1-2) (2000)
Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq
Principles and Tools for Testing Open Distributed Systems. IWTCS (1999)
Omar Rafiq, Leo Cacciari, Mohammed Benattou
Coordination Issues in Distributed Testing. PDPTA (1999)
Leo Cacciari, Omar Rafiq
Controllability and observability in distributed testing. Inf. Softw. Technol. 41 (11-12) (1999)
Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
Forte '95. Comput. Networks ISDN Syst. 29 (7) (1997)
Leo Cacciari, Omar Rafiq
Validation of protocols with temporal constraints. Comput. Commun. 19 (14) (1996)
Leo Cacciari, Omar Rafiq
A temporal reachability analysis. PSTV (1995)
Leo Cacciari, Omar Rafiq
Decidability issues in reduced reachability analysis. ICNP (1993)
Leo Cacciari, Omar Rafiq
On improving reduced reachability analysis. FORTE (1992)
Chakib Chraibi, Omar Rafiq, Richard Castanet
SDL as a Testing Language. ICCC (1986)
Omar Rafiq, Chakib Chraibi, Richard Castanet
Experimental testing of transport protocol. Comput. Commun. Rev. 16 (4) (1986)
Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu
Towards an environment for testing OSI protocols. PSTV (1985)
Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
Some operational tools in a OSI protocols study environment. Comput. Commun. Rev. 14 (2) (1984)
Richard Castanet, Pascal Guitton, Omar Rafiq
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. PSTV (1984)
Omar Rafiq, Jean-Pierre Ansart
VADILOC - A Protocol Validator and Its Applications. Protocol Specification, Testing, and Verification (1983)
Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon
Description, simulation and implementation of communication protocols using PDIL. SIGCOMM (1983)
Jean-Pierre Ansart, Omar Rafiq, V. Chari
PDIL-Protocol Description and Implementation Language. PSTV (1982)