| 2003 |
|---|
| 7 | EE | Omar Rafiq,
Leo Cacciari:
Coordination Algorithm for Distributed Testing.
The Journal of Supercomputing 24(2): 203-211 (2003) |
| 1999 |
|---|
| 6 | | Mohammed Benattou,
Leo Cacciari,
Régis Pasini,
Omar Rafiq:
Principles and Tools for Testing Open Distributed Systems.
IWTCS 1999: 77-92 |
| 5 | | Omar Rafiq,
Leo Cacciari,
Mohammed Benattou:
Coordination Issues in Distributed Testing.
PDPTA 1999: 793-799 |
| 4 | EE | Leo Cacciari,
Omar Rafiq:
Controllability and observability in distributed testing.
Information & Software Technology 41(11-12): 767-780 (1999) |
| 1996 |
|---|
| 3 | EE | Leo Cacciari,
Omar Rafiq:
Validation of protocols with temporal constraints.
Computer Communications 19(14): 1188-1199 (1996) |
| 1995 |
|---|
| 2 | | Leo Cacciari,
Omar Rafiq:
A temporal reachability analysis.
PSTV 1995: 35-49 |
| 1992 |
|---|
| 1 | | Leo Cacciari,
Omar Rafiq:
On improving reduced reachability analysis.
FORTE 1992: 137-152 |
