{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:14:45Z","timestamp":1772835285632,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,21]],"date-time":"2012-10-21T00:00:00Z","timestamp":1350777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,21]]},"DOI":"10.1145\/2387238.2387274","type":"proceedings-article","created":{"date-parts":[[2012,10,22]],"date-time":"2012-10-22T12:07:05Z","timestamp":1350907625000},"page":"203-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["A rigorous analysis of AODV and its variants"],"prefix":"10.1145","author":[{"given":"Peter","family":"H\u00f6fner","sequence":"first","affiliation":[{"name":"NICTA, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert J.","family":"van Glabbeek","sequence":"additional","affiliation":[{"name":"NICTA, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wee Lum","family":"Tan","sequence":"additional","affiliation":[{"name":"NICTA, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Portmann","sequence":"additional","affiliation":[{"name":"NICTA, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annabelle","family":"McIver","sequence":"additional","affiliation":[{"name":"Macquarie University, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ansgar","family":"Fehnker","sequence":"additional","affiliation":[{"name":"NICTA, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Kernel AODV (ver. 2.2.2) NIST. http:\/\/www.antd.nist.gov\/wctg\/aodv_kernel\/.  Kernel AODV (ver. 2.2.2) NIST. http:\/\/www.antd.nist.gov\/wctg\/aodv_kernel\/."},{"key":"e_1_3_2_1_2_1","unstructured":"AODV-UU: An implementation of the AODV routing protocol (IETF RFC 3561). http:\/\/sourceforge.net\/projects\/aodvuu\/.  AODV-UU: An implementation of the AODV routing protocol (IETF RFC 3561). http:\/\/sourceforge.net\/projects\/aodvuu\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988495"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"key":"e_1_3_2_1_5_1","volume-title":"Dynamic MANET on-demand (AODVv2) routing. Internet Draft (Standards Track), draft-ietf-manet-dymo-22","author":"Chakeres I.","year":"2012","unstructured":"I. Chakeres and C. Perkins . Dynamic MANET on-demand (AODVv2) routing. Internet Draft (Standards Track), draft-ietf-manet-dymo-22 , 2012 .tools.ietf.org\/html\/draft-ietf-manet-dymo-22. I. Chakeres and C. Perkins. Dynamic MANET on-demand (AODVv2) routing. Internet Draft (Standards Track), draft-ietf-manet-dymo-22, 2012.tools.ietf.org\/html\/draft-ietf-manet-dymo-22."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/977399.977938"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_15"},{"key":"e_1_3_2_1_9_1","volume-title":"Sequence numbers do not guarantee loop freedom--AODV can yield routing loops","author":"van Glabbeek R. J.","year":"2012","unstructured":"R. J. van Glabbeek , P. H\u00f6fner , W. L. Tan , and M. Portmann . Sequence numbers do not guarantee loop freedom--AODV can yield routing loops , 2012 . http:\/\/rvg.web.cse.unsw.edu.au\/pub\/AODVloop.pdf. R. J. van Glabbeek, P. H\u00f6fner, W. L. Tan, and M. Portmann. Sequence numbers do not guarantee loop freedom--AODV can yield routing loops, 2012. http:\/\/rvg.web.cse.unsw.edu.au\/pub\/AODVloop.pdf."},{"key":"e_1_3_2_1_10_1","volume-title":"July","author":"IEEE","year":"2010","unstructured":"IEEE P802.11s. IEEE draft standard for information technology-telecommunications and information exchange between systems-local and metropolitan area networks-specific requirements-part 11: Wireless LAN Medium Access Control (MAC) and physical layer (PHY) specifications-amendment 10: Mesh networking , July 2010 . IEEE P802.11s. IEEE draft standard for information technology-telecommunications and information exchange between systems-local and metropolitan area networks-specific requirements-part 11: Wireless LAN Medium Access Control (MAC) and physical layer (PHY) specifications-amendment 10: Mesh networking, July 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066116.1189040"},{"key":"e_1_3_2_1_12_1","first-page":"2793","volume-title":"Information Communications (INFOCOM'10)","author":"Miskovic S.","year":"2010","unstructured":"S. Miskovic and E. W. Knightly . Routing primitives for wireless mesh networks: Design, analysis and experiments . In Information Communications (INFOCOM'10) , pages 2793 -- 2801 . IEEE , 2010 . S. Miskovic and E. W. Knightly. Routing primitives for wireless mesh networks: Design, analysis and experiments. In Information Communications (INFOCOM'10), pages 2793--2801. IEEE, 2010."},{"key":"e_1_3_2_1_13_1","volume-title":"RFC 3561 (experimental)","author":"Perkins C.","year":"2003","unstructured":"C. Perkins , E. Belding-Royer , and S. Das . Ad hoc on-demand distance vector (AODV) routing , RFC 3561 (experimental) , 2003 . http:\/\/www.ietf.org\/rfc\/rfc3561.txt. C. Perkins, E. Belding-Royer, and S. Das. Ad hoc on-demand distance vector (AODV) routing, RFC 3561 (experimental), 2003. http:\/\/www.ietf.org\/rfc\/rfc3561.txt."},{"key":"e_1_3_2_1_14_1","first-page":"90","volume-title":"Mobile Computing Systems and Applications (WMCSA'99)","author":"Perkins C.","year":"1999","unstructured":"C. Perkins and E. Royer . Ad-hoc On-Demand Distance Vector Routing . In Mobile Computing Systems and Applications (WMCSA'99) , pages 90 -- 100 , 1999 . C. Perkins and E. Royer. Ad-hoc On-Demand Distance Vector Routing. In Mobile Computing Systems and Applications (WMCSA'99), pages 90--100, 1999."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2007.12.012"},{"key":"e_1_3_2_1_16_1","volume-title":"Workshop on Wireless Mesh Networks (WiMesh'05)","author":"Ramachandran K.","year":"2005","unstructured":"K. Ramachandran , M. M. Buddhikot , G. Chandranmenon , S. Miller , E. Belding-Royer , and K. Almeroth . On the design and implementation of infrastructure mesh networks . In Workshop on Wireless Mesh Networks (WiMesh'05) . IEEE, 2005 . K. Ramachandran, M. M. Buddhikot, G. Chandranmenon, S. Miller, E. Belding-Royer, and K. Almeroth. On the design and implementation of infrastructure mesh networks. In Workshop on Wireless Mesh Networks (WiMesh'05). IEEE, 2005."},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08)","author":"Saksena M.","year":"2008","unstructured":"M. Saksena , O. Wibling , and B. Jonsson . Graph grammar modeling and verification of ad hoc routing protocols . In C. R. Ramakrishnan and J. Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08) , volume 4963 of LNCS , pages 18 -- 32 . Springer , 2008 . M. Saksena, O. Wibling, and B. Jonsson. Graph grammar modeling and verification of ad hoc routing protocols. In C. R. Ramakrishnan and J. Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), volume 4963 of LNCS, pages 18--32. Springer, 2008."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/WIMESH.2006.288620"},{"key":"e_1_3_2_1_19_1","series-title":"LNCS","first-page":"343","volume-title":"Formal Techniques for Networked and Distributed Systems (FORTE '04)","author":"Wibling O.","year":"2004","unstructured":"O. Wibling , J. Parrow , and A. N. Pears . Automatized verification of ad hoc routing protocols . In D. de Frutos-Escrig and M. N\u00fc\u00dcnez, editors, Formal Techniques for Networked and Distributed Systems (FORTE '04) , volume 3235 of LNCS , pages 343 -- 358 . Springer , 2004 . O. Wibling, J. Parrow, and A. N. Pears. Automatized verification of ad hoc routing protocols. In D. de Frutos-Escrig and M. N\u00fc\u00dcnez, editors, Formal Techniques for Networked and Distributed Systems (FORTE '04), volume 3235 of LNCS, pages 343--358. Springer, 2004."},{"key":"e_1_3_2_1_20_1","volume-title":"Wireless Communications & Signal Processing (WCSP'09)","author":"Zhou M.","year":"2009","unstructured":"M. Zhou , H. Yang , X. Zhang , and J. Wang . The proof of AODV loop freedom . In Wireless Communications & Signal Processing (WCSP'09) . IEEE , 2009 . M. Zhou, H. Yang, X. Zhang, and J. Wang. The proof of AODV loop freedom. In Wireless Communications & Signal Processing (WCSP'09). IEEE, 2009."}],"event":{"name":"MSWiM '12: The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems","location":"Paphos Cyprus","acronym":"MSWiM '12","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"]},"container-title":["Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2387238.2387274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2387238.2387274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:00:54Z","timestamp":1750276854000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2387238.2387274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,21]]},"references-count":19,"alternative-id":["10.1145\/2387238.2387274","10.1145\/2387238"],"URL":"https:\/\/doi.org\/10.1145\/2387238.2387274","relation":{},"subject":[],"published":{"date-parts":[[2012,10,21]]},"assertion":[{"value":"2012-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}