Carolos Livadas

According to our database, Carolos Livadas authored at least 6 papers between 1998 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Caching-Enhanced Scalable Reliable Multicast.

Carolos Livadas, Idit Keidar

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Formally modeling, analyzing, and designing network protocols: a case study on retransmission-based reliable multicast protocols.

Carolos Livadas

PhD thesis, 2003

2002

A Formal Venture into Reliable Multicast Territory.

Carolos Livadas, Nancy A. Lynch

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2000

High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS).

Carolos Livadas, John Lygeros, Nancy A. Lynch

Proc. IEEE, 2000

1999

High-Level Modeling and Analysis of TCAS.

Carolos Livadas, John Lygeros, Nancy A. Lynch

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

1998

Formal Verification of Safety-Critical Hybrid Systems.

Carolos Livadas, Nancy A. Lynch

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998