Cosimo Laneve
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
15
Active years
1989–2026
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Deductive Verification of Legal Contracts. | Reiner Hhnle, Cosimo Laneve |
| 2025 | Coordination | Decidability Problems for Micro-Stipula. | Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro |
| 2025 | FORTE | Assessing Code Understanding in LLMs. | Cosimo Laneve, Alvise Span, Dalila Ressi, Sabina Rossi, Michele Bugliesi |
| 2025 | IFM | Formal Verification of Legal Contracts: A Translation-Based Approach. | Reiner Hhnle, Cosimo Laneve, Adele Veschetti |
| 2024 | JURIX | Draft Better Contracts. | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
| 2024 | PERCOM | A Stochastic Analysis of the Gasper Protocol. | Cosimo Laneve, Sergio Solmonte, Adele Veschetti |
| 2024 | PPDP | Reachability Analysis in Micro-Stipula. | Cosimo Laneve |
| 2023 | Coordination | Legal Contracts Amending with Stipula. | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
| 2018 | FM | A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. | Cosimo Laneve |
| 2017 | IFM | Analysis of Synchronisations in Stateful Active Objects. | Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2017 | LOPSTR | Deadlock Detection of Java Bytecode. | Cosimo Laneve, Abel Garcia |
| 2016 | PPDP | Actors may synchronize, safely! | Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2015 | PPDP | Static analysis of cloud elasticity. | Abel Garcia, Cosimo Laneve, Michael Lienhardt |
| 2014 | CONCUR | Deadlock Analysis of Unbounded Process Networks. | Elena Giachino, Naoki Kobayashi, Cosimo Laneve |
| 2014 | ISoLA | Towards the Typing of Resource Deployment. | Elena Giachino, Cosimo Laneve |
| 2013 | IFM | Deadlock Analysis of Concurrent Objects: Theory and Practice. | Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong |
| 2013 | IFM | An Algebraic Theory for Web Service Contracts. | Cosimo Laneve, Luca Padovani |
| 2012 | CONCUR | Decidability Problems for Actor Systems. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
| 2011 | FORTE | Analysis of Deadlocks in Object Groups. | Elena Giachino, Cosimo Laneve |
| 2010 | LICS | The Expressive Power of Synchronizations. | Cosimo Laneve, Antonio Vitale |
| 2007 | CONCUR | The | Cosimo Laneve, Luca Padovani |
| 2006 | ESOP | A Basic Contract Language for Web Services. | Samuele Carpineti, Cosimo Laneve |
| 2006 | FOSSACS | Smooth Orchestrators. | Cosimo Laneve, Luca Padovani |
| 2005 | FOSSACS | Foundations of Web Transactions. | Cosimo Laneve, Gianluigi Zavattaro |
| 2003 | CONCUR | Linear Forwarders. | Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 2003 | ESOP | Core Formal Molecular Biology. | Vincent Danos, Cosimo Laneve |
| 2002 | CONCUR | Orchestrating Transactions in Join Calculus. | Roberto Bruni, Cosimo Laneve, Ugo Montanari |
| 2002 | CONCUR | The Fusion Machine. | Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 1999 | ICALP | Solos in Concert. | Cosimo Laneve, Bjrn Victor |
| 1997 | CONCUR | Implicit Typing la ML for the Join-Calculus. | Cdric Fournet, Cosimo Laneve, Luc Maranget, Didier Rmy |
| 1997 | ICALP | On the Dynamics of Sharing Graphs. | Andrea Asperti, Cosimo Laneve |
| 1994 | LICS | Paths in the lambda-calculus | Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
| 1992 | MFCS | Mobility in the CC-Paradigm. | Cosimo Laneve, Ugo Montanari |
| 1991 | MFCS | The Limit of Split_n-Bisimulations for CCS Agents. | Roberto Gorrieri, Cosimo Laneve |
| 1989 | FORTE | An Expressive Temporal Logic for Basic LOTOS. | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |