| Symboleo: Towards a specification language for legal contracts S Sharifi, A Parvizimosaed, D Amyot, L Logrippo, J Mylopoulos 2020 IEEE 28th international requirements engineering conference (RE), 364-369, 2020 | 63 | 2020 |
| Subcontracting, assignment, and substitution for legal contracts in symboleo A Parvizimosaed, S Sharifi, D Amyot, L Logrippo, J Mylopoulos International Conference on Conceptual Modeling, 271-285, 2020 | 19 | 2020 |
| 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 | 14 | 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 |
| Symboleo: A specification language for smart contracts S Sharifi, A Parvizimosaed, D Amyot, L Logrippo, J Mylopoulos 28th IEEE Requirements Engineering Conference, RE@ Next track, Zurich, 2020 | 8 | 2020 |
| Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability. A Parvizi-Mosaed, S Moaven, J Habibi, A Heydarnoori SEKE, 168-173, 2014 | 7 | 2014 |
| Towards the specification and verification of legal contracts A Parvizimosaed 2020 IEEE 28th International Requirements Engineering Conference (RE), 445-450, 2020 | 6 | 2020 |
| Towards a self-adaptive service-oriented methodology based on extended SOMA A Parvizi-Mosaed, S Moaven, J Habibi, G Beigi, M Naser-Shariat Frontiers of Information Technology & Electronic Engineering 16, 43-69, 2015 | 6 | 2015 |
| Compliance Checking for Transactive Energy Contracts using Smart Contracts A Parvizimosaed, M Bashari, AR Kian, P Eng IEEE TESC 2020, 2020 | 5 | 2020 |
| An ahp-based evaluation of real-time stream processing technologies in iot P Killeen, A Parvizimosaed environment 3, 6, 2018 | 5 | 2018 |
| Symboleo: Specification and Verification of Legal Contracts A Parvizimosaed Université d'Ottawa/University of Ottawa, 2022 | 3 | 2022 |
| BIOT: A Blockchain-Based IoT Platform for Distributed Energy Resource Management M Yalpanian, N Mirzaei, A Parvizimosaed Silicon Valley Cybersecurity Conference: First Conference, SVCC 2020, San …, 2020 | 3 | 2020 |
| Social Dependence Relationships in Requirements Engineering⋆ J Mylopoulos, D Amyot, L Logrippo, A Parvizimosaed, S Sharifi 13th International i* Workshop (iStar’20), 55-60, 2020 | 3 | 2020 |
| Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain A Parvizimosaed, H Azad, D Amyot, J Mylopoulos 2023 20th Annual International Conference on Privacy, Security and Trust …, 2023 | 1 | 2023 |
| Social Requirements Models for Services A John Mylopoulos, Daniel Amyot, Luigi Logrippo, Parvizimosaed, ... Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing …, 2020 | 1* | 2020 |
| Towards a knowledge based approach to style driven architecture design S Moaven, J Habibi, R Alidoosti, AP Mosaed Procedia Computer Science 62, 236-244, 2015 | 1 | 2015 |
| 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 |
| Social Requirements Models for Services A Parvizimosaed, S Sharifi Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing …, 2021 | | 2021 |
Daniel AmyotProfessor, University of OttawaVerified email at site.uottawa.ca
