Laneve, Cosimo; Parenti, Alessandro; Sartor, Giovanni, Legal Contracts Amending with Stipula, in: Coordination Models and Languages. COORDINATION 2023., Cham, Springer, 2023, 13908, pp. 253 - 270 (atti di: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, Lisbona, 19-23 Giugno 2023) [Contribution to conference proceedings]
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 [Scientific article]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 [Scientific article]
Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele, Resilience of Hybrid Casper under varying values of parameters, «DISTRIBUTED LEDGER TECHNOLOGIES», 2023, 0, pp. 1 - 26 [Scientific article]
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, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2023, 392, pp. 40 - 52 (atti di: TiCSA@ETAPS 2023, Paris, 23/04/2023) [Contribution to conference proceedings]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 [Chapter or essay]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, 2022, 13712, pp. 205 - 221 (atti di: 18th International Conference on Formal Aspects of Component Software, FACS 2022, Oslo (virtuale), 10-11/11/2022) [Contribution to conference proceedings]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) [Chapter or essay]
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
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]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 [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
