VESCHETTI, ADELE
VESCHETTI, ADELE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.019 secondi).
A Stochastic Analysis of the Gasper Protocol
2024 Laneve C.; Solmonte S.; Veschetti A.
Pacta sunt servanda: Legal contracts in Stipula
2023 Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni; Veschetti, Adele
Resilience of Hybrid Casper under varying values of parameters
2023 Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays
2023 Bistarelli S.; De Nicola R.; Galletta L.; Laneve C.; Mercanti I.; Veschetti A.
The Stipula Prototype
2022 Silvia Crafa; Cosimo Laneve; Adele Veschetti
A Formal Analysis of the Bitcoin Protocol
2020 Adele Veschetti, Cosimo Laneve
PRISM+
2020 Adele Veschetti, Cosimo Laneve
On the Prediction of Smart Contracts’ Behaviours
2019 Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Stochastic Analysis of the Gasper Protocol | Laneve C.; Solmonte S.; Veschetti A. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Pacta sunt servanda: Legal contracts in Stipula | Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni; Veschetti, Adele | 2023-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | Stipula.pdf |
| Resilience of Hybrid Casper under varying values of parameters | Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele | 2023-01-01 | DISTRIBUTED LEDGER TECHNOLOGIES | - | 1.01 Articolo in rivista | DLT.pdf |
| Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays | Bistarelli S.; De Nicola R.; Galletta L.; Laneve C.; Mercanti I.; Veschetti A. | 2023-01-01 | CONCURRENCY AND COMPUTATION | - | 1.01 Articolo in rivista | Blockchain_PRISM_PEPA.pdf |
| The Stipula Prototype | Silvia Crafa; Cosimo Laneve; Adele Veschetti | 2022-01-01 | - | - | 7.04 Software | - |
| A Formal Analysis of the Bitcoin Protocol |
Adele Veschetti, Cosimo Laneve |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum fur Informatik | 4.01 Contributo in Atti di convegno | laneve-veschetti.pdf |
| PRISM+ |
Adele Veschetti, Cosimo Laneve |
2020-01-01 | - | - | 7.04 Software | - |
| On the Prediction of Smart Contracts’ Behaviours | Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | accepted_manuscript.pdf |