Adele Veschetti

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Communication Delays

Formal Analysis

Educational Modeling Languages

Top Venues

Gabbrielli's Festschrift

Sci. Comput. Program.

PerCom Workshops

Publications

Cosimo Laneve, Sergio Solmonte, Adele Veschetti
A Stochastic Analysis of the Gasper Protocol. PerCom Workshops (2024)
Marco Carbone, Adele Veschetti
A Probabilistic Choreography Language for PRISM. COORDINATION (2024)
Adele Veschetti, Richard Bubel, Reiner Hähnle
SmartML: Towards a Modeling Language for Smart Contracts. CoRR (2024)
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
. Sci. Comput. Program. 225 (2023)
Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Resilience of Hybrid Casper Under Varying Values of Parameters. Distributed Ledger Technol. Res. Pract. 2 (1) (2023)
Cosimo Laneve, Adele Veschetti
A Formal Analysis of the Bitcoin Protocol. Gabbrielli's Festschrift (2020)
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
On the Prediction of Smart Contracts' Behaviours. From Software Engineering to Formal Methods and Tools, and Back (2019)