Add to ORKGThis paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.
This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor ne...
In this paper we discuss time-parallel simulation of wireless ad hoc networks. Such systems are rare...
This paper studies the properties of Nash equilibrium for noncooperative games in interference coupl...
This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighte...
During the last decades, wireless networking has been continuously a hot topic both in academy and i...
In this thesis, we present novel software technology for the analysis of wireless networks, an emerg...
During the last few years we have witnessed a rapid evolution of wireless technologies and a steep g...
In this thesis, we present novel software technology for the analysis of wireless networks, an emerg...
It is well-known that the performance of wireless protocols depends on the quality of the wireless l...
Abstract — Support of traffic with QoS requirements in wireless scenarios is a challenging topic and...
Ad-hoc networks are an emerging networking technology, in which the nodes form a network with no fi...
Abstract—The international standard IEEE 802.15.4 defines low-rate wireless personal area networks, ...
Wireless networks consist of small (possibly) portable devices which combine battery-operated comput...
Random SALOHA and CSMA protocols that are used to access MAC in ad hoc networks are very small compa...
Abstract — This paper presents new distributed power and admission control algorithms for ad-hoc wir...
This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor ne...
In this paper we discuss time-parallel simulation of wireless ad hoc networks. Such systems are rare...
This paper studies the properties of Nash equilibrium for noncooperative games in interference coupl...
This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighte...
During the last decades, wireless networking has been continuously a hot topic both in academy and i...
In this thesis, we present novel software technology for the analysis of wireless networks, an emerg...
During the last few years we have witnessed a rapid evolution of wireless technologies and a steep g...
In this thesis, we present novel software technology for the analysis of wireless networks, an emerg...
It is well-known that the performance of wireless protocols depends on the quality of the wireless l...
Abstract — Support of traffic with QoS requirements in wireless scenarios is a challenging topic and...
Ad-hoc networks are an emerging networking technology, in which the nodes form a network with no fi...
Abstract—The international standard IEEE 802.15.4 defines low-rate wireless personal area networks, ...
Wireless networks consist of small (possibly) portable devices which combine battery-operated comput...
Random SALOHA and CSMA protocols that are used to access MAC in ad hoc networks are very small compa...
Abstract — This paper presents new distributed power and admission control algorithms for ad-hoc wir...
This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor ne...
In this paper we discuss time-parallel simulation of wireless ad hoc networks. Such systems are rare...
This paper studies the properties of Nash equilibrium for noncooperative games in interference coupl...