Leo Cacciari

Publication Activity (10 Years)

Years Active: 1989-2003
Publications (10 Years): 0

Publications

Omar Rafiq, Leo Cacciari
Coordination Algorithm for Distributed Testing. J. Supercomput. 24 (2) (2003)
Leo Cacciari, Omar Rafiq
Temporal validation of multimedia protocols. Ann. des Télécommunications 55 (1-2) (2000)
Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq
Principles and Tools for Testing Open Distributed Systems. IWTCS (1999)
Omar Rafiq, Leo Cacciari, Mohammed Benattou
Coordination Issues in Distributed Testing. PDPTA (1999)
Leo Cacciari, Omar Rafiq
Controllability and observability in distributed testing. Inf. Softw. Technol. 41 (11-12) (1999)
Leo Cacciari, Omar Rafiq
Validation of protocols with temporal constraints. Comput. Commun. 19 (14) (1996)
Leo Cacciari, Omar Rafiq
A temporal reachability analysis. PSTV (1995)
Leo Cacciari, Omar Rafiq
Decidability issues in reduced reachability analysis. ICNP (1993)
Leo Cacciari, Omar Rafiq
On improving reduced reachability analysis. FORTE (1992)
Leo Cacciari
A Riemann-Hurwitz Formula for Hypermaps Congruences. Eur. J. Comb. 10 (5) (1989)