| 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 | 74* | 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 | 21 | 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 | 17 | 2022 |
| Smart Contracts: From Formal Specification to Blockchain Code SS Sharifi Université d'Ottawa/University of Ottawa, 2020 | 8 | 2020 |
| Goal Modeling for FinTech Certification S Sharifi, P McLaughlin, D Amyot, J Mylopoulos 13th International i* Workshop (iStar’20), 2020 | 5 | 2020 |
| Towards improved certification of complex fintech systems–a requirements-based approach S Sharifi, D Amyot, J Mylopoulos, P McLaughlin, R Feodoroff 2022 IEEE 30th International Requirements Engineering Conference Workshops …, 2022 | 4 | 2022 |
| Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search S Sharifi, D Shin, LC Briand, N Aschbacher IEEE Transactions on Software Engineering, 2023 | 3 | 2023 |
| 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 |
| 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 |
| Social Requirements Models for Services J Mylopoulos, D Amyot, L Logrippo, A Parvizimosaed, S Sharifi Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing …, 2021 | 1 | 2021 |
| System Safety Monitoring of Learned Components Using Temporal Metric Forecasting S Sharifi, A Stocco, LC Briand arXiv preprint arXiv:2405.13254, 2024 | | 2024 |
| Design Proposal for a Multi-Role Cost-Effective Aerial Firefighter (MCAF) S Sharifi, B Ashrafi, M Sadegh, SS Yousefi, M Hosein, H Tavasoli, ... American Institute of Aeronautics and Astronautics (AIAA), 2016 | | 2016 |
Daniel AmyotProfessor, University of OttawaVerified email at site.uottawa.ca
