PDIL-Protocol Description and Implementation Language. - Jean-Pierre Ansart; Omar Rafiq; V. Chari (PSTV, 1982)

VADILOC - A Protocol Validator and Its Applications. - Omar Rafiq; Jean-Pierre Ansart (Protocol Specification, Testing, and Verification, 1983)

Description, simulation and implementation of communication protocols using PDIL. - Jean-Pierre Ansart; V. Chari; M. Neyer; Omar Rafiq; D. Simon (SIGCOMM, 1983)

An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. - Richard Castanet; Pascal Guitton; Omar Rafiq (PSTV, 1984)

Some operational tools in a OSI protocols study environment. - Jean-Pierre Ansart; Omar Rafiq; Richard Castanet; Pascal Guitton (Comput. Commun. Rev., 1984)

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

SDL as a Testing Language. - Chakib Chraibi; Omar Rafiq; Richard Castanet (ICCC, 1986)

Experimental testing of transport protocol. - Omar Rafiq; Chakib Chraibi; Richard Castanet (Comput. Commun. Rev., 1986)

On improving reduced reachability analysis. - Leo Cacciari; Omar Rafiq (FORTE, 1992)

Decidability issues in reduced reachability analysis. - Leo Cacciari; Omar Rafiq (ICNP, 1993)

A temporal reachability analysis. - Leo Cacciari; Omar Rafiq (PSTV, 1995)

Validation of protocols with temporal constraints. - Leo Cacciari; Omar Rafiq (Comput. Commun., 1996)

Forte '95. - Gregor von Bochmann; Rachida Dssouli; Omar Rafiq (Comput. Networks ISDN Syst., 1997)

Coordination Issues in Distributed Testing. - Omar Rafiq; Leo Cacciari; Mohammed Benattou (PDPTA, 1999)

Principles and Tools for Testing Open Distributed Systems. - Mohammed Benattou; Leo Cacciari; Régis Pasini; Omar Rafiq (IWTCS, 1999)

Controllability and observability in distributed testing. - Leo Cacciari; Omar Rafiq (Inf. Softw. Technol., 1999)

Temporal validation of multimedia protocols. - Leo Cacciari; Omar Rafiq (Ann. des Télécommunications, 2000)

Coordination Algorithm for Distributed Testing. - Omar Rafiq; Leo Cacciari (J. Supercomput., 2003)