23 citations · 38 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 1 cited
Declarative Smart Contracts
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri +2
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contra…
cs.SE2017
Validation of Collaborative Business Processes using Goals Model
Amir Ebrahimifard, Mostafa Khoramabadi Arani, Mohammad Javad Amiri +1
Validating process model against corresponding requirements is one of the most important problems in domain of collaborative processes. In this paper collaborative processes are mo…