DaniŽl Reijsbergen
TitleCited byYear
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
572015
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
232012
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
222013
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
192015
Moment-based availability prediction for bike-sharing systems
C Feng, J Hillston, D Reijsbergen
Performance Evaluation 117, 58-74, 2017
18*2017
Rare event simulation for dynamic fault trees
E Ruijters, D Reijsbergen, PT de Boer, M Stoelinga
Reliability engineering & system safety 186, 220-231, 2019
142019
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
122018
Efficient simulation techniques for stochastic model checking
DP Reijsbergen
University of Twente (UT), 2013
122013
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.
D Reijsbergen, S Gilmore, J Hillston
Electr. Notes Theor. Comput. Sci. 310, 157-177, 2015
112015
Formal punctuality analysis of frequent bus services using headway data
D Reijsbergen, S Gilmore
European Workshop on Performance Engineering, 164-178, 2014
102014
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
82019
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
62019
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
62016
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
52014
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
42018
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
42016
Validation of Automatic Vehicle Location Data in Public Transport Systems
S Gilmore, D Reijsbergen
Electronic Notes in Theoretical Computer Science 318, 31-51, 2015
42015
A sequential hypothesis test based on a generalized azuma inequality
D Reijsbergen, W Scheinhardt, PT de Boer
Statistics & probability letters 97, 192-196, 2015
42015
Case studies and challenges in reproducibility in the computational sciences
S Arabas, MR Bareford, LR de Silva, IP Gent, BM Gorman, ...
arXiv preprint arXiv:1408.2123, 2014
42014
Interactive comparison of hypothesis tests for statistical model checking
PT de Boer, D Reijsbergen, W Scheinhardt
Proceedings of the 9th EAI International Conference on Performance†…, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20