Cosimo Laneve

LATEST RESEARCH PAPERS

About STIPULA

• Cosimo Laneve: The Stipula Platform, a workbench for programming, analysing and executing legal contracts, September 2025.

• Richard Hahnle, Cosimo Laneve, Adele Veschetti: Formal Verification of Legal Contracts: A Translation-based Approach, September 2025.
  
  
•  Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro: Clause-Reachability is Undecidable in Legal Contracts, July 2025.

• Cosimo Laneve: Reachability analysis in Micro-Stipula, March 2024.

• Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2023.
  
  
• Cosimo Laneve, Alessandro Parenti, Giovanni Sartor: Legal Contracts Amending with Stipula, November 2022.

• Silvia Crafa, Cosimo Laneve: Programming legal contracts: A beginners guide to Stipula, November 2021.
  

• Silvia Crafa, Cosimo Laneve, Giovanni Sartor: Pacta sunt servanda: smart legal contracts in Stipula, May 2021

About Benchmarks of LLM

Cosimo Laneve, Alvise Spano`, Dalila Ressi, Sabina Rossi, Michele Bugliesi: Understanding code semantics: a benchmark study of LLMs, July 2025

About Blockchains and Solidity

• Cosimo Laneve, Adele Veschetti: A stochastic analysis of the Gasper protocol, January 2025.
  
  
• Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti: Resilience of Hybrid Casper under varying values of parameters, 2023.
  
  
• Cosimo Laneve, Claudio Sacerdoti Coen: Ether Analysis of Solidity Functions, May 2020.

• Stefano Bistarelli,Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti: Stochastic Modelling and Analysis of Bitcoin, May 2020.

• Cosimo Laneve, Adele Veschetti: A Formal Analysis of the Bitcoin Protocol, July 2020.

Serverless Computing

•  Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro: Serverless Scheduling Policies based on Cost Analysis, July 2024.