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
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
Rare event simulation for dynamic fault trees
E Ruijters, D Reijsbergen, PT de Boer, M Stoelinga
Reliability engineering & system safety 186, 220-231, 2019
Incentives in Ethereum’s hybrid casper protocol
V Buterin, D Reijsbergen, S Leonardos, G Piliouras
2019 IEEE international conference on blockchain and cryptocurrency (ICBC†…, 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
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
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
Efficient simulation techniques for stochastic model checking
DP Reijsbergen
University of Twente (UT), 2013
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.
D Reijsbergen, S Gilmore, J Hillston
Electron. Notes Theor. Comput. Sci. 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
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
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
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
PREStO: A systematic framework for blockchain consensus protocols
S Leonardos, D Reijsbergen, G Piliouras
IEEE Transactions on Engineering Management, 2020
Weighted voting on the blockchain: Improving consensus in proof of stake protocols
S Leonardos, D Reijsbergen, G Piliouras
2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC†…, 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
Validation of Automatic Vehicle Location Data in Public Transport Systems
S Gilmore, D Reijsbergen
Electronic Notes in Theoretical Computer Science 318, 31-51, 2015
The system can't perform the operation now. Try again later.
Articles 1–20