Alireza Parvizimosaed

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luigi Logrippo

> Home > Persons > Alireza Parvizimosaed

Publications

2025
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ParvizimosaedRRAAALM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ParvizimosaedRRAAALM25
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
SymboleoPC: checking properties of legal contracts. Softw. Syst. Model. 24(4): 1093-1126 (2025)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RastiAAPARLM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RastiAAPARLM25
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos:
Automated generation of smart contract code from legal contract specifications with Symboleo2SC. Softw. Syst. Model. 24(4): 1127-1156 (2025)
2023
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/AmyotLMRAPASRMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/AmyotLMRAPASRMS23
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: 235-237
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ParvizimosaedSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ParvizimosaedSA22
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): 2395-2427 (2022)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ParvizimosaedRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ParvizimosaedRR22
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Model-checking legal contracts with SymboleoPC. MoDELS 2022: 278-288
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/models/RastiAPRLAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/RastiAPRLAM22
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: 300-310
2021
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MylopoulosALPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MylopoulosALPS21
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi:
Social Requirements Models for Services. Next-Gen Digital Services 2021: 100-108
2020
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/er/ParvizimosaedSA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/ParvizimosaedSA20
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER 2020: 271-285
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/istar/MylopoulosALPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/istar/MylopoulosALPS20
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi:
Social Dependence Relationships in Requirements Engineering. iStar 2020: 55-60
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SharifiPALM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SharifiPALM20
Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos:
Symboleo: Towards a Specification Language for Legal Contracts. RE 2020: 364-369

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.