Rare event simulation for highly dependable systems with fast repairs. - Daniël Reijsbergen; Pieter-Tjerk de Boer; Werner R. W. Scheinhardt; Boudewijn R. Haverkort (Perform. Evaluation, 2012)

Automated Rare Event Simulation for Stochastic Petri Nets. - Daniël Reijsbergen; Pieter-Tjerk de Boer; Werner R. W. Scheinhardt; Boudewijn R. Haverkort (QEST, 2013)

Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. - Daniël Reijsbergen; Stephen Gilmore (EPEW, 2014)

An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science. - Sylwester Arabas; Michael R. Bareford; Ian P. Gent; Benjamin M. Gorman; Masih Hajiarabderkani; Tristan Henderson; Luke Hutton; Alexander Konovalov 001; Lars Kotthoff; Ciaran McCreesh; Ruma R. Paul; Karen E. Petrie; et al. (CoRR, 2014)

Validation of Automatic Vehicle Location Data in Public Transport Systems. - Stephen Gilmore; Daniël Reijsbergen (UKPEW, 2014)

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. - Daniël Reijsbergen; Stephen Gilmore; Jane Hillston (PASM, 2014)

Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. - Nicolas Gast; Guillaume Massonnet; Daniël Reijsbergen; Mirco Tribastone (CIKM, 2015)

Interactive comparison of hypothesis tests for statistical model checking. - Pieter-Tjerk de Boer; Daniël Reijsbergen; Werner R. W. Scheinhardt (VALUETOOLS, 2015)

Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh. - Daniël Reijsbergen; Rajeev Ratan (VALUETOOLS, 2015)

Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh (Extended Version). - Daniël Reijsbergen; Rajeev Ratan (CoRR, 2015)

On hypothesis testing for statistical model checking. - Daniël Reijsbergen; Pieter-Tjerk de Boer; Werner R. W. Scheinhardt; Boudewijn R. Haverkort (Int. J. Softw. Tools Technol. Transf., 2015)

Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities. - Daniël Reijsbergen; Pieter-Tjerk de Boer; Werner R. W. Scheinhardt (ISoLA (1), 2016)

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. - Cheng Feng 004; Jane Hillston; Daniël Reijsbergen (QEST, 2016)

Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems. - Daniël Reijsbergen (STAF Workshops, 2016)

Transient and Steady-State Statistical Analysis for Discrete Event Simulators. - Stephen Gilmore; Daniël Reijsbergen; Andrea Vandin (IFM, 2017)

Moment-based availability prediction for bike-sharing systems. - Cheng Feng 004; Jane Hillston; Daniël Reijsbergen (Perform. Evaluation, 2017)

Rethinking Blockchain Security: Position Paper. - Vincent Chia; Pieter H. Hartel; Qingze Hum; Sebastian Ma; Georgios Piliouras; Daniël Reijsbergen; Mark van Staalduinen; Pawel Szalachowski (iThings/GreenCom/CPSCom/SmartData, 2018)

Path-ZVA: General, Efficient, and Automated Importance Sampling for Highly Reliable Markovian Systems. - Daniël Reijsbergen; Pieter-Tjerk de Boer; Werner R. W. Scheinhardt; Sandeep Juneja 001 (ACM Trans. Model. Comput. Simul., 2018)

StrongChain: Transparent and Collaborative Proof-of-Work Consensus. - Pawel Szalachowski; Daniël Reijsbergen; Ivan Homoliak; Siwei Sun (USENIX Security Symposium, 2019)

An Empirical Study Into the Success of Listed Smart Contracts in Ethereum. - Pieter H. Hartel; Ivan Homoliak; Daniël Reijsbergen (IEEE Access, 2019)

The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. - Ivan Homoliak; Sarad Venugopalan; Qingze Hum; Daniël Reijsbergen; Richard Schumi; Pawel Szalachowski (CoRR, 2019)

Rare event simulation for dynamic fault trees. - Enno Ruijters; Daniël Reijsbergen; Pieter-Tjerk de Boer; Mariëlle Stoelinga (Reliab. Eng. Syst. Saf., 2019)

Decentralized Lightweight Detection of Eclipse Attacks on Bitcoin Clients. - Bithin Alangot; Daniël Reijsbergen; Sarad Venugopalan; Pawel Szalachowski (Blockchain, 2020)

On Exploiting Transaction Concurrency To Speed Up Blockchains. - Daniël Reijsbergen; Tien Tuan Anh Dinh (ICDCS, 2020)

ProPoS: A Probabilistic Proof-of-Stake Protocol. - Daniël Reijsbergen; Pawel Szalachowski; Junming Ke; Zengpeng Li 001; Jianying Zhou 001 (CoRR, 2020)

