| 2002 |
|---|
| 7 | EE | Davor Obradovic:
Real-time Model and Convergence Time of BGP.
INFOCOM 2002 |
| 6 | EE | Karthikeyan Bhargavan,
Carl A. Gunter,
Moonjoo Kim,
Insup Lee,
Davor Obradovic,
Oleg Sokolsky,
Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations.
IEEE Trans. Software Eng. 28(2): 129-145 (2002) |
| 5 | EE | Karthikeyan Bhargavan,
Davor Obradovic,
Carl A. Gunter:
Formal verification of standards for distance vector routing protocols.
J. ACM 49(4): 538-576 (2002) |
| 2000 |
|---|
| 4 | EE | Karthikeyan Bhargavan,
Carl A. Gunter,
Davor Obradovic:
Fault origin adjudication.
FMSP 2000: 61-71 |
| 3 | EE | Karthikeyan Bhargavan,
Carl A. Gunter,
Moonjoo Kim,
Insup Lee,
Davor Obradovic,
Oleg Sokolsky,
Mahesh Viswanathan:
Verisim: Formal analysis of network simulations.
ISSTA 2000: 2-13 |
| 2 | | Karthikeyan Bhargavan,
Carl A. Gunter,
Davor Obradovic:
Routing Information Protocol in HOL/SPIN.
TPHOLs 2000: 53-72 |
| 1998 |
|---|
| 1 | | Karthikeyan Bhargavan,
Carl A. Gunter,
Elsa L. Gunter,
Michael Jackson,
Davor Obradovic,
Pamela Zave:
The Village Telephone System: A Case Study in Formal Software Engineering.
TPHOLs 1998: 49-66 |
