Davor Obradovic

According to our database, Davor Obradovic authored at least 6 papers between 1998 and 2002.

Collaborative distances:

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

2002

Verisim: Formal Analysis of Network Simulations.

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan

IEEE Trans. Software Eng., 2002

Formal verification of standards for distance vector routing protocols.

Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter

J. ACM, 2002

Real-time Model and Convergence Time of BGP.

Davor Obradovic

Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

2000

Routing Information Protocol in HOL/SPIN.

Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Fault origin adjudication.

Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1998

The Village Telephone System: A Case Study in Formal Software Engineering.

Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998