Specification and analysis of legal contracts with Symboleo A Parvizimosaed, S Sharifi, D Amyot, L Logrippo, M Roveri, A Rasti, ... Software and Systems Modeling 21 (6), 2395-2427, 2022 | 10 | 2022 |
Symboleo2SC: From legal contract specifications to smart contracts A Rasti, D Amyot, A Parvizimosaed, M Roveri, L Logrippo, AA Anda, ... Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 8 | 2022 |
Model-checking legal contracts with SymboleoPC A Parvizimosaed, M Roveri, A Rasti, D Amyot, L Logrippo, J Mylopoulos Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 6* | 2022 |
A Coin Marketplace Implementation on Blockchain Using the Hyperledger Platform A Rasti, A Gheibi | 3 | 2018 |
Engineering Smart Contracts with Symboleo: A Progress Report D Amyot, L Logrippo, J Mylopoulos, M Roveri, AA Anda, A Parvisimosaed, ... Proceedings of the 33rd Annual International Conference on Computer Science …, 2023 | 1 | 2023 |
From Symboleo to Smart Contracts: A Code Generator A Rasti Université d'Ottawa/University of Ottawa, 2022 | 1 | 2022 |
Extending and Experimenting with the EvoSuite Test Generation Tool A Rasti | | 2020 |
Labeling Questions On GitHub Issue Trackers A Rasti | | |