Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Integration of statutory norms in computable contracts, «COMPUTER LAW & SECURITY REVIEW», 2026, 60, Article number: 106223, pp. 1 - 16 [articolo]Open Access
Laneve, Cosimo, The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts, in: Journeys Between Formal Methods and the Railway Industry, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16470, pp. 160 - 177 (atti di: Journeys Between Formal Methods and the Railway Industry, PISA, 28/11/2025) [Contributo in Atti di convegno]
Laneve, C.; Veschetti, A., A stochastic analysis of the Gasper protocol, «COMPUTER COMMUNICATIONS», 2025, 236, Article number: 108123, pp. 1 - 13 [articolo]Open Access
Laneve, C.; Spano, A.; Ressi, D.; Rossi, S.; Bugliesi, M., Assessing Code Understanding in LLMs, in: Formal Techniques for Distributed Objects, Components, and Systems. 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings, GEWERBESTRASSE, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15732, pp. 202 - 210 (atti di: 45th International Conference on Formal Techniques for Distributed Objects Components and Systems. FORTE 2025, Lille, 16-20 Giugno 2025) [Contributo in Atti di convegno]
Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G., Decidability Problems for Micro-Stipula, in: C. Di Giusto, A. Ravara, Coordination Models and Languages (COORDINATION 2025), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15731 LNCS, pp. 133 - 152 (atti di: International Conference on Coordination Models and Languages 2025, Lille, France, June 17–19, 2025) [Contributo in Atti di convegno]
De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G., Leveraging static analysis for cost-aware serverless scheduling policies, «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», 2025, 26, Article number: 690660, pp. 781 - 796 [articolo]Open Access
Laneve C.; Solmonte S.; Veschetti A., A Stochastic Analysis of the Gasper Protocol, in: IEEE International Conference on Pervasive Computing and Communications, PerCom 2024, 2024, pp. 518 - 523 (atti di: IEEE International Conference on Pervasive Computing and Communications, PerCom 2024, Biarritz, Francia, March 11-15, 2024) [Contributo in Atti di convegno]
Bistarelli, S.; Laneve, C.; Mercanti, I.; Veschetti, A., Analyzing the Fairness of Proof of Stake Ethereum, in: Massimo Bartoletti and Claudio Schifanella and Andrea Vitaletti, Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), «CEUR WORKSHOP PROCEEDINGS», 2024, 3791, pp. 1 - 8 (atti di: Sixth Distributed Ledger Technology Workshop (DLT 2024), Torino, 14-15 Maggio 2024) [Contributo in Atti di convegno]
Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Draft Better Contracts, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2024, 395, pp. 95 - 106 (atti di: 37th Annual Conference on Legal Knowledge and Information Systems, JURIX 2024, Brno, 2024) [Contributo in Atti di convegno]
Laneve, C., Reachability Analysis in Micro-Stipula, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024), 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, 2024, pp. 1 - 12 (atti di: 26th International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2024, Milano, 9-11/09/2024) [Contributo in Atti di convegno]
Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Legal Contracts Amending with Stipula, in: Coordination Models and Languages. COORDINATION 2023., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2023, 13908, pp. 253 - 270 (atti di: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, Lisbona, 19-23 Giugno 2023) [Contributo in Atti di convegno]Open Access
Laneve C., Liquidity analysis in resource-aware programming, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2023, 135, Article number: 100889, pp. 1 - 18 [articolo]Open Access
Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni; Veschetti, Adele, Pacta sunt servanda: Legal contracts in Stipula, «SCIENCE OF COMPUTER PROGRAMMING», 2023, 225, Article number: 102911, pp. 1 - 21 [articolo]Open Access
Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele, Resilience of Hybrid Casper under varying values of parameters, «DISTRIBUTED LEDGER TECHNOLOGIES», 2023, 2, Article number: 5, pp. 1 - 25 [articolo]Open Access
De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Serverless Scheduling Policies based on Cost Analysis, in: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023, 392, pp. 40 - 52 (atti di: TiCSA@ETAPS 2023, Paris, 23/04/2023) [Contributo in Atti di convegno]Open Access
