Davor Obradovic, Ph.D.
Affiliations: | 2001 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Computer ScienceGoogle:
"Davor Obradovic"Parents
Sign in to add mentorCarl A. Gunter | grad student | 2001 | Penn | |
(Formal analysis of routing protocols.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Na C, Obradovic D, Scheiterer RL. (2009) A probabilistic approach to clock synchronization of cascaded network elements Icassp, Ieee International Conference On Acoustics, Speech and Signal Processing - Proceedings. 1793-1796 |
Na C, Obradovic D, Scheiterer RL, et al. (2008) Enhancement of the precision time protocol in automation networks with a line topology Ifac Proceedings Volumes (Ifac-Papersonline). 17 |
Lupas Scheiterer R, Obradovic D. (2005) Bayesian network modeling aspects resulting from applications in medical diagnostics and GSM troubleshooting Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3697: 747-752 |
Obradovic D, Scheiterer RL. (2005) Troubleshooting in GSM mobile telecommunication networks based on domain model and sensory information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3697: 729-734 |
Bhargavan K, Obradovic D, Gunter CA. (2002) Formal verification of standards for distance vector routing protocols Journal of the Acm. 49: 538-576 |
Bhargavan K, Gunter CA, Kim M, et al. (2002) Verisim: Formal analysis of network simulations Ieee Transactions On Software Engineering. 28: 129-145 |
Bhargavan K, Gunter CA, Obradovic D. (2000) Routing information protocol in hol/spin Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1869: 53-72 |