Adele Veschetti

According to our database, Adele Veschetti authored at least 14 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version).

Reiner Hähnle, Cosimo Laneve, Adele Veschetti

CoRR, September, 2025

A stochastic analysis of the Gasper protocol.

Cosimo Laneve, Adele Veschetti

Comput. Commun., 2025

2024

SmartML: Towards a Modeling Language for Smart Contracts.

Adele Veschetti, Richard Bubel, Reiner Hähnle

CoRR, 2024

A Formal Modeling Language for Smart Contracts.

Adele Veschetti, Richard Bubel, Reiner Hähnle

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

A Stochastic Analysis of the Gasper Protocol.

Cosimo Laneve, Sergio Solmonte, Adele Veschetti

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024

SmartML: Enhancing Security and Reliability in Smart Contract Development.

Adele Veschetti, Richard Bubel, Reiner Hähnle

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

Analyzing the Fairness of Proof of Stake Ethereum.

Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

A Probabilistic Choreography Language for PRISM.

Marco Carbone, Adele Veschetti

Proceedings of the Coordination Models and Languages, 2024

2023

A formal analysis of blockchain consensus.

Adele Veschetti

PhD thesis, 2023

Pacta sunt servanda: Legal contracts in <i>Stipula</i>.

Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti

Sci. Comput. Program., 2023

Resilience of Hybrid Casper Under Varying Values of Parameters.

Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti

Distributed Ledger Technol. Res. Pract., 2023

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

2020

A Formal Analysis of the Bitcoin Protocol.

Cosimo Laneve, Adele Veschetti

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

On the Prediction of Smart Contracts' Behaviours.

Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019