Sofana Alfuhaid

According to our database, Sofana Alfuhaid authored at least 6 papers between 2023 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

Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications.

Sofana Alfuhaid

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

SymboleoAC: An Access Control Model for Legal Contracts.

Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos

Proceedings of the Practice of Enterprise Modeling, 2024

2023

A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges.

Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos

IEEE Access, 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