{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T19:22:52Z","timestamp":1775071372000,"version":"3.50.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319779348","type":"print"},{"value":"9783319779355","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-77935-5_12","type":"book-chapter","created":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T10:02:34Z","timestamp":1520676154000},"page":"164-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An Even Better Approach \u2013 Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5326-3432","authenticated-orcid":false,"given":"Ansgar","family":"Fehnker","sequence":"first","affiliation":[]},{"given":"Kaylash","family":"Chaudhary","sequence":"additional","affiliation":[]},{"given":"Vinay","family":"Mehta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,11]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Bulychev, P., David, A., Larsen, K.G., Miku\u010dionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, EPTCS (2012). \nhttps:\/\/doi.org\/10.4204\/EPTCS.85.1","DOI":"10.4204\/EPTCS.85.1"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Chaudhary, K., Fehnker, A., Mehta, V.: Modelling, verification, and comparative performance analysis of the B.A.T.M.A.N. protocol. In: Models for Formal Analysis of Real Systems (MARS 2017). EPTCS (2017). \nhttps:\/\/doi.org\/10.4204\/EPTCS.244.3","DOI":"10.4204\/EPTCS.244.3"},{"key":"12_CR3","unstructured":"Clausen, T., Jacquet, P.: Optimized Link State Routing Protocol (OLSR). Network Working Group. \nhttp:\/\/www.tools.ietf.org\/html\/rfc3626"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-28756-5_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Fehnker","year":"2012","unstructured":"Fehnker, A., van Glabbeek, R., H\u00f6fner, P., McIver, A., Portmann, M., Tan, W.L.: Automated analysis of AODV using UPPAAL. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 173\u2013187. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-28756-5_13"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-40196-1_32","volume-title":"Quantitative Evaluation of Systems","author":"A Fehnker","year":"2013","unstructured":"Fehnker, A., H\u00f6fner, P., Kamali, M., Mehta, V.: Topology-based mobility models for wireless networks. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 389\u2013404. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40196-1_32"},{"key":"12_CR6","unstructured":"Furlan, D.: Analysis of the overhead of B.A.T.M.A.N. routing protocol in regular torus topologies. Technical report, University of Trento, Italy (2011). \nhttps:\/\/downloads.open-mesh.org\/batman\/papers\/OGMoverhead.pdf"},{"key":"12_CR7","unstructured":"Furlan, D.: Improving BATMAN routing stability and performance. Master\u2019s thesis, University of Trento (2011). \nhttps:\/\/downloads.open-mesh.org\/batman\/papers\/Improving BATMAN Routing Stability and Performance.pdf"},{"key":"12_CR8","unstructured":"Hardes, T.: Performance analysis and simulation of a Freifunk Mesh network in Paderborn using B.A.T.M.A.N. advanced. Master\u2019s thesis, University of Paderborn (2015). \nhttp:\/\/thardes.de\/wp-content\/uploads\/2016\/03\/thesis.pdf"},{"key":"12_CR9","unstructured":"Huhtonen, A.: Comparing AODV and OLSR routing protocols (2004). \nhttp:\/\/www.tml.tkk.fi\/Studies\/T-110.551\/2004\/papers\/Huhtonen.pdf"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-319-22969-0_13","volume-title":"Software Engineering and Formal Methods","author":"M Kamali","year":"2015","unstructured":"Kamali, M., H\u00f6fner, P., Kamali, M., Petre, L.: Formal analysis of proactive, distributed routing. In: Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9276, pp. 175\u2013189. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-22969-0_13"},{"issue":"2","key":"12_CR11","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.camwa.2011.07.035","volume":"63","author":"E Kulla","year":"2012","unstructured":"Kulla, E., Hiyama, M., Ikeda, M., Barolli, L.: Performance comparison of OLSR and BATMAN routing protocols by a MANET testbed in stairs environment. Comput. Math. Appl. 63(2), 339\u2013349 (2012)","journal-title":"Comput. Math. Appl."},{"key":"12_CR12","unstructured":"Marinis Artelaris, S.: Performance evaluation of routing protocols for wireless mesh networks (2016). \nhttp:\/\/lnu.diva-portal.org\/smash\/get\/diva2:903013\/FULLTEXT01.pdf"},{"key":"12_CR13","unstructured":"Neumann, A., Aichele, C., Lindner, M., Wunderlich, S.: Better approach to mobile ad-hoc networking (B.A.T.M.A.N.). IETF Draft (2008). \nhttps:\/\/tools.ietf.org\/html\/draft-wunderlich-openmesh-manet-routing-00"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Wang, J.C.P., Hagelstein, B., Abolhasan, M.: Experimental evaluation of IEEE 802.11s path selection protocols in a mesh testbed. In: 2010 4th International Conference on Signal Processing and Communication Systems (2010). \nhttps:\/\/doi.org\/10.1109\/ICSPCS.2010.5709664","DOI":"10.1109\/ICSPCS.2010.5709664"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-30232-2_22","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"O Wibling","year":"2004","unstructured":"Wibling, O., Parrow, J., Pears, A.: Automatized verification of ad hoc routing protocols. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 343\u2013358. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30232-2_22"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77935-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T10:06:42Z","timestamp":1520676402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77935-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319779348","9783319779355"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77935-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}