Formal Verification of Standards for Distance Vector Routing Protocols (2000)

by Karthikeyan Bhargavan , Davor Obradovic , Carl A. Gunter
Citations:67 - 3 self

Active Bibliography

3 Formal Analysis of Convergence of Routing Protocols – Davor Obradovic - 2000
Formal Analysis of Routing protocols – Val Tannen, G. Grin, F. Bruce Shepherd, Gordon Wilfong, Lixin Gao, Dimosthenis Anthomelidis, Alwyn Goodloe, Roch Guerin, Sampath Kannan, Pankaj Kakkar, Sanjeev Khanna, Moonjoo Kim, Insup Lee, Michael Mcdougall, Oleg Sokolsky, Carolyn Talcott, Davor Obradovic, Davor Obradovic - 2002
975 A Review of Current Routing Protocols for Ad-Hoc Mobile Wireless Networks – Elizabeth M. Royer, Chai-Keong Toh
575 End-to-End Routing Behavior in the Internet – Vern Paxson - 1996
504 Adaptive Protocols for Information Dissemination in Wireless Sensor Networks – Wendi Rabiner Heinzelman, Joanna Kulik, Hari Balakrishnan - 1999
697 An application-specific protocol architecture for wireless networks – Wendi Beth Heinzelman - 2000
708 A High-Throughput Path Metric for Multi-Hop Wireless Routing – Douglas S. J. De Couto, Daniel Aguayo, John Bicket, Robert Morris - 2003
511 Energy-Efficient Computing for Wildlife Tracking: Design Tradeoffs and Early Experiences with ZebraNet – Philo Juang, Hidekazu Oki, Yong Wang, Margaret Martonosi, Li-shiuan Peh, Daniel Rubenstein - 2002
2368 Dynamic source routing in ad hoc wireless networks – David B. Johnson, David A. Maltz - 1996