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) …
[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 …
Modelling probabilistic wireless networks
A Cerone, M Hennessy - Logical Methods in Computer …, 2013 - lmcs.episciences.org
We propose a process calculus to model high level wireless systems, where the topology of
a network is described by a digraph. The calculus enjoys features which are proper of …
a network is described by a digraph. The calculus enjoys features which are proper of …
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 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 …
Broadcast abstraction in a stochastic calculus for mobile networks
L Song, JC Godskesen - IFIP International Conference on Theoretical …, 2012 - Springer
We introduce a continuous time stochastic broadcast calculus for mobile and wireless
networks. The mobility between nodes in a network is modeled by a stochastic mobility …
networks. The mobility between nodes in a network is modeled by a stochastic 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 …
[图书][B] Probabilistic models and process calculi for mobile ad hoc networks
L Song - 2012 - pure.itu.dk
Due to the wide use of communicating mobile devices, mobile ad hoc networks (MANETs)
have gained in popularity in recent years. In order that the devices communicate properly …
have gained in popularity in recent years. In order that the devices communicate properly …
State space reduction techniques for model checking of MANET protocols
H Kojima, Y Nagashima, T Tsuchiya - International Journal of …, 2017 - jstage.jst.go.jp
Abstract 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 …
is autonomously managed without infrastructure base stations such as access points …
[PDF][PDF] Scalable performance analysis of wireless sensor networks
M Talebi - 2018 - research.tue.nl
Smart devices are silently filling every corner of our modern way of life and humans are
relying more and more on this technology in many areas. We are reaching a stage in which …
relying more and more on this technology in many areas. We are reaching a stage in which …