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]
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]
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]
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 [articolo]
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
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, Early View, Article number: e6749, pp. 1 - 20 [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]
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