#### Filter Results:

- Full text PDF available (24)

#### Publication Year

2007

2017

- This year (1)
- Last 5 years (9)
- Last 10 years (25)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort
- SIGMETRICS Performance Evaluation Review
- 2008

Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial view of the global system. Because of the size of these networks, analysis of gossip protocols is mostly done using simulation, which tend to be expensive in computation time and… (More)

We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us to evaluate systems with very large numbers of nodes, that is, systems of a size where traditional performance evaluation methods fall short. While the mean-field analysis is… (More)

- Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort
- Perform. Eval.
- 2011

Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial view of the global system. Because of the size of these networks, analysis of gossip protocols is mostly done using simulations, but even they tend to be expensive in computation… (More)

- Rena Bakhshi, Ansgar Fehnker
- QEST
- 2009

We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The behavior of the algorithm is probabilistic in nature; a node chooses a random peer and sends a random subset of its local data. Moreover, the algorithm exhibits nondeterministic… (More)

- Rena Bakhshi, Jörg Endrullis, +5 authors Ansgar Fehnker
- 2010

Acknowledgements It is a pleasure to thank those who made the completion of this thesis possible. First and foremost I express my gratitude to my supervisor Wan Fokkink for his guidance and patience throughout my thesis, for sharing his ideas with me, and all the support he has provided in these four years. Moreover, I want to thank Wan and Judi for letting… (More)

- Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort
- Operating Systems Review
- 2007

We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner. We present properties of interest for gossiping protocols and discuss how various formal evaluation techniques can be employed to predict them.

- Rena Bakhshi, Dilian Gurov
- Electr. Notes Theor. Comput. Sci.
- 2007

The problem of maintaining structured peer-to-peer (P2P) overlay networks in the presence of concurrent joins and failures of nodes is the subject of intensive research. The various algorithms underlying P2P systems are notoriously difficult to design and analyse. Thus, when verifying P2P algorithms, a real challenge is to find an adequate level of… (More)

- Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen
- ICDCN
- 2009

We develop an analytical model of information dissemination for a gossiping protocol that combines both pull and push approaches. With this model we analyse how fast an item is replicated through a network, and how fast the item spreads in the network, and how fast the item covers the network. We also determine the optimal size of the exchange buffer, to… (More)

- Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol
- IFIP TCS
- 2008

We present a probabilistic leader election algorithm for anonymous, bidirectional, asynchronous rings. It is based on an algorithm from Franklin [22], augmented with random identity selection, hop counters to detect identity clashes, and round numbers modulo 2. As a result, the algorithm is finite-state, so that various model checking techniques can be… (More)

- Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
- ICFP
- 2012

We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by λ-terms. For equational specifications there are several natural notions of equality: equality in all models, equality of the sets of solutions, and equality of normal forms for productive specifications. For… (More)