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 (direct) supervision of Pieter-Tjerk de Boer and Werner Scheinhardt. I obtained my Ph.D. in 2013, with Boudewijn Haverkort and Richard Boucherie acting as promotors. I currently hold a position as a research associate at the University of Edinburgh as a member of the QUANTICOL project. I mostly work on performance evaluation of bus services in Edinburgh in cooperation with Stephen Gilmore and Jane Hillston.

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

D. Reijsbergen, W. Scheinhardt, and P.T. de Boer, “A sequential hypothesis test based on a generalized Azuma inequality”, Statistics & Probability Letters, 2014. Preprint version here, full version here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “On hypothesis testing for statistical model checking”, Software Tools for Technology Transfer, vol. 17, issue 4, pp. 377-395, 2015. Preprint version here, full version here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Rare event simulation for highly dependable systems with fast repairs”, Performance Evaluation, vol. 69, no. 7, pp. 336–355, 2012. Full text here.

Conference publications

D. Reijsbergen and R. Ratan, “Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh”, in Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2015. Extended version here, slides available here.

N. Gast, G. Massonnet, D. Reijsbergen, and M. Tribastone, “Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning”, in Proceedings of the 24th ACM International Conference on Information and Knowledge Management (CIKM), 2015. Preprint version here, slides available here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Automated rare event simulation for stochastic petri nets”, in Proceedings of the 10th International Conference on the Quantitative Evaluation of Systems (QEST). Springer, 2013, pp. 372-388. Full text here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Rare event simulation for highly dependable systems with fast repairs”, in Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, 2010, pp. 251–260. Full text here.

Workshop publications

D. Reijsbergen. “Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems”, in Proceedings of DataMod 2016 – From Data to Models and Back, 2016. Preprint version here, slides available here.

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

D. Reijsbergen, S. Gilmore, and J. Hillston. “Patch-based modelling of city-centre bus movement with phase-type distributions”, in Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM), 2014. Preprint version here, full version here.

Other presentations

See here.