selected publications

• chapter

  • Multi-perspective Conformance Checking for Email-Driven Processes.  Lecture notes in computer science. 441-457. 2024
  • Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.  Lecture notes in computer science. 47-53. 2021

• conference paper

  • Integrating Business Process Context into Solidity-to-CPN Formal Verification.  . 68-73. 2024
  • Model checking of vulnerabilities in smart contracts.  Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. 316-325. 2022
  • A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.  . 69-74. 2021
  • A Survey on Formal Verification for Solidity Smart Contracts.  . 1-10. 2021
  • [WiP] Formal Modelling of IT Resource Allocation in Business Processes.  . 227-232. 2018