Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Le forme del falso negli smart contract, in: Le forme del falso, Bologna, Bologna University Press, 2022, pp. 85 - 98 [capitolo di libro]

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

Bistarelli S.; De Nicola R.; Galletta L.; Laneve C.; Mercanti I.; Veschetti A., Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays, «CONCURRENCY AND COMPUTATION», 2021, 1, pp. 1 - 20 [articolo]

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, 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]

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]

de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G., Analysis of SLA compliance in the cloud: An automated, model-based approach, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2019, 302, pp. 1 - 15 (atti di: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018, Amsterdam, Olanda, 2018) [Contributo in Atti di convegno]Open Access

Laneve C.; Padovani L., Deadlock Analysis of Wait-Notify Coordination, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer Verlag, «LECTURE NOTES IN BIOINFORMATICS», 2019, 11760, pp. 50 - 67 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Parigi, 4-5 Novembre 2019) [Contributo in Atti di convegno]Open Access

Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele, On the Prediction of Smart Contracts’ Behaviours, in: From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contributo in Atti di convegno]Open Access

Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Román-Díez, Guillermo, Time analysis of actor programs, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 105, pp. 1 - 27 [articolo]

Laneve, Cosimo*, A lightweight deadlock analysis for programs with threads and reentrant locks, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10951, pp. 608 - 624 (atti di: 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, gbr, 2018) [Contributo in Atti di convegno]

Laneve, Cosimo*; Garcia, Abel, Deadlock detection of java bytecode, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2018, 10855, pp. 37 - 53 (atti di: 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, bel, 2017) [Contributo in Atti di convegno]

Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Analysis of synchronisations in stateful active objects, in: Integrated Formal Methods. IFM 2017., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10510, pp. 195 - 210 (atti di: 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, September 20-22, 2017) [Contributo in Atti di convegno]

Kobayashi, Naoki; Laneve, Cosimo, Deadlock analysis of unbounded process networks, «INFORMATION AND COMPUTATION», 2017, 252, pp. 48 - 70 [articolo]Open Access

Abel Garcia; Cosimo Laneve, JaDA - A Static Java Deadlock Analizer, 2017. [software]