Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability. - Alireza Parvizi-Mosaed; Shahrouz Moaven; Jafar Habibi; Abbas Heydarnoori (SEKE, 2014)

Towards a Knowledge Based Approach to Style Driven Architecture Design. - Shahrouz Moaven; Jafar Habibi; Razie Alidoosti; Alireza Parvizi-Mosaed (SCSE, 2015)

Towards a self-adaptive service-oriented methodology based on extended SOMA. - Alireza Parvizi-Mosaed; Shahrouz Moaven; Jafar Habibi; Ghazaleh Beigi; Mahdieh Naser-Shariat (Frontiers Inf. Technol. Electron. Eng., 2015)

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)

Towards the Specification and Verification of Legal Contracts. - Alireza Parvizimosaed (RE, 2020)

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

BIOT: A Blockchain-Based IoT Platform for Distributed Energy Resource Management. - Mostafa Yalpanian; Naser Mirzaei; Alireza Parvizimosaed; Farid Farmani; Mehdi Parvizimosaed; Behdad Bahrami (SVCC, 2020)

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

Model-checking legal contracts with SymboleoPC. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Daniel Amyot; Luigi Logrippo; John Mylopoulos (MoDELS, 2022)

Symboleo2SC: from legal contract specifications to smart contracts. - Aidin Rasti; Daniel Amyot; Alireza Parvizimosaed; Marco Roveri; Luigi Logrippo; Amal Ahmed Anda; John Mylopoulos (MoDELS, 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)

Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. - Alireza Parvizimosaed; Hamid Azad; Daniel Amyot; John Mylopoulos (PST, 2023)

SymboleoPC: checking properties of legal contracts. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)

Automated generation of smart contract code from legal contract specifications with Symboleo2SC. - Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)