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.
Renato Cigno & Daniele Furlan:
Improving BATMAN Routing Stability and Performance.
PhD thesis, University of Trento, 2011..
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.
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.
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.
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.
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.
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.
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.
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.
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.