Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

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. 1 - 128 [Chapter or essay]

Silvia Crafa; Cosimo Laneve, Liquidity Analysis in Resource-Aware Programming, in: Silvia Lizeth Tapia Tarifa, Josè Proenca, Formal Aspects of Component Software - 18th International Conference, {FACS} 2022, 2022, pp. 205 - 221 (atti di: Formal Aspects of Component Software - 18th International Conference, {FACS} 2022, Oslo (virtuale), 10-11/11/2022) [Contribution to conference proceedings]

Crafa S.; Laneve C., Programming Legal Contracts: – A Beginners Guide to Stipula –, in: The Logic of Software. A Tasting Menu of Formal Methods, Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Einar Broch Johnsen, 2022, 13360 LNCS, pp. 129 - 146 (atti di: The Logic of Software. A Tasting Menu of Formal Methods, Darmstadt, June 2022) [Contribution to conference proceedings]

Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele, Resilience of Hybrid Casper under varying values of parameters, «Distributed Ledger Technologies: Research and Practice», 2022, 0, pp. 1 - 26 [Scientific article]

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) [Contribution to conference proceedings]

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 [Scientific article]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 [Scientific article]

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) [Contribution to conference proceedings]

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 [Scientific article]

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, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2019, 302, pp. 1 - 15 (atti di: 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018, Amsterdam, Olanda, 2018) [Contribution to conference proceedings]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, 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) [Contribution to conference proceedings]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, 2019, 11865, pp. 397 - 415 (atti di: Collquium in honour of Stefania Gnesi, Porto, 08/10/2019) [Contribution to conference proceedings]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 [Scientific article]