Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; John Mylopoulos (ER, 2020)

Social Dependence Relationships in Requirements Engineering. - John Mylopoulos; Daniel Amyot; Luigi Logrippo; Alireza Parvizimosaed; Sepehr Sharifi (iStar, 2020)

Goal Modeling for FinTech Certification. - Sepehr Sharifi; Patrick McLaughlin; Daniel Amyot; John Mylopoulos (iStar, 2020)

Symboleo: Towards a Specification Language for Legal Contracts. - Sepehr Sharifi; Alireza Parvizimosaed; Daniel Amyot; Luigi Logrippo; John Mylopoulos (RE, 2020)

Social Requirements Models for Services. - John Mylopoulos; Daniel Amyot; Luigi Logrippo; Alireza Parvizimosaed; Sepehr Sharifi (Next-Gen Digital Services, 2021)

Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. - Sepehr Sharifi; Daniel Amyot; John Mylopoulos; Patrick McLaughlin; Ray Feodoroff (RE Workshops, 2022)

Specification and analysis of legal contracts with Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; Marco Roveri; Aidin Rasti; Ali Roudak; John Mylopoulos (Softw. Syst. Model., 2022)

Engineering Smart Contracts with Symboleo: A Progress Report. - Daniel Amyot; Luigi Logrippo; John Mylopoulos; Marco Roveri; Amal Ahmed Anda; Alireza Parvizimosaed; Sofana Alfuhaid; Sepehr Sharifi; Aidin Rasti; Regan Meloche; Daniel Sousa-Diaz (CASCON, 2023)

Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search. - Sepehr Sharifi; Donghwan Shin 001; Lionel C. Briand; Nathan Aschbacher (CoRR, 2023)

Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search. - Sepehr Sharifi; Donghwan Shin 001; Lionel C. Briand; Nathan Aschbacher (IEEE Trans. Software Eng., 2023)

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting. - Sepehr Sharifi; Andrea Stocco 001; Lionel C. Briand (ACM Trans. Softw. Eng. Methodol., 2025)