DaniŽl Reijsbergen
Cited by
Cited by
Probabilistic forecasts of bike-sharing systems for journey planning
N Gast, G Massonnet, D Reijsbergen, M Tribastone
Proceedings of the 24th ACM international on conference on information and†…, 2015
Incentives in Ethereum's hybrid Casper protocol
V Buterin, D Reijsbergen, S Leonardos, G Piliouras
International Journal of Network Management 30 (5), e2098, 2020
Rare event simulation for dynamic fault trees
E Ruijters, D Reijsbergen, PT de Boer, M Stoelinga
Reliability engineering & system safety 186, 220-231, 2019
Moment-based availability prediction for bike-sharing systems
C Feng, J Hillston, D Reijsbergen
Performance Evaluation 117, 58-74, 2017
Rare event simulation for highly dependable systems with fast repairs
D Reijsbergen, PT de Boer, W Scheinhardt, B Haverkort
Performance Evaluation 69 (7-8), 336-355, 2012
On hypothesis testing for statistical model checking
D Reijsbergen, PT de Boer, W Scheinhardt, B Haverkort
International journal on software tools for technology transfer 17 (4), 377-395, 2015
Automated rare event simulation for stochastic Petri nets
D Reijsbergen, PT de Boer, W Scheinhardt, B Haverkort
International Conference on Quantitative Evaluation of Systems, 372-388, 2013
Strongchain: Transparent and collaborative proof-of-work consensus
P Szalachowski, D Reijsbergen, I Homoliak, S Sun
28th {USENIX} Security Symposium ({USENIX} Security 19), 819-836, 2019
Rethinking blockchain security: Position paper
V Chia, P Hartel, Q Hum, S Ma, G Piliouras, D Reijsbergen, ...
2018 IEEE International Conference on Internet of Things (iThings) and IEEE†…, 2018
Efficient simulation techniques for stochastic model checking
DP Reijsbergen
University of Twente (UT), 2013
Weighted voting on the blockchain: Improving consensus in proof of stake protocols
S Leonardos, D Reijsbergen, G Piliouras
International Journal of Network Management 30 (5), e2093, 2020
Patch-based modelling of city-centre bus movement with phase-type distributions
D Reijsbergen, S Gilmore, J Hillston
Electronic Notes in Theoretical Computer Science 310, 157-177, 2015
Formal punctuality analysis of frequent bus services using headway data
D Reijsbergen, S Gilmore
European Workshop on Performance Engineering, 164-178, 2014
Presto: A systematic framework for blockchain consensus protocols
S Leonardos, D Reijsbergen, G Piliouras
IEEE Transactions on Engineering Management 67 (4), 1028-1044, 2020
Hypothesis testing for rare-event simulation: limitations and possibilities
D Reijsbergen, PT de Boer, W Scheinhardt
International Symposium on Leveraging Applications of Formal Methods, 16-26, 2016
Numerical results for the automated rare event simulation of stochastic Petri nets
A Zimmermann, D Reijsbergen, A Wichmann, AC Lavista
11th Int. Workshop on Rare Event Simulation (RESIM 2016), 1-10, 2016
The security reference architecture for blockchains: Towards a standardized model for studying vulnerabilities, threats, and defenses
I Homoliak, S Venugopalan, Q Hum, D Reijsbergen, R Schumi, ...
arXiv preprint arXiv:1910.09775, 2019
Path-ZVA: General, efficient, and automated importance sampling for highly reliable Markovian systems
D Reijsbergen, PTD Boer, W Scheinhardt, S Juneja
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (3), 1-25, 2018
Probabilistic modelling of station locations in bicycle-sharing systems
D Reijsbergen
Federation of International Conferences on Software Technologies†…, 2016
A preliminary investigation of capturing spatial information for CAS
V Galpin, L Bortolussi, V Ciancia, A Clark, R De Nicola, C Feng, S Gilmore, ...
QUANTICOL Deliverable D 2 (1), 110, 2014
The system can't perform the operation now. Try again later.
Articles 1–20