[HTML][HTML] Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Modeling and analyzing mobile ad hoc networks (MANETs) pose non-trivial challenges to
formal methods. Time, geometry, communication delays and failures, mobility, and uni-and …
formal methods. Time, geometry, communication delays and failures, mobility, and uni-and …
Modeling and efficient verification of wireless ad hoc networks
B Yousefi, F Ghassemi, R Khosravi - Formal Aspects of Computing, 2017 - Springer
Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very
fast as they make communication easier and more available. However, their protocols tend …
fast as they make communication easier and more available. However, their protocols tend …
Topology-based mobility models for wireless networks
The performance and reliability of wireless network protocols heavily depend on the network
and its environment. In wireless networks node mobility can affect the overall performance …
and its environment. In wireless networks node mobility can affect the overall performance …
Formal analysis of leader election in MANETs using Real-Time Maude
The modeling and analysis of mobile ad hoc networks (MANETs) pose non-trivial
challenges to formal methods. Time, geometry, communication delays and failures, mobility …
challenges to formal methods. Time, geometry, communication delays and failures, mobility …
Model checking mobile ad hoc networks
F Ghassemi, W Fokkink - Formal Methods in System Design, 2016 - Springer
Modeling arbitrary connectivity changes within mobile ad hoc networks (MANETs) makes
application of automated formal verification challenging. We use constrained labeled …
application of automated formal verification challenging. We use constrained labeled …
Reasoning about group-based mobility in MANETs
As one of the most interesting features of mobile ad hoc networks (MANETs), mobility may
significantly affect the performance of network protocols. Realistic mobility models are not …
significantly affect the performance of network protocols. Realistic mobility models are not …
Integrating a calculus with mobility and quality for wireless sensor networks
X Wu, Y Zhao, H Zhu - 2016 IEEE 17th International …, 2016 - ieeexplore.ieee.org
Unreliability of communication links is a very common problem in wireless sensor networks
(WSNs), and it may result in abnormalities and decrease the quality of service provided by a …
(WSNs), and it may result in abnormalities and decrease the quality of service provided by a …
Verification of mobile ad hoc network processes with data
F Ghassemi - 2018 - sid.ir
Topology-dependent behavior of wireless communication makes the modeling and
verification of Mobile Ad hoc networks (MANETs) more complicated. Reliable Restricted …
verification of Mobile Ad hoc networks (MANETs) more complicated. Reliable Restricted …
Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude
S Liu, PC Olveczky, J Meseguer - 2016 - ideals.illinois.edu
Abstract Modeling and analyzing Mobile Ad-hoc Networks (MANETs) pose non-trivial
challenges to formal methods. Time, geometry, communication delays and failures, mobility …
challenges to formal methods. Time, geometry, communication delays and failures, mobility …
Formal Modeling and Analysis of Leader Election in MANETs
S Liu, PC Olveczky, J Meseguer - 2015 - ideals.illinois.edu
The modeling and analysis of mobile ad hoc networks MANETs pose non-trivial challenges
to formal methods. Time, geometry, communication delays and failures, mobility, and uni …
to formal methods. Time, geometry, communication delays and failures, mobility, and uni …