LANEVE, COSIMO
LANEVE, COSIMO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A basic contract language for web services
2006 CARPINETI S.; LANEVE C.
A Beginner's Guide to the DeadLock Analysis Model
2013 Elena Giachino; Cosimo Laneve
A formal account of contracts for web services
2006 S. Carpineti; G. Castagna; C. Laneve; L. Padovani
A Formal Analysis of the Bitcoin Protocol
2020 Adele Veschetti, Cosimo Laneve
A framework for deadlock detection in core ABS
2016 Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael
A lightweight deadlock analysis for programs with threads and reentrant locks
2018 Laneve, Cosimo*
A lightweight deadlock analysis for programs with threads and reentrant locks
2019 Laneve C.
A rude contract language for web services
2006 C. Laneve; S. Carpineti
A simple calculus for proteins and cells
2008 C. Laneve; F. Tarissan
A simple calculus with proteins and cells
2007 C. Laneve; F. Tarissan
Actors may synchronize, safely!
2016 Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo
An algebraic theory for web service contracts
2015 Laneve, Cosimo; Padovani, Luca
An Algebraic Theory for Web Service Contracts.
2013 Cosimo Laneve; Luca Padovani
Analysis of Deadlocks in Object Groups
2011 Elena Giachino; Cosimo Laneve
Analysis of SLA compliance in the cloud: An automated, model-based approach
2019 de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G.
Analysis of smart contracts balances
2021 Cosimo Laneve; Claudio Sacerdoti Coen
Analysis of synchronisations in stateful active objects
2017 Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo
BoPi: a distributed machine for experimenting web-services technologies
2005 S. Carpineti; C. Laneve; P. Milazzo
Deadlock Analysis of Concurrent Objects: Theory and Practice
2013 Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong
Deadlock analysis of unbounded process networks
2017 Kobayashi, Naoki; Laneve, Cosimo
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A basic contract language for web services | CARPINETI S.; LANEVE C. | 2006-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
A Beginner's Guide to the DeadLock Analysis Model |
Elena Giachino; Cosimo Laneve |
2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A formal account of contracts for web services | S. Carpineti; G. Castagna; C. Laneve; L. Padovani | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Formal Analysis of the Bitcoin Protocol |
Adele Veschetti, Cosimo Laneve |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum fur Informatik | 4.01 Contributo in Atti di convegno | laneve-veschetti.pdf |
A framework for deadlock detection in core ABS | Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2016-01-01 | SOFTWARE AND SYSTEMS MODELING | - | 1.01 Articolo in rivista | Giachino2016_Article_AFrameworkForDeadlockDetection.pdf; SoSyM-Giachino-Laneve-Lienhardt.pdf |
A lightweight deadlock analysis for programs with threads and reentrant locks | Laneve, Cosimo* | 2018-01-01 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
A lightweight deadlock analysis for programs with threads and reentrant locks | Laneve C. | 2019-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
A rude contract language for web services | C. Laneve; S. Carpineti | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
A simple calculus for proteins and cells | C. Laneve; F. Tarissan | 2008-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
A simple calculus with proteins and cells | C. Laneve; F. Tarissan | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Actors may synchronize, safely! | Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo | 2016-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
An algebraic theory for web service contracts | Laneve, Cosimo; Padovani, Luca | 2015-01-01 | FORMAL ASPECTS OF COMPUTING | - | 1.01 Articolo in rivista | ifm2013full.pdf |
An Algebraic Theory for Web Service Contracts. |
Cosimo Laneve; Luca Padovani |
2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Analysis of Deadlocks in Object Groups | Elena Giachino; Cosimo Laneve | 2011-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Analysis of SLA compliance in the cloud: An automated, model-based approach | de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. | 2019-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | 1908.10040v1.pdf |
Analysis of smart contracts balances | Cosimo Laneve; Claudio Sacerdoti Coen | 2021-01-01 | BLOCKCHAIN: RESEARCH AND APPLICATIONS | - | 1.01 Articolo in rivista | ana.pdf |
Analysis of synchronisations in stateful active objects | Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo | 2017-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
BoPi: a distributed machine for experimenting web-services technologies | S. Carpineti; C. Laneve; P. Milazzo | 2005-01-01 | - | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - |
Deadlock Analysis of Concurrent Objects: Theory and Practice | Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Deadlock analysis of unbounded process networks | Kobayashi, Naoki; Laneve, Cosimo | 2017-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | concur2014.pdf |