Cosimo Laneve

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 26

Top Venues

CoRR

Sci. Comput. Program.

FACS

PPDP

Publications

Cosimo Laneve, Sergio Solmonte, Adele Veschetti
A Stochastic Analysis of the Gasper Protocol. PerCom Workshops (2024)
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Cosimo Laneve
Liquidity analysis in resource-aware programming. J. Log. Algebraic Methods Program. 135 (2023)
Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti
. Sci. Comput. Program. 225 (2023)
Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Resilience of Hybrid Casper Under Varying Values of Parameters. Distributed Ledger Technol. Res. Pract. 2 (1) (2023)
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS (2023)
Cosimo Laneve, Alessandro Parenti, Giovanni Sartor
Legal Contracts Amending with [inline-graphic not available: see fulltext]. COORDINATION (2023)
Cosimo Laneve, Alessandro Parenti, Giovanni Sartor
Programming Contract Amending. JSAI-isAI Workshops (2023)
Silvia Crafa, Cosimo Laneve
Programming Legal Contracts - A Beginners Guide to Stipula. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Silvia Crafa, Cosimo Laneve
Liquidity Analysis in Resource-Aware Programming. FACS (2022)
Silvia Crafa, Cosimo Laneve, Giovanni Sartor
Pacta sunt servanda: legal contracts in Stipula. CoRR (2021)
Cosimo Laneve, Adele Veschetti
A Formal Analysis of the Bitcoin Protocol. Gabbrielli's Festschrift (2020)
Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez
Time analysis of actor programs. J. Log. Algebraic Methods Program. 105 (2019)
Cosimo Laneve, Luca Padovani
Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems (2019)
Cosimo Laneve
A lightweight deadlock analysis for programs with threads and reentrant locks. Sci. Comput. Program. 181 (2019)
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
On the Prediction of Smart Contracts' Behaviours. From Software Engineering to Formal Methods and Tools, and Back (2019)
Cosimo Laneve
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. FM (2018)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Abel Garcia, Cosimo Laneve, Michael Lienhardt
Static analysis of cloud elasticity. Sci. Comput. Program. 147 (2017)
Abel Garcia, Cosimo Laneve
Deadlock detection of Java Bytecode. CoRR (2017)
Naoki Kobayashi, Cosimo Laneve
Deadlock analysis of unbounded process networks. Inf. Comput. 252 (2017)
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Analysis of Synchronisations in Stateful Active Objects. IFM (2017)
Cosimo Laneve, Abel Garcia
Deadlock Detection of Java Bytecode. LOPSTR (2017)
Elena Giachino, Cosimo Laneve, Michael Lienhardt
A framework for deadlock detection in core ABS. Softw. Syst. Model. 15 (4) (2016)
Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods (2016)
Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Actors may synchronize, safely! PPDP (2016)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS (2015)
Elena Giachino, Cosimo Laneve, Michael Lienhardt
A framework for deadlock detection in core ABS. CoRR (2015)
Cosimo Laneve, Luca Padovani
An algebraic theory for web service contracts. Formal Aspects Comput. 27 (4) (2015)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time complexity of concurrent programs. CoRR (2015)
Abel Garcia, Cosimo Laneve, Michael Lienhardt
Static analysis of cloud elasticity. PPDP (2015)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10 (4) (2014)
Elena Giachino, Cosimo Laneve
Towards the Typing of Resource Deployment. ISoLA (2) (2014)
Elena Giachino, Naoki Kobayashi, Cosimo Laneve
Deadlock Analysis of Unbounded Process Networks. CONCUR (2014)
Elena Giachino, Cosimo Laneve
Deadlock Detection in Linear Recursive Programs. SFM (2014)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
Engineering virtualized services. NordiCloud (2013)
Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM (2013)
Elena Giachino, Cosimo Laneve
Deadlock detection in linear recursive programs. CoRR (2013)
Cosimo Laneve, Luca Padovani
An Algebraic Theory for Web Service Contracts. IFM (2013)
Elena Giachino, Cosimo Laneve
A Beginner's Guide to the DeadLock Analysis Model. TGC (2012)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. CONCUR (2012)
Luca Cardelli, Cosimo Laneve
Reversibility in Massive Concurrent Systems. Sci. Ann. Comput. Sci. 21 (2) (2011)
Luca Cardelli, Cosimo Laneve
Reversibility in Massive Concurrent Systems CoRR (2011)
Luca Cardelli, Cosimo Laneve
Reversible structures. CMSB (2011)
Elena Giachino, Cosimo Laneve
Analysis of Deadlocks in Object Groups. FMOODS/FORTE (2011)
Cosimo Laneve, Tudor A. Lascu, Vania Sordoni
The Interval Analysis of Multilinear Expressions. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Cosimo Laneve, Antonio Vitale
The Expressive Power of Synchronizations. LICS (2010)
Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB (2009)
Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
From Biochemistry to Stochastic Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Samuele Carpineti, Cosimo Laneve, Luca Padovani
PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74 (10) (2009)
Cosimo Laneve, Fabien Tarissan
A simple calculus for proteins and cells. Theor. Comput. Sci. 404 (1-2) (2008)
Cosimo Laneve, Luca Padovani
The Pairing of Contracts and Session Types. Concurrency, Graphs and Models (2008)
Cosimo Laneve, Antonio Vitale
Expressivity in the kappa Family. MFPS (2008)
Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408 (1) (2008)
Philippa Gardner, Cosimo Laneve, Lucian Wischik
Linear forwarders. Inf. Comput. 205 (10) (2007)
Cosimo Laneve, Fabien Tarissan
A Simple Calculus for Proteins and Cells. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Vincent Danos, Cosimo Laneve
Preface. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Cosimo Laneve, Luca Padovani
Preorder Revisited. CONCUR (2007)
Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB (2007)
Samuele Carpineti, Cosimo Laneve
A Basic Contract Language for Web Services. ESOP (2006)
Cosimo Laneve, Luca Padovani
Smooth Orchestrators. FoSSaCS (2006)
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
A Formal Account of Contracts for Web Services. WS-FM (2006)
Samuele Carpineti, Cosimo Laneve
A Rude Contract Language for Web Services. Electron. Notes Theor. Comput. Sci. 162 (2006)
Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD (2005)
Cosimo Laneve, Gianluigi Zavattaro
web-pi at Work. TGC (2005)
Cosimo Laneve, Gianluigi Zavattaro
Foundations of Web Transactions. FoSSaCS (2005)
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith
PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM (2005)
Vincent Danos, Cosimo Laneve
Formal molecular biology. Theor. Comput. Sci. 325 (1) (2004)
Cosimo Laneve
A type system for JVM threads. Theor. Comput. Sci. 290 (1) (2003)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
Inheritance in the join calculus. J. Log. Algebraic Methods Program. 57 (1-2) (2003)
Vincent Danos, Cosimo Laneve
Graphs for Core Molecular Biology. CMSB (2003)
Philippa Gardner, Cosimo Laneve, Lucian Wischik
Linear Forwarders. CONCUR (2003)
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
A Calculus for Long-Running Transactions. FMOODS (2003)
Vincent Danos, Cosimo Laneve
Core Formal Molecular Biology. ESOP (2003)
Cosimo Laneve, Björn Victor
Solos In Concert. Math. Struct. Comput. Sci. 13 (5) (2003)
Philippa Gardner, Cosimo Laneve, Lucian Wischik
The Fusion Machine. CONCUR (2002)
Roberto Bruni, Cosimo Laneve, Ugo Montanari
Orchestrating Transactions in Join Calculus. CONCUR (2002)
Cosimo Laneve, Joachim Parrow, Björn Victor
Solo Diagrams. TACS (2001)
Cédric Fournet, Cosimo Laneve
Bisimulations in the join-calculus. Theor. Comput. Sci. 266 (1-2) (2001)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
Inheritance in the Join Calculus. FSTTCS (2000)
Gérard Boudol, Cosimo Laneve
lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction (2000)
Cosimo Laneve, Björn Victor
Solos in Concert. ICALP (1999)
Cosimo Laneve
Calculi for Concurrent Objects (Tutorial). FMOODS (1999)
Michele Boreale, Cédric Fournet, Cosimo Laneve
Bisimulations in the join-calculus. PROCOMET (1998)
Andrea Asperti, Cosimo Laneve
On the Dynamics of Sharing Graphs. ICALP (1997)
Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
Implicit Typing à la ML for the Join-Calculus. CONCUR (1997)
Andrea Asperti, Cosimo Laneve
Interaction Systems II: The Practice of Optimal Reductions. Theor. Comput. Sci. 159 (2) (1996)
Cosimo Laneve, Ugo Montanari
Axiomatizing Permutation Equivalence. Math. Struct. Comput. Sci. 6 (3) (1996)
Gérard Boudol, Cosimo Laneve
The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. 126 (1) (1996)
Andrea Asperti, Cosimo Laneve
Comparing Lambda-calculus translations in Sharing Graphs. TLCA (1995)
Andrea Asperti, Cosimo Laneve
Paths, Computations and Labels in the lambda-Calculus. Theor. Comput. Sci. 142 (2) (1995)
Gérard Boudol, Cosimo Laneve
Termination, deadlock and divergence in the lambda-calculus with multiplicities. MFPS (1995)
Roberto Gorrieri, Cosimo Laneve
Split and ST Bisimulation Semantics Inf. Comput. 118 (2) (1995)
Andrea Asperti, Cosimo Laneve
Interaction Systems I: The Theory of Optimal Reductions. Math. Struct. Comput. Sci. 4 (4) (1994)
Cosimo Laneve
Distributive Evaluations of lambda-calculus. Fundam. Informaticae 20 (4) (1994)
Andrea Asperti, Cosimo Laneve
The Family Relation in Interaction Systems. TACS (1994)
Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
Paths in the lambda-calculus LICS (1994)
Andrea Asperti, Cosimo Laneve
Optimal Reductions in Interaction Systems. TAPSOFT (1993)
Andrea Asperti, Cosimo Laneve
Paths, Computations and Labels in the Lambda-Calculus. RTA (1993)
Andrea Asperti, Cosimo Laneve
Interaction Systems. HOA (1993)

Cosimo Laneve.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cosimo Laneve