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 [Scientific article]Open Access
Laneve, Cosimo, The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts, in: Journeys Between Formal Methods and the Railway Industry, 2026, 16470, pp. 160 - 177 (atti di: Journeys Between Formal Methods and the Railway Industry, PISA, 28/11/2025) [Contribution to conference proceedings]
Laneve, C.; Veschetti, A., A stochastic analysis of the Gasper protocol, «COMPUTER COMMUNICATIONS», 2025, 236, Article number: 108123 , pp. 1 - 13 [Scientific article]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, 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) [Contribution to conference proceedings]
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, 2025, 15731 LNCS, pp. 133 - 152 (atti di: International Conference on Coordination Models and Languages 2025, Lille, France, June 17–19, 2025) [Contribution to conference proceedings]
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 [Scientific article]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) [Contribution to conference proceedings]
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), 2024, 3791, pp. 1 - 8 (atti di: Sixth Distributed Ledger Technology Workshop (DLT 2024), Torino, 14-15 Maggio 2024) [Contribution to conference proceedings]
Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Draft Better Contracts, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, 2024, 395, pp. 95 - 106 (atti di: 37th Annual Conference on Legal Knowledge and Information Systems, JURIX 2024, Brno, 2024) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Legal Contracts Amending with Stipula, in: Coordination Models and Languages. COORDINATION 2023., Cham, Springer, 2023, 13908, pp. 253 - 270 (atti di: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, Lisbona, 19-23 Giugno 2023) [Contribution to conference proceedings]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 [Scientific article]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 [Scientific article]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 [Scientific article]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, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2023, 392, pp. 40 - 52 (atti di: TiCSA@ETAPS 2023, Paris, 23/04/2023) [Contribution to conference proceedings]Open Access
