Cosimo Laneve

Latest research paper

• Cosimo Laneve, Alvise Spano`, Dalila Ressi, Sabina Rossi, Michele Bugliesi: Assessing Code Understanding in LLMs, May 2025 (extended abstract appeared in Forte 2025)
  
  
• Giorgio Delzanno, Cosimo Laneve, Arnaud Segnier, Gianluigi Zavattaro: Decidability Problems for Micro-Stipula, May 2025 (extended abstract appeared in Coordination 2025) 
  
  
• Cosimo Laneve: Reachability Analysis in Micro-Stipula, May 2024
  

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

• Cosimo Laneve, Alessandro Parenti, Giovanni Sartor: Legal Contracts Amending with Stipula, November 2022. The extended version appeared in Coordination 2023 is here (April 2023)

• Silvia Crafa, Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2022. The full paper is here (October 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.

• 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.

Pubblicato il: 25 maggio 2021