We stand with Ukraine  

Aidin Rasti

According to our database1, Aidin Rasti authored at least 4 papers between 2022 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Engineering Smart Contracts with Symboleo: A Progress Report.
[BibTeX]
[DOI]
Daniel Amyot
,
Luigi Logrippo
,
John Mylopoulos
,
Marco Roveri
,
Amal Ahmed Anda
,
Alireza Parvizimosaed
,
Sofana Alfuhaid
,
Sepehr Sharifi
,
Aidin Rasti
,
Regan Meloche
,
Daniel Sousa-Diaz
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

2022
Specification and analysis of legal contracts with Symboleo.
[BibTeX]
[DOI]
Alireza Parvizimosaed
,
Sepehr Sharifi
,
Daniel Amyot
,
Luigi Logrippo
,
Marco Roveri
,
Aidin Rasti
,
Ali Roudak
,
John Mylopoulos
Softw. Syst. Model., 2022

Symboleo2SC: from legal contract specifications to smart contracts.
[BibTeX]
[DOI]
Aidin Rasti
,
Daniel Amyot
,
Alireza Parvizimosaed
,
Marco Roveri
,
Luigi Logrippo
,
Amal Ahmed Anda
,
John Mylopoulos
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Model-checking legal contracts with SymboleoPC.
[BibTeX]
[DOI]
Alireza Parvizimosaed
,
Marco Roveri
,
Aidin Rasti
,
Daniel Amyot
,
Luigi Logrippo
,
John Mylopoulos
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022


  Loading...