Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Laneve C.; Solmonte S.; Veschetti A., A Stochastic Analysis of the Gasper Protocol, in: IEEE International Conference on Pervasive Computing and Communications, PerCom 2024, 2024, pp. 518 - 523 (atti di: IEEE International Conference on Pervasive Computing and Communications, PerCom 2024, Biarritz, Francia, March 11-15, 2024) [Contributo in Atti di convegno]

Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Legal Contracts Amending with Stipula, in: Coordination Models and Languages. COORDINATION 2023., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2023, 13908, pp. 253 - 270 (atti di: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, Lisbona, 19-23 Giugno 2023) [Contributo in Atti di convegno]Open Access

Laneve C., Liquidity analysis in resource-aware programming, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2023, 135, Article number: 100889, pp. 1 - 18 [articolo]Open Access

Silvia Crafa; Cosimo Laneve; Giovanni Sartor; Adele Veschetti, Pacta sunt servanda: Legal contracts in Stipula, «SCIENCE OF COMPUTER PROGRAMMING», 2023, 225, Article number: 102911, pp. 1 - 21 [articolo]

Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele, Resilience of Hybrid Casper under varying values of parameters, «DISTRIBUTED LEDGER TECHNOLOGIES», 2023, 2, Article number: 5, pp. 1 - 25 [articolo]Open Access

De Palma, Giuseppe; Giallorenzo, Saverio; Laneve, Cosimo; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Serverless Scheduling Policies based on Cost Analysis, in: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023, 392, pp. 40 - 52 (atti di: TiCSA@ETAPS 2023, Paris, 23/04/2023) [Contributo in Atti di convegno]Open Access

Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Le forme del falso negli smart contract, in: Marina Caporale, Cristina Demaria, Daniele Donati, Anna Maria Lorusso, Francesco Mazzucchelli, Le forme del falso, Bologna, Bologna University Press, 2022, pp. 85 - 98 [capitolo di libro]Open Access

Silvia Crafa; Cosimo Laneve, Liquidity Analysis in Resource-Aware Programming, in: Silvia Lizeth Tapia Tarifa, Josè Proenca, Formal Aspects of Component Software, FACS 2022, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13712, pp. 205 - 221 (atti di: 18th International Conference on Formal Aspects of Component Software, FACS 2022, Oslo (virtuale), 10-11/11/2022) [Contributo in Atti di convegno]Open Access

Crafa S.; Laneve C., Programming Legal Contracts: – A Beginners Guide to Stipula –, in: The Logic of Software. A Tasting Menu of Formal Methods, Cham, Springer, 2022, pp. 129 - 146 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]Open Access

Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni, Stipula: a domain specific language for legal contracts, in: Programming Languages and the Law, 2022, pp. 1 - 4 (atti di: 49th ACM SIGPLAN Symposium on Principles of Programming Languages, Philadelphia, USA, 16 January 2022) [Contributo in Atti di convegno]

Silvia Crafa; Cosimo Laneve; Adele Veschetti, The Stipula Prototype, 2022. [software]

Cosimo Laneve; Claudio Sacerdoti Coen, Analysis of smart contracts balances, «BLOCKCHAIN: RESEARCH AND APPLICATIONS», 2021, 2, pp. 1 - 24 [articolo]Open Access

Adele Veschetti, Cosimo Laneve, A Formal Analysis of the Bitcoin Protocol, in: F. de Boer, J. Mauro, Recent Developments in the Design and Implementation of Programming Languages, Schloss Dagstuhl--Leibniz-Zentrum fur Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 17 (atti di: Recent Developments in the Design and Implementation of Programming Languages, ONLINE, 27/11/2020) [Contributo in Atti di convegno]Open Access

Adele Veschetti, Cosimo Laneve, PRISM+, 2020. [software]

Laneve C., A lightweight deadlock analysis for programs with threads and reentrant locks, «SCIENCE OF COMPUTER PROGRAMMING», 2019, 181, pp. 64 - 81 [articolo]