About me

IMG_0120I was born in The Hague, 1985, and in 2009 I obtained my Master’s degree in Econometrics and Operations Research at the VU in Amsterdam under the supervision of Ad Ridder and Henk Tijms. In the same year, I started my Ph.D. research at the University of Twente on the topic of rare event simulation for model checking under the supervision of Pieter-Tjerk de Boer, Werner Scheinhardt, and Boudewijn Haverkort. I obtained my Ph.D. in 2013, after which I held a position as a research associate at the University of Edinburgh as a member of the QUANTICOL project. As part of QUANTICOL, I mostly worked on performance evaluation of bus services in Edinburgh and bicycle-sharing systems in cooperation with Stephen Gilmore and Jane Hillston. Since 2018, I have been employed as a research fellow at the iTrust research centre at SUTD (Singapore University of Technology and Design), where I work on blockchain security and scalability.

I can be contacted via the following e-mail address: daniel@reijsbergen.gmail@com (with @ and . interchanged).

Below is a list of my publications, including full and preprint versions in pdf-format.

Ph.D. thesis

D.P. Reijsbergen. Efficient simulation techniques for stochastic model checking. Ph.D. thesis, University of Twente, 2013. Full text here.

Journal publications

Leonardos, Stefanos, Daniël Reijsbergen, and Georgios Piliouras. “PREStO: A systematic framework for blockchain consensus protocols.” IEEE Transactions on Engineering Management, 2020. Full version here, arXiv version here.

Hartel, Pieter, Ivan Homoliak, and Daniël Reijsbergen. “An Empirical Study Into the Success of Listed Smart Contracts in Ethereum.” IEEE Access 7, 2019. Full version here, arXiv version here.

Ruijters, Enno, Daniël Reijsbergen, Pieter-Tjerk de Boer, and Mariëlle Stoelinga. “Rare event simulation for dynamic fault trees.” Reliability Engineering & System Safety, 2019. Full version here.

Reijsbergen, Daniël, Pieter-Tjerk De Boer, Werner Scheinhardt, and Sandeep Juneja. “Path-ZVA: General, efficient, and automated importance sampling for highly reliable Markovian systems.” ACM Transactions on Modeling and Computer Simulation (TOMACS), 2018. arXiv version here.

Feng, Cheng, Jane Hillston, and Daniël Reijsbergen. “Moment-based availability prediction for bike-sharing systems.” Performance Evaluation, 2017. Full version here.

Reijsbergen, Daniël, Pieter-Tjerk de Boer, Werner Scheinhardt, and Boudewijn Haverkort. “On hypothesis testing for statistical model checking.” Software Tools for Technology Transfer, 2015. Preprint version here, full version here.

Reijsbergen, Daniël, Werner Scheinhardt, and Pieter-Tjerk de Boer. “A sequential hypothesis test based on a generalized azuma inequality.” Statistics & Probability Letters, 2014. Preprint version here, full version here.

Reijsbergen, Daniël, Pieter-Tjerk De Boer, Werner Scheinhardt, and Boudewijn Haverkort. “Rare event simulation for highly dependable systems with fast repairs.” Performance Evaluation, 2012. Full text here, conference version here.

Conference publications

Szalachowski, Pawel, Daniël Reijsbergen, Ivan Homoliak, and Siwei Sun. “Strongchain: Transparent and collaborative proof-of-work consensus.” In 28th USENIX Security Symposium, 2019. Conference link, arXiv version here.

Buterin, Vitalik, Daniël Reijsbergen, Stefanos Leonardos, and Georgios Piliouras. “Incentives in Ethereum’s hybrid Casper protocol.” In 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019. arXiv version here.

Leonardos, Stefanos, Daniël Reijsbergen, and Georgios Piliouras. “Weighted voting on the blockchain: Improving consensus in proof of stake protocols.” In 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019. arXiv version here.

Chia, Vincent, Pieter Hartel, Qingze Hum, Sebastian Ma, Georgios Piliouras, Daniël Reijsbergen, Mark Van Staalduinen, and Pawel Szalachowski. “Rethinking blockchain security: Position paper.” In 2018 IEEE International Conference on Blockchain, 2018. arXiv version here.

Gilmore, Stephen, Daniël Reijsbergen, and Andrea Vandin. “Transient and steady-state statistical analysis for discrete event Simulators.” In International Conference on Integrated Formal Methods, 2017. Full text here.

Reijsbergen, Daniël, and Rajeev Ratan. “Probabilistic modelling of the impact on bus punctuality of a speed limit proposal in Edinburgh.” 9th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2015. Extended version here, slides available here.

Gast, Nicolas, Guillaume Massonnet, Daniël Reijsbergen, and Mirco Tribastone. “Probabilistic forecasts of bike-sharing systems for journey planning.” 24th ACM International Conference on Information and Knowledge Management (CIKM), 2015. Preprint version here, slides available here.

Reijsbergen, Daniël, Pieter-Tjerk de Boer, Werner Scheinhardt, and Boudewijn Haverkort. “Automated rare event simulation for stochastic Petri nets.” 10th International Conference on the Quantitative Evaluation of Systems (QEST). Springer, 2013, pp. 372-388. Full text here.

Workshop publications

Reijsbergen, Daniël. “Probabilistic modelling of station locations in bicycle-sharing systems.” DataMod 2016 – From Data to Models and Back, 2016. Preprint version here, slides available here.

Reijsbergen, Daniël, and Stephen Gilmore. “Formal punctuality analysis of frequent bus services using headway data.” Proceedings of the 11th European Performance Engineering Workshop (EPEW), 2014. Preprint version here, full version here.

Reijsbergen, Daniël, Stephen Gilmore, and Jane Hillston. “Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.” Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM), 2014. Preprint version here, full version here.

Other presentations

See here.