Login / Signup
Aidin Rasti
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Engineering Systems
Subtractive Clustering
Legal Texts
Adverse Selection
Top Venues
MoDELS
CASCON
Softw. Syst. Model.
</>
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
,
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)