Adele Veschetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | Formal Verification of Legal Contracts: A Translation-Based Approach. | Reiner Hhnle, Cosimo Laneve, Adele Veschetti |
| 2024 | Coordination | A Probabilistic Choreography Language for PRISM. | Marco Carbone, Adele Veschetti |
| 2024 | PERCOM | A Stochastic Analysis of the Gasper Protocol. | Cosimo Laneve, Sergio Solmonte, Adele Veschetti |
| 2024 | SEFM | A Formal Modeling Language for Smart Contracts. | Adele Veschetti, Richard Bubel, Reiner Hhnle |