On the Prediction of Smart Contracts' Behaviours. - Cosimo Laneve; Claudio Sacerdoti Coen; Adele Veschetti (From Software Engineering to Formal Methods and Tools, and Back, 2019)

A Formal Analysis of the Bitcoin Protocol. - Cosimo Laneve; Adele Veschetti (Gabbrielli's Festschrift, 2020)

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. - Stefano Bistarelli; Rocco De Nicola; Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Concurr. Comput. Pract. Exp., 2023)

Resilience of Hybrid Casper Under Varying Values of Parameters. - Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Distributed Ledger Technol. Res. Pract., 2023)

Pacta sunt servanda: Legal contracts in Stipula. - Silvia Crafa; Cosimo Laneve; Giovanni Sartor; Adele Veschetti (Sci. Comput. Program., 2023)

A formal analysis of blockchain consensus. - Adele Veschetti (2023)

A Probabilistic Choreography Language for PRISM. - Marco Carbone; Adele Veschetti (COORDINATION, 2024)

Analyzing the Fairness of Proof of Stake Ethereum. - Stefano Bistarelli; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (DLT, 2024)

SmartML: Enhancing Security and Reliability in Smart Contract Development. - Adele Veschetti; Richard Bubel; Reiner Hähnle (DLT, 2024)

A Stochastic Analysis of the Gasper Protocol. - Cosimo Laneve; Sergio Solmonte; Adele Veschetti (PerCom Workshops, 2024)

A Formal Modeling Language for Smart Contracts. - Adele Veschetti; Richard Bubel; Reiner Hähnle (SEFM, 2024)

SmartML: Towards a Modeling Language for Smart Contracts. - Adele Veschetti; Richard Bubel; Reiner Hähnle (CoRR, 2024)

A stochastic analysis of the Gasper protocol. - Cosimo Laneve; Adele Veschetti (Comput. Commun., 2025)