Recent advancements, review analysis, and extensions of the AODV with the illustration of the applied concept
TK Saini, SC Sharma - Ad Hoc Networks, 2020 - Elsevier
Mobile ad hoc networks provide a promising opportunity for the applications requiring
instant networking in the resource constraint, multi-hop wireless environment. Routing …
instant networking in the resource constraint, multi-hop wireless environment. Routing …
Automated analysis of AODV using UPPAAL
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand
Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh …
Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh …
A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV
We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the
modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) …
modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) …
Neural networks for MANET AODV: an optimization approach
H Yang, Z Li, Z Liu - cluster computing, 2017 - Springer
To find a route with good stability and less cost is a hot issue because of MANET's mobility.
AODV is one of the most widely used routing protocols in MANET because of its wide …
AODV is one of the most widely used routing protocols in MANET because of its wide …
Applications of coloured Petri nets for functional validation of protocol designs
LM Kristensen, KIF Simonsen - Transactions on Petri Nets and Other …, 2013 - Springer
Communication protocols constitute central building blocks in most modern IT systems as
they define components, rules, and languages that make data communication possible. The …
they define components, rules, and languages that make data communication possible. The …
Formal analysis of proactive, distributed routing
As (network) software is such an omnipresent component of contemporary mission-critical
systems, formal analysis is required to provide the necessary certification or at least formal …
systems, formal analysis is required to provide the necessary certification or at least formal …
Towards a rigorous analysis of AODVv2 (DYMO)
S Edenhofer, P Höfner - 2012 20th IEEE International …, 2012 - ieeexplore.ieee.org
Dynamic MANET On-demand (AODVv2) routing, formerly known as DYMO, is a routing
protocol especially designed for wireless, multi hop networks. AODVv2 determines routes in …
protocol especially designed for wireless, multi hop networks. AODVv2 determines routes in …
Adaptive finance and control: Combining lean, agile, and beyond budgeting for financial and organizational flexibility
R Sirkiä, M Laanti - 2015 48th Hawaii International Conference …, 2015 - ieeexplore.ieee.org
Enterprises that approach uncertainty and risk in software development based on lean and
agile methods [1] often do experience financial planning of projects as a restriction …
agile methods [1] often do experience financial planning of projects as a restriction …
Model checking techniques for state space reduction in manet protocol verification
H Kojima, Y Nagashima… - 2016 IEEE International …, 2016 - ieeexplore.ieee.org
A Mobile Ad hoc Network (MANET) is a network that consists of mobile nodes and is
autonomously managed without infrastructure base stations such as access points. MANETs …
autonomously managed without infrastructure base stations such as access points. MANETs …
Formal Modeling on Improvements of Route Discovery Algorithm for AODV Using UPPAAL
Mobile ad-hoc network (MANET) is a technology that enables a set of wireless mobile
devices or routers to connect to each other, by establishing a temporary network, with no …
devices or routers to connect to each other, by establishing a temporary network, with no …