Aidin Rasti

According to our database, Aidin Rasti authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automated generation of smart contract code from legal contract specifications with Symboleo2SC.

Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos

Softw. Syst. Model., August, 2025

SymboleoPC: checking properties of legal contracts.

Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Softw. Syst. Model., August, 2025

2024

Labeling questions inside issue trackers.

Aidin Rasti

CoRR, 2024

2023

Engineering Smart Contracts with Symboleo: A Progress Report.

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.

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.

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.

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