References

1. Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay & Zheng Wang (2012): UPPAAL-SMC: Statistical model checking for priced timed automata. arXiv preprint arXiv:1207.1272, doi:10.4204/EPTCS.85.1.
2. Renato Cigno & Daniele Furlan: Improving BATMAN Routing Stability and Performance. PhD thesis, University of Trento, 2011..
3. T. Clausen & Jacquet P.: Optimized Link State Routing Protocol (OLSR), Network Working Group. Available at http://www.tools.ietf.org/html/rfc3626. Accessed:2015-06-08.
4. Ansgar Fehnker, Peter Höfner, Maryam Kamali & Vinay Mehta (2013): Topology-based mobility models for wireless networks. In: International Conference on Quantitative Evaluation of Systems. Springer, pp. 389–404, doi:10.1007/978-3-642-40196-1_32.
5. Ansgar Fehnker, Rob Van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann & Wee Lum Tan (2012): Automated analysis of AODV using UPPAAL. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 173–187, doi:10.1007/978-3-642-28756-5_13.
6. Daniele Furlan (2011): Analysis of the overhead of BATMAN routing protocol in regular torus topologies. University of Trento, Italy, Tech. Rep. Available at https://downloads.open-mesh.org/batman/papers/OGMoverhead.pdf.
7. Tobias Hardes (2015): Performance Analysis and Simulation of a Freifunk Mesh Network in Paderborn using B.A.T.M.A.N Advanced. Master's thesis. University of Paderborn. Available at http://thardes.de/wp-content/uploads/2016/03/thesis.pdf.
8. Aleksandr Huhtonen (2004): Comparing AODV and OLSR Routing Protocols. Available at http://www.tml.tkk.fi/Studies/T-110.551/2004/papers/Huhtonen.pdf.
9. Mojgan Kamali, Peter Höfner, Maryam Kamali & Luigia Petre (2015): Formal Analysis of Proactive, Distributed Routing. In: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Springer, pp. 175–189, doi:10.1007/978-3-319-22969-0_13.
10. Elis Kulla, Masahiro Hiyama, Makoto Ikeda & Leonard Barolli (2012): Performance Comparison of OLSR and BATMAN Routing Protocols by a MANET Testbed in Stairs Environment. Comput. Math. Appl. 63(2), pp. 339–349, doi:10.1016/j.camwa.2011.07.035.
11. Spyridon Marinis Artelaris (2016): Performance evaluation of routing protocols for Wireless Mesh Networks. Available at http://lnu.diva-portal.org/smash/get/diva2:903013/FULLTEXT01.pdf.
12. Axel Neumann, Corinna Aichele, Marek Lindner & Simon Wunderlich (2008): Better approach to mobile ad-hoc networking (BATMAN). IETF draft, pp. 1–24. Available at https://tools.ietf.org/html/draft-wunderlich-openmesh-manet-routing-00.
13. Rob Van Glabbeek, Peter Höfner, Wee Lum Tan & Marius Portmann (2013): Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. In: Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems. ACM, pp. 91–100, doi:10.1145/2507924.2507943.
14. J. C. P. Wang, B. Hagelstein & M. Abolhasan (2010): Experimental evaluation of IEEE 802.11s path selection protocols in a mesh testbed. In: 2010 4th International Conference on Signal Processing and Communication Systems, pp. 1–3, doi:10.1109/ICSPCS.2010.5709664.
15. Oskar Wibling, Joachim Parrow & Arnold Pears (2004): Automatized verification of ad hoc routing protocols. In: International Conference on Formal Techniques for Networked and Distributed Systems. Springer, pp. 343–358, doi:10.1007/978-3-540-30232-2_22.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org