Simone Valentini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | A Visual Application Domain Level DSL for Blockchain. | Simone Valentini, Tiziana Margaria |
| 2024 | SAC | Modeling and verification of smart contracts with Abstract State Machines. | Chiara Braghin, Elvinia Riccobene, Simone Valentini |
| 2024 | SECRYPT | An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. | Chiara Braghin, Elvinia Riccobene, Simone Valentini |