Alireza Parvizimosaed

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 11

Top Topics

Specification Language

Subtractive Clustering

Top Venues

Next-Gen Digital Services

Publications

Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report. CASCON (2023)
Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos
Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. PST (2023)
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Model-checking legal contracts with SymboleoPC. MoDELS (2022)
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Symboleo2SC: from legal contract specifications to smart contracts. MoDELS (2022)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21 (6) (2022)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Requirements Models for Services. Next-Gen Digital Services (2021)
Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Symboleo: Towards a Specification Language for Legal Contracts. RE (2020)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER (2020)
Mostafa Yalpanian, Naser Mirzaei, Alireza Parvizimosaed, Farid Farmani, Mehdi Parvizimosaed, Behdad Bahrami
BIOT: A Blockchain-Based IoT Platform for Distributed Energy Resource Management. SVCC (2020)
Alireza Parvizimosaed
Towards the Specification and Verification of Legal Contracts. RE (2020)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Dependence Relationships in Requirements Engineering. iStar (2020)