2003 |
16 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |