default search action

combined dblp search
author search
venue search
publication search

ask others

Aidin Rasti

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j1]
- 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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c3]
- 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
[c2]
- 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
[c1]
- 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

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.