Add to ORKGCooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implemented in PROMELA. The functionality of the C-ARQ protocol is verified through simulations and verifications using SPIN
This paper proposes a low coordination overhead cooperative Automatic Repeat reQuest (ARQ) scheme wi...
In this paper we show how a cooperative Medium Access Control (MAC) protocol can help extend the lif...
[[abstract]]Recently, relay technology has been adopted to enhance the coverage and performance of w...
Author's version of an article published in the journal: Computer Standards & Interfaces. Also avail...
Cooperative Automatic Retransmission reQuest (C-ARQ) schemes have become a very active research topi...
In this paper, we propose a cross-layer analytical model for the study of network coding (NC)-based ...
International audienceIn this paper, we propose a cross-layer analytical model for the study of Netw...
Cooperative protocols are a new and promising research field that can lead to a better understanding...
Member, IEEE In this paper, we propose a cross-layer analytical model for the study of Network Codin...
The distributed queuing MAC protocol for cooperative networks (DQCOOP) is presented in this paper as...
Paper presented at the 2010 IEEE International Conference on Communications , Cape Town. (c) 2010 IE...
Abstract—In many wireless data systems, automatic repeat re-quest (ARQ) and hybrid automatic repeat ...
Abstract—Recently, relay technology has been adopted to enhance the coverage and performance of wire...
While the benefits of cooperative diversity have been well studied in the literature, cooperative MA...
Coop MAC has been recently proposed as a possible implementation of cooperation protocols in the med...
This paper proposes a low coordination overhead cooperative Automatic Repeat reQuest (ARQ) scheme wi...
In this paper we show how a cooperative Medium Access Control (MAC) protocol can help extend the lif...
[[abstract]]Recently, relay technology has been adopted to enhance the coverage and performance of w...
Author's version of an article published in the journal: Computer Standards & Interfaces. Also avail...
Cooperative Automatic Retransmission reQuest (C-ARQ) schemes have become a very active research topi...
In this paper, we propose a cross-layer analytical model for the study of network coding (NC)-based ...
International audienceIn this paper, we propose a cross-layer analytical model for the study of Netw...
Cooperative protocols are a new and promising research field that can lead to a better understanding...
Member, IEEE In this paper, we propose a cross-layer analytical model for the study of Network Codin...
The distributed queuing MAC protocol for cooperative networks (DQCOOP) is presented in this paper as...
Paper presented at the 2010 IEEE International Conference on Communications , Cape Town. (c) 2010 IE...
Abstract—In many wireless data systems, automatic repeat re-quest (ARQ) and hybrid automatic repeat ...
Abstract—Recently, relay technology has been adopted to enhance the coverage and performance of wire...
While the benefits of cooperative diversity have been well studied in the literature, cooperative MA...
Coop MAC has been recently proposed as a possible implementation of cooperation protocols in the med...
This paper proposes a low coordination overhead cooperative Automatic Repeat reQuest (ARQ) scheme wi...
In this paper we show how a cooperative Medium Access Control (MAC) protocol can help extend the lif...
[[abstract]]Recently, relay technology has been adopted to enhance the coverage and performance of w...