| Pacta sunt servanda: legal contracts in Stipula S Crafa, C Laneve, G Sartor, A Veschetti Science of Computer Programming 225, 102911, 2023 | 28 | 2023 |
| On the prediction of smart contracts’ behaviours C Laneve, CS Coen, A Veschetti From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 13 | 2019 |
| Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays S Bistarelli, R De Nicola, L Galletta, C Laneve, I Mercanti, A Veschetti Concurrency and Computation: Practice and Experience 35 (16), e6749, 2023 | 11 | 2023 |
| Resilience of Hybrid Casper under varying values of parameters L Galletta, C Laneve, I Mercanti, A Veschetti Distributed Ledger Technologies: Research and Practice 2 (1), 1-25, 2023 | 5 | 2023 |
| A Formal Analysis of the Bitcoin Protocol C Laneve, A Veschetti Recent Developments in the Design and Implementation of Programming …, 2020 | 3 | 2020 |
| A Stochastic Analysis of the Gasper Protocol C Laneve, S Solmonte, A Veschetti 2024 IEEE International Conference on Pervasive Computing and Communications …, 2024 | 1 | 2024 |
| A Probabilistic Choreography Language for PRISM M Carbone, A Veschetti International Conference on Coordination Models and Languages, 20-37, 2024 | | 2024 |
| SmartML: Enhancing Security and Reliability in Smart Contract Development A Veschetti, R Bubel, R Hähnle | | 2022 |
| Analyzing the Fairness of Proof of Stake Ethereum S Bistarelli, C Laneve, I Mercanti, A Veschetti | | 2021 |
