Omar Rafiq

Omar Rafiq, Leo Cacciari: Coordination Algorithm for Distributed Testing. The Journal of Supercomputing 24(2): 203-211 (2003)

Leo Cacciari, Omar Rafiq: Temporal validation of multimedia protocols. Annales des Télécommunications 55(1-2): 31-44 (2000)

Leo Cacciari, Omar Rafiq: Controllability and observability in distributed testing. Information & Software Technology 41(11-12): 767-780 (1999)

Omar Rafiq, Leo Cacciari, Mohammed Benattou: Coordination Issues in Distributed Testing. PDPTA 1999: 793-799

Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq: Principles and Tools for Testing Open Distributed Systems. IWTCS 1999: 77-92

Leo Cacciari, Omar Rafiq: Validation of protocols with temporal constraints. Computer Communications 19(14): 1188-1199 (1996)

Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (Eds.): Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43, Chapman & Hall 1996, isbn 0-412-73270-X

Leo Cacciari, Omar Rafiq: A temporal reachability analysis. PSTV 1995: 35-49

Omar Rafiq (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. IFIP Transactions C-19, North-Holland 1994, isbn 0-444-81697-6

Leo Cacciari, Omar Rafiq: On improving reduced reachability analysis. FORTE 1992: 137-152

Omar Rafiq, Chakib Chraibi, Richard Castanet: Experimental testing of transport protocol. Computer Communication Review 16(4): 23-34 (1986)

Chakib Chraibi, Omar Rafiq, Richard Castanet: SDL as a Testing Language. ICCC 1986: 502-507

Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu: Towards an environment for testing OSI protocols. PSTV 1985: 533-544

Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton: Some operational tools in a OSI protocols study environment. Computer Communication Review 14(2): 156-161 (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: 111-125

Omar Rafiq, Jean-Pierre Ansart: VADILOC - A Protocol Validator and Its Applications. Protocol Specification, Testing, and Verification 1983: 189-197

Jean-Pierre Ansart, Omar Rafiq, V. Chari: PDIL-Protocol Description and Implementation Language. PSTV 1982: 101-112