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
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
I Homoliak, S Venugopalan, D Reijsbergen, Q Hum, R Schumi, ...
IEEE Communications Surveys & Tutorials 23 (1), 341-390, 2020
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
Presto: A systematic framework for blockchain consensus protocols
S Leonardos, D Reijsbergen, G Piliouras
IEEE Transactions on Engineering Management 67 (4), 1028-1044, 2020
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
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
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
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
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
Transient and steady-state statistical analysis for discrete event simulators
S Gilmore, D Reijsbergen, A Vandin
International Conference on Integrated Formal Methods, 145-160, 2017
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