Concepedia

Davor Obradovic

DO

Statistics

Publications

5

Citations

350

H-Index

5

Active since

2000

Affiliations

California University of Pennsylvania(Current)

University of Pennsylvania

Davor Obradovic is an author at California University of Pennsylvania specializing in computing, network protocols, and formal methods.

Publications per year

2000–2003

5

Publications

5

Formal verification of standards for distance vector routing protocols

Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter · Journal of the ACM · 2002 · 184 citations

Computing, Computer Engineering, Computer Science +17

Verisim: formal analysis of network simulations

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim et al. · IEEE Transactions on Software Engineering · 2002 · 91 citations

Computing, Computer Engineering, Computer Science +16

Real-time model and convergence time of BGP

Davor Obradovic · 2003 · 43 citations

Computing, Decision Sciences, Game Theory +12

Formal analysis of routing protocols

Davor Obradovic, Carl A. Gunter · Scholarly Commons (University of Pennsylvania) · 2001 · 22 citations

Computing, Computer Science, Computer Systems +14

Fault origin adjudication

Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic · 2000 · 10 citations · Full text

Computing, Computer Science, Computer Systems +17

1–5 of 5