De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G., Leveraging static analysis for cost-aware serverless scheduling policies, «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER», 2025, 26, Article number: 690660 , pp. 781 - 796 [Scientific article]
Laneve C.; Solmonte S.; Veschetti A., A Stochastic Analysis of the Gasper Protocol, in: IEEE International Conference on Pervasive Computing and Communications, PerCom 2024, 2024, pp. 518 - 523 (atti di: IEEE International Conference on Pervasive Computing and Communications, PerCom 2024, Biarritz, Francia, March 11-15, 2024) [Contribution to conference proceedings]
Bistarelli, S.; Laneve, C.; Mercanti, I.; Veschetti, A., Analyzing the Fairness of Proof of Stake Ethereum, in: Massimo Bartoletti and Claudio Schifanella and Andrea Vitaletti, Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024, 3791, pp. 1 - 8 (atti di: Sixth Distributed Ledger Technology Workshop (DLT 2024), Torino, 14-15 Maggio 2024) [Contribution to conference proceedings]
Laneve, C., Reachability Analysis in Micro-Stipula, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024), 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, 2024, pp. 1 - 12 (atti di: 26th International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2024, Milano, 9-11/09/2024) [Contribution to conference proceedings]
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]Open Access
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
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 [Scientific article]Open Access
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 [Scientific article]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, «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]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) [Contribution to conference proceedings]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 [Scientific article]Open Access