Adele Veschetti

17 papers B 2C 4Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Probabilistic Choreography Language for PRISM.
CoRR
Marco Carbone, Adele Veschetti
2025 J jnl
A stochastic analysis of the Gasper protocol.
Comput. Commun.
Cosimo Laneve, Adele Veschetti
2025 C conf
Exploring Fairness in Ethereum PoS: The Impact of Protocol Design and MEV.
DLT
Stefano Bistarelli, Ivan Mercanti, Adele Veschetti
2025 B conf
Formal Verification of Legal Contracts: A Translation-Based Approach.
iFM
Reiner Hähnle, Cosimo Laneve, Adele Veschetti
2025 J jnl
Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version).
CoRR
Reiner Hähnle, Cosimo Laneve, Adele Veschetti
2024 B conf
A Formal Modeling Language for Smart Contracts.
SEFM
Adele Veschetti, Richard Bubel, Reiner Hähnle
2024 C conf
A Probabilistic Choreography Language for PRISM.
COORDINATION
Marco Carbone, Adele Veschetti
2024 — conf
A Stochastic Analysis of the Gasper Protocol.
PerCom Workshops
Cosimo Laneve, Sergio Solmonte, Adele Veschetti
2024 C conf
Analyzing the Fairness of Proof of Stake Ethereum.
DLT
Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2024 C conf
SmartML: Enhancing Security and Reliability in Smart Contract Development.
DLT
Adele Veschetti, Richard Bubel, Reiner Hähnle
2024 J jnl
SmartML: Towards a Modeling Language for Smart Contracts.
CoRR
Adele Veschetti, Richard Bubel, Reiner Hähnle
2023 — —
A formal analysis of blockchain consensus.
Adele Veschetti
2023 J jnl
Pacta sunt servanda: Legal contracts in
Sci. Comput. Program.
Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
2023 J jnl
Resilience of Hybrid Casper Under Varying Values of Parameters.
Distributed Ledger Technol. Res. Pract.
Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2023 J jnl
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.
Concurr. Comput. Pract. Exp.
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2020 — conf
A Formal Analysis of the Bitcoin Protocol.
Gabbrielli's Festschrift
Cosimo Laneve, Adele Veschetti
2019 — conf
On the Prediction of Smart Contracts' Behaviours.
From Software Engineering to Formal Methods and Tools, and Back
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti