Rick Klomp

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Script Language

Computational Model

Symbolic Representation

Top Venues

DPM/CBT@ESORICS

Publications

Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti
Towards automated verification of Bitcoin-based decentralised applications. SAC (2023)
I. S. W. B. Prasetya, Rick Klomp
Test model coverage analysis under uncertainty: extended version. Softw. Syst. Model. 20 (2) (2021)
I. S. W. B. Prasetya, Rick Klomp
Test Model Coverage Analysis Under Uncertainty. SEFM (2019)
I. S. W. B. Prasetya, Rick Klomp
Test Model Coverage Analysis under Uncertainty. CoRR (2019)
Rick Klomp, Andrea Bracciali
On Symbolic Verification of Bitcoin's script Language. DPM/CBT@ESORICS (2018)