Rick Klomp

According to our database, Rick Klomp authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards automated verification of Bitcoin-based decentralised applications.

Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2021

Test model coverage analysis under uncertainty: extended version.

I. S. W. B. Prasetya, Rick Klomp

Softw. Syst. Model., 2021

2019

Test Model Coverage Analysis Under Uncertainty.

I. S. W. B. Prasetya, Rick Klomp

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

On Symbolic Verification of Bitcoin's script Language.

Rick Klomp, Andrea Bracciali

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018