| |
| 2004 | ||
|---|---|---|
| 4 | EE | Carolos Livadas, Idit Keidar: Caching-Enhanced Scalable Reliable Multicast. DSN 2004: 253- |
| 2002 | ||
| 3 | EE | Carolos Livadas, Nancy A. Lynch: A Formal Venture into Reliable Multicast Territory. FORTE 2002: 146-161 |
| 1999 | ||
| 2 | EE | Carolos Livadas, John Lygeros, Nancy A. Lynch: High-Level Modeling and Analysis of TCAS. IEEE Real-Time Systems Symposium 1999: 115-125 |
| 1998 | ||
| 1 | Carolos Livadas, Nancy A. Lynch: Formal Verification of Safety-Critical Hybrid Systems. HSCC 1998: 253-272 | |
| 1 | Idit Keidar | [4] |
| 2 | John Lygeros | [2] |
| 3 | Nancy A. Lynch | [1] [2] [3] |