Omar Rafiq

20 papers A* 1B 1C 3Misc 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2003 J jnl
Coordination Algorithm for Distributed Testing.
J. Supercomput.
Omar Rafiq, Leo Cacciari
2000 J jnl
Temporal validation of multimedia protocols.
Ann. des Télécommunications
Leo Cacciari, Omar Rafiq
1999 J jnl
Controllability and observability in distributed testing.
Inf. Softw. Technol.
Leo Cacciari, Omar Rafiq
1999 Misc conf
Coordination Issues in Distributed Testing.
PDPTA
Omar Rafiq, Leo Cacciari, Mohammed Benattou
1999 — conf
Principles and Tools for Testing Open Distributed Systems.
IWTCS
Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq
1997 J jnl
Forte '95.
Comput. Networks ISDN Syst.
Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
1996 C ed.
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
FORTE
Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
1996 J jnl
Validation of protocols with temporal constraints.
Comput. Commun.
Leo Cacciari, Omar Rafiq
1995 — conf
A temporal reachability analysis.
PSTV
Leo Cacciari, Omar Rafiq
1994 — ed.
Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993
Protocol Test Systems
Omar Rafiq
1993 B conf
Decidability issues in reduced reachability analysis.
ICNP
Leo Cacciari, Omar Rafiq
1992 C conf
On improving reduced reachability analysis.
FORTE
Leo Cacciari, Omar Rafiq
1986 J jnl
Experimental testing of transport protocol.
Comput. Commun. Rev.
Omar Rafiq, Chakib Chraibi, Richard Castanet
1986 C conf
SDL as a Testing Language.
ICCC
Chakib Chraibi, Omar Rafiq, Richard Castanet
1985 — conf
Towards an environment for testing OSI protocols.
PSTV
Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu
1984 — conf
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.
PSTV
Richard Castanet, Pascal Guitton, Omar Rafiq
1984 J jnl
Some operational tools in a OSI protocols study environment.
Comput. Commun. Rev.
Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton
1983 A* conf
Description, simulation and implementation of communication protocols using PDIL.
SIGCOMM
Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon
1983 — conf
VADILOC - A Protocol Validator and Its Applications.
Protocol Specification, Testing, and Verification
Omar Rafiq, Jean-Pierre Ansart
1982 — conf
PDIL-Protocol Description and Implementation Language.
PSTV
Jean-Pierre Ansart, Omar Rafiq, V. Chari