1) Green Computing -- analisi dello stato dell'arte e progetto di possibili strumenti di aiuto allo sviluppo del codice (tesi di laurea + tirocinio formativo)
2) Sviluppo del prototipo Stipula per definire contratti legali.
Pubblicato il: 07 ottobre 2023
1) TECHNIQUES BASED ON MACHINE LEARNING FOR DERIVING CODE SIMILARITIES. Code is extremely fragile: e.g. swapping two lines of code changes completely its semantics. I want to devise machine learning techniques that are trained with abstract models of the codes and are able to derive similarities ...
Pubblicato il: 19 settembre 2023
Cosimo Laneve: Reachability Analysis in Legal Contracts, April 2024
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro: Serverless Scheduling Policies based on Cost Analysis, June 2023
Cosimo Laneve, Alessandro Parenti, Giovanni ...
Pubblicato il: 25 maggio 2021
Il laboratorio promuove la ricerca su Blockchain e sulle Nuove Tecnologia e il relativo trasferimento tecnologico.
Pubblicato il: 09 gennaio 2019
Cosimo Laneve, Alessandro Parenti, Giovanni Sartor: Legal Contracts Amending with Stipula, November 2022
Silvia Crafa, Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2022.
Silvia Crafa, Cosimo Laneve: Programming legal contracts: a beginners ...
Pubblicato il: 24 gennaio 2018