| 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 | 71 | 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 | 31 | 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 | 27 | 2019 |
| Moment-based availability prediction for bike-sharing systems C Feng, J Hillston, D Reijsbergen Performance Evaluation 117, 58-74, 2017 | 26* | 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 | 24 | 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 | 23 | 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 | 23 | 2013 |
| 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 | 17 | 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 | 15 | 2018 |
| Efficient simulation techniques for stochastic model checking DP Reijsbergen University of Twente (UT), 2013 | 12 | 2013 |
| 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 | 11 | 2020 |
| 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 | 11 | 2015 |
| Formal punctuality analysis of frequent bus services using headway data D Reijsbergen, S Gilmore European Workshop on Performance Engineering, 164-178, 2014 | 11 | 2014 |
| Presto: A systematic framework for blockchain consensus protocols S Leonardos, D Reijsbergen, G Piliouras IEEE Transactions on Engineering Management 67 (4), 1028-1044, 2020 | 9 | 2020 |
| 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 | 7 | 2016 |
| 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 | 7 | 2016 |
| The security reference architecture for blockchains: Towards a standardized model for studying vulnerabilities, threats, and defenses I Homoliak, S Venugopalan, Q Hum, D Reijsbergen, R Schumi, ... arXiv preprint arXiv:1910.09775, 2019 | 6 | 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 | 5 | 2018 |
| Probabilistic modelling of station locations in bicycle-sharing systems D Reijsbergen Federation of International Conferences on Software Technologies …, 2016 | 5 | 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 | 5 | 2014 |
Pieter-Tjerk de BoerAssociate professor, University of TwenteVerified email at utwente.nl
