 | 2003 |
|---|
| 16 |       | Omar Rafiq,
Leo Cacciari:
Coordination Algorithm for Distributed Testing.
The Journal of Supercomputing 24(2): 203-211 (2003) |
| 1999 |
|---|
| 15 |  | Mohammed Benattou,
Leo Cacciari,
Régis Pasini,
Omar Rafiq:
Principles and Tools for Testing Open Distributed Systems.
IWTCS 1999: 77-92 |
| 14 | | Omar Rafiq,
Leo Cacciari,
Mohammed Benattou:
Coordination Issues in Distributed Testing.
PDPTA 1999: 793-799 |
| 13 | | Leo Cacciari,
Omar Rafiq:
Controllability and observability in distributed testing.
Information & Software Technology 41(11-12): 767-780 (1999) |
| 1996 |
|---|
| 12 | | Gregor von Bochmann,
Rachida Dssouli,
Omar Rafiq:
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Chapman & Hall 1996 |
| 11 | | Leo Cacciari,
Omar Rafiq:
Validation of protocols with temporal constraints.
Computer Communications 19(14): 1188-1199 (1996) |
| 1995 |
|---|
| 10 | | Leo Cacciari,
Omar Rafiq:
A temporal reachability analysis.
PSTV 1995: 35-49 |
| 1994 |
|---|
| 9 | | Omar Rafiq:
Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993
North-Holland 1994 |
| 1992 |
|---|
| 8 | | Leo Cacciari,
Omar Rafiq:
On improving reduced reachability analysis.
FORTE 1992: 137-152 |
| 1986 |
|---|
| 7 | | Chakib Chraibi,
Omar Rafiq,
Richard Castanet:
SDL as a Testing Language.
ICCC 1986: 502-507 |
| 6 | | Omar Rafiq,
Chakib Chraibi,
Richard Castanet:
Experimental testing of transport protocol.
Computer Communication Review 16(4): 23-34 (1986) |
| 1985 |
|---|
| 5 | | Omar Rafiq,
Richard Castanet,
Chakib Chraibi,
J. P. Goursaud,
J. Haddad,
X. Perdu:
Towards an environment for testing OSI protocols.
PSTV 1985: 533-544 |
| 1984 |
|---|
| 4 | | 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 |
| 3 | | 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) |
| 1983 |
|---|
| 2 | | Omar Rafiq,
Jean-Pierre Ansart:
VADILOC - A Protocol Validator and Its Applications.
Protocol Specification, Testing, and Verification 1983: 189-197 |
| 1982 |
|---|
| 1 | | Jean-Pierre Ansart,
Omar Rafiq,
V. Chari:
PDIL-Protocol Description and Implementation Language.
PSTV 1982: 101-112 |
