Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni; Veschetti, Adele, Pacta sunt servanda: Legal contracts in Stipula, «SCIENCE OF COMPUTER PROGRAMMING», 2023, 225, Article number: 102911, pp. 1 - 21 [articolo]Open Access
Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Programming contract amending, in: New Frontiers in Artificial Intelligence - JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Kumamoto, Japan, June 4-6, 2023, Revised Selected Papers, 2023, pp. 19 - 34 (atti di: Seventeenth International Workshop on Juris-informatics. (JURISIN 2023), Kumamoto, Japan, June 4-6, 2023) [Contributo in Atti di convegno]
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]Open Access
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]
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
