Follow
Omar Rafiq
Omar Rafiq
Professeur, Université de Pau, France
Verified email at univ-pau.fr
Title
Cited by
Cited by
Year
Controllability and observability in distributed testing
L Cacciari, O Rafiq
Information and Software technology 41 (11-12), 767-780, 1999
1121999
Coordination algorithm for distributed testing
O Rafiq, L Cacciari
The Journal of Supercomputing 24 (2), 203-211, 2003
732003
From conformance testing to interoperability testing
O Rafiq
Proc. of the 3rd International Workshop on Protocol Test Systems, 1990, 1990
591990
Principles and tools for testing open distributed systems
M Benattou, L Cacciari, R Pasini, O Rafiq
Testing of Communicating Systems, 77-92, 1999
251999
On improving reduced reachability analysis
L Cacciari, O Rafiq
Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992
191992
Towards testable communication software
R Dssouli, K Karoui, A Petrenko, O Rafiq
Protocol Test Systems VIII, 237-251, 1996
171996
Coordination Issues in Distributed Testing.
O Rafiq, L Cacciari, M Benattou
PDPTA, 793-799, 1999
131999
A temporal reachability analysis
L Cacciari, O Rafiq
International Conference on Protocol Specification, Testing and Verification …, 1995
131995
The astride testing approach: principles, tools and carrying out
O Rafiq
Computer standards & interfaces 11 (2), 85-94, 1990
121990
Towards an environment for testing OSI protocols
O Rafiq, R Castanet, C Chraibi, JP Goursaud, J Haddad, X Perdu
Proceedings of the IFIP WG6. 1 Fifth International Conference on Protocol …, 1985
121985
Decidability issues in reduced reachability analysis
L Cacciari, O Rafiq
1993 International Conference on Network Protocols, 158-165, 1993
101993
PDIL-Protocol Description and Implementation Language
JP Ansart, O Rafiq, V Chari
Proceedings of the IFIP WG6. 1 Second International Workshop on Protocol …, 1982
81982
Validation of protocols with temporal constraints
L Cacciari, O Rafiq
Computer communications 19 (14), 1188-1199, 1996
71996
A methodology for the synthesis of communication gateways for network interoperability
K Saleh, M Jaragh, O Rafiq
Computer standards & interfaces 17 (2), 193-207, 1995
61995
Description, simulation and implementation of communication protocols using PDIL
JP Ansart, V Chari, M Neyer, O Rafiq, D Simon
ACM SIGCOMM Computer Communication Review 13 (2), 112-120, 1983
61983
Filetest d’interopérabilité des protocoles
O Rafiq
Ingénierie des protocoles, 543-558, 1991
51991
VADILOC-A Protocol Validator and Its Applications.
O Rafiq, JP Ansart
Protocol Specification, Testing, and Verification, 189-197, 1983
51983
Protocol Description and Implementation Language (PDIL)
JP Ansart, O Rafiq, V Chari
Protocol Specification, Verification and Testing II, 17-20, 1982
51982
SDL as a Testing Language
C Chraibi, O Rafiq, R Castanet
Université de Bordeaux 1/CNRS. Analyse Appliqueé et Informatique, 1986
41986
Tools and methodology for testing OSI protocol entities
O Rafiq
Proc. Fifteenth Internat. Symp. on Fault Tolerant Computing (FTCS15), 184-189, 1985
41985
The system can't perform the operation now. Try again later.
Articles 1–20