On Symbolic Verification of Bitcoin's script Language. - Rick Klomp; Andrea Bracciali (DPM/CBT@ESORICS, 2018)

Test Model Coverage Analysis Under Uncertainty. - I. S. W. B. Prasetya; Rick Klomp (SEFM, 2019)

Test model coverage analysis under uncertainty: extended version. - I. S. W. B. Prasetya; Rick Klomp (Softw. Syst. Model., 2021)

Towards automated verification of Bitcoin-based decentralised applications. - Stefano Bistarelli; Andrea Bracciali; Rick Klomp; Ivan Mercanti (SAC, 2023)