Crf: Coexistent routing and flooding using wifi packets in heterogeneous iot networks
Routing and flooding are important functions in wireless networks. However, until now
routing and flooding protocols are investigated separately within the same network (ie, a …
routing and flooding protocols are investigated separately within the same network (ie, a …
Experimenting with commodity 802.11 hardware: Overview and future directions
The huge adoption of 802.11 technologies has triggered a vast amount of experimentally-
driven research works. These works range from performance analysis to protocol …
driven research works. These works range from performance analysis to protocol …
Wireless mesh network in smart grid: Modeling and analysis for time critical communications
Communication networks are an indispensable component in the smart grid power systems
by providing the essential information exchange functions among the electrical devices that …
by providing the essential information exchange functions among the electrical devices that …
A process algebra for wireless mesh networks
We propose a process algebra for wireless mesh networks that combines novel treatments
of local broadcast, conditional unicast and data structures. In this framework, we model the …
of local broadcast, conditional unicast and data structures. In this framework, we model the …
Modelling and verifying the AODV routing protocol
This paper presents a formal specification of the Ad hoc On-demand Distance Vector
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …
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) …
Comparative analysis of link quality metrics and routing protocols for optimal route construction in wireless mesh networks
We provide a comparative analysis of various routing strategies that affect the end-to-end
performance in wireless mesh networks. We first improve well-known link quality metrics and …
performance in wireless mesh networks. We first improve well-known link quality metrics and …
Statistical model checking of wireless mesh routing protocols
Several case studies indicate that model checking is limited in the analysis of mesh
networks: state space explosion restricts applicability to at most 10 node networks, and …
networks: state space explosion restricts applicability to at most 10 node networks, and …
Joint traffic splitting, rate control, routing, and scheduling algorithm for maximizing network utility in wireless mesh networks
The existence of multiple gateways, as is a common case in wireless mesh networks
(WMNs), brings the possibility to improve network performance. However, previous studies …
(WMNs), brings the possibility to improve network performance. However, previous studies …