VLDB 2026 Research / reviewers in the wild / expert
Simone Valentini
dblp:375/7205
· DBLP profile ↗
5ranked-venue papers
3as first author
5since 2021 · last 2026
0009-0005-5956-3945ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 3 first-author · 4 since 2021Theory of computation · 3 · 2 first-author · 3 since 2021Security and privacy · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | A Visual Application Domain Level DSL for Blockchain
Simone Valentini, Tiziana Margaria |
COMPSAC | 1 |
| 2026 | Formal Verification of Decentralized Autonomous Organizations
Simone Valentini, Sowelu Avanzo, Elvinia Riccobene |
ABZ | 1 |
| 2025 | Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts
Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene, Simone Valentini |
ABZ | 4 |
| 2024 | An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
Chiara Braghin, Elvinia Riccobene, Simone Valentini |
SECRYPT | 3 |
| 2024 | A Modeling and Verification Framework for Ethereum Smart Contracts
Simone Valentini, Chiara Braghin, Elvinia Riccobene |
ABZ | 1 |