| 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 | 15 | 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 | 13 | 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 | 10* | 2022 |
| From Symboleo to Smart Contracts: A Code Generator A Rasti Université d'Ottawa/University of Ottawa, 2022 | 3 | 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 |
| SymboleoPC: checking properties of legal contracts A Parvizimosaed, M Roveri, A Rasti, AA Anda, S Alfuhaid, D Amyot, ... Software and Systems Modeling, 1-34, 2024 | | 2024 |
| Automated generation of smart contract code from legal contract specifications with Symboleo2SC A Rasti, AA Anda, S Alfuhaid, A Parvizimosaed, D Amyot, M Roveri, ... Software and Systems Modeling, 1-30, 2024 | | 2024 |
| Extending and Experimenting with the EvoSuite Test Generation Tool A Rasti | | 2020 |
| Labeling Questions On GitHub Issue Trackers A Rasti | | |
