LANEVE, COSIMO
LANEVE, COSIMO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Leveraging static analysis for cost-aware serverless scheduling policies
2025 De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G.
A Stochastic Analysis of the Gasper Protocol
2024 Laneve C.; Solmonte S.; Veschetti A.
Analyzing the Fairness of Proof of Stake Ethereum
2024 Bistarelli, S.; Laneve, C.; Mercanti, I.; Veschetti, A.
Reachability Analysis in Micro-Stipula
2024 Laneve, C.
Legal Contracts Amending with Stipula
2023 Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni
Liquidity analysis in resource-aware programming
2023 Laneve C.
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
Serverless Scheduling Policies based on Cost Analysis
2023 De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Le forme del falso negli smart contract
2022 Silvia Crafa, Cosimo Laneve, Giovanni Sartor
Liquidity Analysis in Resource-Aware Programming
2022 Silvia Crafa; Cosimo Laneve
Programming Legal Contracts: – A Beginners Guide to Stipula –
2022 Crafa S.; Laneve C.
Stipula: a domain specific language for legal contracts
2022 Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni
The Stipula Prototype
2022 Silvia Crafa; Cosimo Laneve; Adele Veschetti
Analysis of smart contracts balances
2021 Cosimo Laneve; Claudio Sacerdoti Coen
A Formal Analysis of the Bitcoin Protocol
2020 Adele Veschetti, Cosimo Laneve
PRISM+
2020 Adele Veschetti, Cosimo Laneve
A lightweight deadlock analysis for programs with threads and reentrant locks
2019 Laneve C.
Analysis of SLA compliance in the cloud: An automated, model-based approach
2019 de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G.
Deadlock Analysis of Wait-Notify Coordination
2019 Laneve, C.; Padovani, L.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Leveraging static analysis for cost-aware serverless scheduling policies | De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G. | 2025-01-01 | INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | - | 1.01 Articolo in rivista | - |
| A Stochastic Analysis of the Gasper Protocol | Laneve C.; Solmonte S.; Veschetti A. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Analyzing the Fairness of Proof of Stake Ethereum | Bistarelli, S.; Laneve, C.; Mercanti, I.; Veschetti, A. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Reachability Analysis in Micro-Stipula | Laneve, C. | 2024-01-01 | - | ASSOC COMPUTING MACHINERY | 4.01 Contributo in Atti di convegno | - |
| Legal Contracts Amending with Stipula | Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni | 2023-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | HO_Stipula_llncs.pdf |
| Liquidity analysis in resource-aware programming | Laneve C. | 2023-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | JLAMP-2023.pdf |
| 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 |
| Serverless Scheduling Policies based on Cost Analysis | De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavatta... espandi | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | ticsa2023.pdf |
| Le forme del falso negli smart contract | Silvia Crafa, Cosimo Laneve, Giovanni Sartor | 2022-01-01 | - | Bologna University Press | 2.01 Capitolo / saggio in libro | Le forme del falso negli smart contract.pdf |
| Liquidity Analysis in Resource-Aware Programming |
Silvia Crafa; Cosimo Laneve |
2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | Stipula_Liquidity.pdf |
| Programming Legal Contracts: – A Beginners Guide to Stipula – | Crafa S.; Laneve C. | 2022-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | Festschrift.pdf |
| Stipula: a domain specific language for legal contracts | Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | ProLaLa22.pdf |
| The Stipula Prototype | Silvia Crafa; Cosimo Laneve; Adele Veschetti | 2022-01-01 | - | - | 7.04 Software | - |
| Analysis of smart contracts balances | Cosimo Laneve; Claudio Sacerdoti Coen | 2021-01-01 | BLOCKCHAIN: RESEARCH AND APPLICATIONS | - | 1.01 Articolo in rivista | ana.pdf |
| 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 | - |
| A lightweight deadlock analysis for programs with threads and reentrant locks | Laneve C. | 2019-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Analysis of SLA compliance in the cloud: An automated, model-based approach | de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. | 2019-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | 1908.10040v1.pdf |
| Deadlock Analysis of Wait-Notify Coordination | Laneve, C.; Padovani, L. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | LNCS11760-2019.pdf |