Model-checking legal contracts with SymboleoPC. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Daniel Amyot; Luigi Logrippo; John Mylopoulos (MoDELS, 2022)

Symboleo2SC: from legal contract specifications to smart contracts. - Aidin Rasti; Daniel Amyot; Alireza Parvizimosaed; Marco Roveri; Luigi Logrippo; Amal Ahmed Anda; John Mylopoulos (MoDELS, 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)

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 (CASCON, 2023)

Labeling questions inside issue trackers. - Aidin Rasti (CoRR, 2024)

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., 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., 2025)