VLDB 2026 Research / reviewers in the wild / expert
Sofana Alfuhaid
dblp:351/5253
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0006-9087-3041ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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. | 5 |
| 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. | 3 |