Omar Rafiq

According to our database, Omar Rafiq authored at least 18 papers between 1982 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Coordination Algorithm for Distributed Testing.

Omar Rafiq, Leo Cacciari

J. Supercomput., 2003

2000

Temporal validation of multimedia protocols.

Leo Cacciari, Omar Rafiq

Ann. des Télécommunications, 2000

1999

Controllability and observability in distributed testing.

Leo Cacciari, Omar Rafiq

Inf. Softw. Technol., 1999

Principles and Tools for Testing Open Distributed Systems.

Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Coordination Issues in Distributed Testing.

Omar Rafiq, Leo Cacciari, Mohammed Benattou

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

Forte '95.

Gregor von Bochmann, Rachida Dssouli, Omar Rafiq

Comput. Networks ISDN Syst., 1997

1996

Validation of protocols with temporal constraints.

Leo Cacciari, Omar Rafiq

Comput. Commun., 1996

1995

A temporal reachability analysis.

Leo Cacciari, Omar Rafiq

Proceedings of the Protocol Specification, 1995

1993

Decidability issues in reduced reachability analysis.

Leo Cacciari, Omar Rafiq

Proceedings of the 1993 International Conference on Network Protocols, 1993

1992

On improving reduced reachability analysis.

Leo Cacciari, Omar Rafiq

Proceedings of the Formal Description Techniques, 1992

1986

Experimental testing of transport protocol.

Omar Rafiq, Chakib Chraibi, Richard Castanet

Comput. Commun. Rev., 1986

SDL as a Testing Language.

Chakib Chraibi, Omar Rafiq, Richard Castanet

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985

Towards an environment for testing OSI protocols.

Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu

Proceedings of the Protocol Specification, 1985

1984

Some operational tools in a OSI protocols study environment.

Jean-Pierre Ansart, Omar Rafiq, Richard Castanet, Pascal Guitton

Comput. Commun. Rev., 1984

An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.

Richard Castanet, Pascal Guitton, Omar Rafiq

Proceedings of the Protocol Specification, 1984

1983

Description, simulation and implementation of communication protocols using PDIL.

Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon

Proceedings of the symposium on Communications Architectures & Protocols, 1983

VADILOC - A Protocol Validator and Its Applications.

Omar Rafiq, Jean-Pierre Ansart

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

PDIL-Protocol Description and Implementation Language.

Jean-Pierre Ansart, Omar Rafiq, V. Chari

Proceedings of the Protocol Specification, 1982