Formal Verification of Safety-Critical Hybrid Systems. - Carolos Livadas; Nancy A. Lynch (HSCC, 1998)

High-Level Modeling and Analysis of TCAS. - Carolos Livadas; John Lygeros; Nancy A. Lynch (RTSS, 1999)

High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS). - Carolos Livadas; John Lygeros; Nancy A. Lynch (Proc. IEEE, 2000)

A Formal Venture into Reliable Multicast Territory. - Carolos Livadas; Nancy A. Lynch (FORTE, 2002)

Formally modeling, analyzing, and designing network protocols: a case study on retransmission-based reliable multicast protocols. - Carolos Livadas (2003)

Caching-Enhanced Scalable Reliable Multicast. - Carolos Livadas; Idit Keidar (DSN, 2004)