Rena Bakhshi
Rena Bakhshi
VU University Amsterdam
Verified email at bakhshi.org
Title
Cited by
Cited by
Year
Mean-field analysis for the evaluation of gossip protocols
R Bakhshi, L Cloth, W Fokkink, B Haverkort
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
642009
Verification of peer-to-peer algorithms: A case study
R Bakhshi, D Gurov
Electronic Notes in Theoretical Computer Science 181, 35-47, 2007
472007
Formal analysis techniques for gossiping protocols
R Bakhshi, F Bonnet, W Fokkink, B Haverkort
ACM SIGOPS Operating Systems Review 41 (5), 28-36, 2007
432007
Mean-field framework for performance evaluation of push–pull gossip protocols
R Bakhshi, L Cloth, W Fokkink, BR Haverkort
Performance Evaluation 68 (2), 157-179, 2011
382011
An analytical model of information dissemination for a gossip-based protocol
R Bakhshi, D Gavidia, W Fokkink, M Van Steen
Computer Networks 53 (13), 2288-2303, 2009
292009
Automating the mean-field method for large dynamic gossip networks
R Bakhshi, J Endrullis, S Endrullis, W Fokkink, B Haverkort
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
262010
Leader election in anonymous rings: Franklin goes probabilistic
R Bakhshi, W Fokkink, J Pang, J Van De Pol
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
232008
Gossiping models
R Bakhshi
Formal Analysis of Epidemic Protocols, 2011
12*2011
PRIMAVERA versions of EC-Earth: EC-Earth3P and EC-Earth3P-HR. Description, model performance, data handling and validation, Geosci. Model Dev. Discuss
R Haarsma, P le Sager, G van den Oord, R Bakhshi, T van Noye, ...
preparation, 2019
112019
Fast leader election in anonymous rings with bounded expected delay
R Bakhshi, J Endrullis, W Fokkink, J Pang
Information Processing Letters 111 (17), 864-870, 2011
9*2011
A modeling framework for gossip-based information spread
R Bakhshi, D Gavidia, W Fokkink, M Van Steen
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
92011
Clustering image noise patterns by embedding and visualization for common source camera detection
S Georgievska, R Bakhshi, A Gavai, A Sclocco, B van Werkhoven
Digital Investigation 23, 22-30, 2017
82017
Mechanized extraction of topology anti-patterns in wireless networks
M Woehrle, R Bakhshi, MR Mousavi
International Conference on Integrated Formal Methods, 158-173, 2012
82012
On the impact of modelling choices for distributed information spread
R Bakhshi, A Fehnker
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
82009
On the complexity of equivalence of specifications of infinite objects
J Endrullis, D Hendriks, R Bakhshi
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
62012
HighResMIP versions of EC-Earth: EC-Earth3P and EC-Earth3P-HR. Description, model performance, data handling and validation
R Haarsma, M Acosta, R Bakhshi, PAB Bretonnière, LP Caron, M Castrillo, ...
Geoscientific Model Development Discussions 2020, 1-37, 2020
52020
Scalable analysis for large social networks: the data-aware mean-field approach
JM Birkholz, R Bakhshi, R Harige, M Van Steen, P Groenewegen
International Conference on Social Informatics, 406-419, 2012
5*2012
On the complexity of stream equality.
J Endrullis, D Hendriks, R Bakhshi, G Rosu
J. Funct. Program. 24 (2-3), 166-217, 2014
42014
Reliable localised event detection in a wireless distributed radio telescope
S Yousaf, R Bakhshi, MV Steen
International journal of sensor networks 14 (3), 155-167, 2013
32013
An Analytical Model of Information Dissemination for a Gossip-based Wireless Protocol
R Bakhshi, D Gavidia, W Fokkink, M Van Steen
Proc. 10th Int'l Conf. Distributed Computing and Networking (ICDCN …, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20