selected publications

• academic article

  • Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.  Data & Knowledge Engineering.  70:467-482. 2011
  • CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises.  IEEE Transactions on Services Computing.  1:214-228. 2008

• chapter

  • Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.  Lecture notes in computer science. 47-53. 2021
  • Checking Compatibility of Web Services Behaviorally.  Lecture notes in computer science. 267-282. 2013
  • Verification of Reachability Properties for Time Petri Nets.  Lecture notes in computer science. 159-170. 2013
  • Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.  Lecture notes in computer science. 294-309. 2009

• 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
  • Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud.  . 573-580. 2013
  • Formal Abstraction and Compatibility Checking of Web Services.  . 163-170. 2013
  • Formal Modeling of Elastic Service-Based Business Processes.  IEEE International Conference on Services Computing. 424-431. 2013