LANEVE, COSIMO
LANEVE, COSIMO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Integration of statutory norms in computable contracts
2026 Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni
The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts
2026 Laneve, Cosimo
A stochastic analysis of the Gasper protocol
2025 Laneve, C.; Veschetti, A.
Assessing Code Understanding in LLMs
2025 Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M.
Decidability Problems for Micro-Stipula
2025 Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G.
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.
Draft Better Contracts
2024 Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni
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
Programming contract amending
2023 Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni
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
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Integration of statutory norms in computable contracts | Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni | 2026-01-01 | COMPUTER LAW & SECURITY REVIEW | - | 1.01 Articolo in rivista | 1-s2.0-S2212473X25000951-main.pdf |
| The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts | Laneve, Cosimo | 2026-01-01 | - | - | 4.01 Contributo in Atti di convegno | perAlessandro.pdf |
| A stochastic analysis of the Gasper protocol | Laneve, C.; Veschetti, A. | 2025-01-01 | COMPUTER COMMUNICATIONS | - | 1.01 Articolo in rivista | CompCom2025.pdf |
| Assessing Code Understanding in LLMs | Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M. | 2025-01-01 | - | SPRINGER INTERNATIONAL PUBLISHING AG | 4.01 Contributo in Atti di convegno | Paper_Journal_CSV_STTT_2025_Accepted.pdf |
| Decidability Problems for Micro-Stipula | Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G. | 2025-01-01 | - | SPRINGER INTERNATIONAL PUBLISHING AG | 4.01 Contributo in Atti di convegno | TC_MicroStipula.pdf |
| 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 | main.pdf |
| 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 | - |
| Draft Better Contracts | Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni | 2024-01-01 | - | IOS Press BV | 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 |
| Programming contract amending | Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| 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...ro, Gianluigi | 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 |