Davor Obradovic

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Davor Obradovic
Real-time Model and Convergence Time of BGP. INFOCOM (2002)
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter
Formal verification of standards for distance vector routing protocols. J. ACM 49 (4) (2002)
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) (2002)
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Verisim: Formal analysis of network simulations. ISSTA (2000)
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
Routing Information Protocol in HOL/SPIN. TPHOLs (2000)
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
Fault origin adjudication. FMSP (2000)
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)