Adele Veschetti

17 papers B 2C 4Journal 7Unranked 3

Year	Rank	Type	Title / 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