Follow
Sepehr Sharifi
Title
Cited by
Cited by
Year
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
75*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
212020
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
182022
Smart Contracts: From Formal Specification to Blockchain Code
SS Sharifi
Université d'Ottawa/University of Ottawa, 2020
82020
Goal Modeling for FinTech Certification
S Sharifi, P McLaughlin, D Amyot, J Mylopoulos
13th International i* Workshop (iStar’20), 2020
62020
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
52022
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
42023
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
42020
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
12023
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–12