Searching for authors named "Davor Obradovic" – sorted by Relevance.
-
Structuring Functional Programs By Using Monads
- Structuring functional programs by using monads Davor Obradovic, University of Pennsylvania May
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Analysis of Convergence of Routing Protocols
- Ph.D. Thesis Proposal: Formal Analysis of Convergence of Routing Protocols Davor Obradovic
- Cited by 2 (0 self) – Add To MetaCart
-
Real-time Model and Convergence Time of BGP
- are trying to establish paths. A path in G is a sequence of nodes University of Pennsylvania, davor
- Cited by 23 (1 self) – Add To MetaCart
-
Routing Information Protocol in HOL/SPIN
- Routing Information Protocol in HOL/SPIN Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic
- Cited by 2 (0 self) – Add To MetaCart
-
Fault Origin Adjudication
- Fault Origin Adjudication Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic Department
- Cited by 6 (1 self) – Add To MetaCart
-
Formal Verification of Standards for Distance Vector Routing Protocols
- Formal Verication of Standards for Distance Vector Routing Protocols Karthikeyan Bhargavan, Davor
- Cited by 37 (3 self) – Add To MetaCart
-
Routing Information Protocol in HOL/SPIN
- Routing Information Protocol in HOL/SPIN Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic
- Add To MetaCart
-
Fault Origin Adjudication
- Fault Origin Adjudication Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic Department
- Add To MetaCart
-
THE VILLAGE TELEPHONE SYSTEM: A Case Study in Formal Software Engineering
- , Carl A. Gunter 1 , Elsa L. Gunter 2 , Michael Jackson 3 , Davor Obradovic 1 , and Pamela Zave
- Cited by 3 (0 self) – Add To MetaCart
-
Verisim: Formal analysis of network simulations
- , Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan Department of Computer and Information
- Cited by 21 (7 self) – Add To MetaCart

