Search the dblp DataBase
Davor Obradovic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
Fault origin adjudication. [Citation Graph (0, 0)][DBLP]
FMSP, 2000, pp:61-71 [Conf] - Davor Obradovic
Real-time Model and Convergence Time of BGP. [Citation Graph (0, 0)][DBLP]
INFOCOM, 2002, pp:- [Conf] - Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Verisim: Formal analysis of network simulations. [Citation Graph (0, 0)][DBLP]
ISSTA, 2000, pp:2-13 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:49-66 [Conf] - Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
Routing Information Protocol in HOL/SPIN. [Citation Graph (0, 0)][DBLP]
TPHOLs, 2000, pp:53-72 [Conf] - Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter
Formal verification of standards for distance vector routing protocols. [Citation Graph (0, 0)][DBLP]
J. ACM, 2002, v:49, n:4, pp:538-576 [Journal] - Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Verisim: Formal Analysis of Network Simulations. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 2002, v:28, n:2, pp:129-145 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002