Leo Cacciari

According to our database, Leo Cacciari authored at least 10 papers between 1989 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Coordination Algorithm for Distributed Testing.

Omar Rafiq, Leo Cacciari

J. Supercomput., 2003

2000

Temporal validation of multimedia protocols.

Leo Cacciari, Omar Rafiq

Ann. des Télécommunications, 2000

1999

Controllability and observability in distributed testing.

Leo Cacciari, Omar Rafiq

Inf. Softw. Technol., 1999

Principles and Tools for Testing Open Distributed Systems.

Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Coordination Issues in Distributed Testing.

Omar Rafiq, Leo Cacciari, Mohammed Benattou

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1996

Validation of protocols with temporal constraints.

Leo Cacciari, Omar Rafiq

Comput. Commun., 1996

1995

A temporal reachability analysis.

Leo Cacciari, Omar Rafiq

Proceedings of the Protocol Specification, 1995

1993

Decidability issues in reduced reachability analysis.

Leo Cacciari, Omar Rafiq

Proceedings of the 1993 International Conference on Network Protocols, 1993

1992

On improving reduced reachability analysis.

Leo Cacciari, Omar Rafiq

Proceedings of the Formal Description Techniques, 1992

1989

A Riemann-Hurwitz Formula for Hypermaps Congruences.

Leo Cacciari

Eur. J. Comb., 1989