A spatial algorithm for the analysis of transportation systems using statistical model checking. - Daniël Reijsbergen; Stephen Gilmore (CoRR, 2020)

Incentives in Ethereum's hybrid Casper protocol. - Vitalik Buterin; Daniël Reijsbergen; Stefanos Leonardos; Georgios Piliouras (Int. J. Netw. Manag., 2020)

Weighted voting on the blockchain: Improving consensus in proof of stake protocols. - Stefanos Leonardos; Daniël Reijsbergen; Georgios Piliouras (Int. J. Netw. Manag., 2020)

PREStO: A Systematic Framework for Blockchain Consensus Protocols. - Stefanos Leonardos; Daniël Reijsbergen; Georgios Piliouras (IEEE Trans. Engineering Management, 2020)

Dynamical analysis of the EIP-1559 Ethereum fee market. - Stefanos Leonardos; Barnabé Monnot; Daniël Reijsbergen; Efstratios Skoulakis; Georgios Piliouras (AFT, 2021)

Transaction Fees on a Honeymoon: Ethereum's EIP-1559 One Month Later. - Daniël Reijsbergen; Shyam Sridhar; Barnabé Monnot; Stefanos Leonardos; Stratis Skoulakis; Georgios Piliouras (Blockchain, 2021)

Transparent Electricity Pricing with Privacy. - Daniël Reijsbergen; Zheng Yang 001; Aung Maw; Tien Tuan Anh Dinh; Jianying Zhou 001 (ESORICS (2), 2021)

LaKSA: A Probabilistic Proof-of-Stake Protocol. - Daniël Reijsbergen; Pawel Szalachowski; Junming Ke; Zengpeng Li 001; Jianying Zhou 001 (NDSS, 2021)

The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. - Ivan Homoliak; Sarad Venugopalan; Daniël Reijsbergen; Qingze Hum; Richard Schumi; Pawel Szalachowski (IEEE Commun. Surv. Tutorials, 2021)

Decentralized and Lightweight Approach to Detect Eclipse Attacks on Proof of Work Blockchains. - Bithin Alangot; Daniël Reijsbergen; Sarad Venugopalan; Pawel Szalachowski; Kiat Seng Yeo (IEEE Trans. Netw. Serv. Manag., 2021)

Securing Smart Grids Through an Incentive Mechanism for Blockchain-Based Data Sharing. - Daniël Reijsbergen; Aung Maw; Tien Tuan Anh Dinh; Wen-Tai Li; Chau Yuen (CODASPY, 2022)

Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure. - Daniël Reijsbergen; Aung Maw; Sarad Venugopalan; Dianshi Yang; Tien Tuan Anh Dinh; Jianying Zhou 001 (ICBC, 2022)

Optimality Despite Chaos in Fee Markets. - Stefanos Leonardos; Daniël Reijsbergen; Barnabé Monnot; Georgios Piliouras (FC, 2023)

Demo: PIEChain - A Practical Blockchain Interoperability Framework. - Daniël Reijsbergen; Aung Maw; Jingchi Zhang; Tien Tuan Anh Dinh; Anwitaman Datta (ICDCS, 2023)

TAP: Transparent and Privacy-Preserving Data Services. - Daniël Reijsbergen; Aung Maw; Zheng Yang 001; Tien Tuan Anh Dinh; Jianying Zhou 001 (USENIX Security Symposium, 2023)

PIEChain - A Practical Blockchain Interoperability Framework. - Daniël Reijsbergen; Aung Maw; Jingchi Zhang; Tien Tuan Anh Dinh; Anwitaman Datta (CoRR, 2023)

CroCoDai: A Stablecoin for Cross-Chain Commerce. - Daniël Reijsbergen; Bretislav Hajek; Tien Tuan Anh Dinh; Jussi Keppo; Hank Korth; Anwitaman Datta (CoRR, 2023)

Collateral Portfolio Optimization in Crypto-Backed Stablecoins. - Bretislav Hajek; Daniël Reijsbergen; Anwitaman Datta; Jussi Keppo (MARBLE, 2024)

BlockChain I/O: Enabling Cross-Chain Commerce. - Anwitaman Datta; Daniël Reijsbergen; Jingchi Zhang; Suman Majumder (IEEE Access, 2024)

ZK-SERIES: Privacy-Preserving Authentication using Temporal Biometric Data. - Daniël Reijsbergen; Eyasu Getahun Chekole; Howard Halim; Jianying Zhou 001 (CoRR, 2025)

BlowPrint: Blow-Based Multi-Factor Biometrics for Smartphone User Authentication. - Howard Halim; Eyasu Getahun Chekole; Daniël Reijsbergen; Jianying Zhou 001 (CoRR, 2025)