Login / Signup
Adele Veschetti
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Communication Delays
Formal Analysis
Credit Card
Multiscale
Top Venues
Gabbrielli's Festschrift
Sci. Comput. Program.
Concurr. Comput. Pract. Exp.
Distributed Ledger Technol. Res. Pract.
</>
Publications
</>
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)