3 papers
cs.PL2021
Pacta sunt servanda: legal contracts in Stipula
Silvia Crafa, Cosimo Laneve, Giovanni Sartor
There is a growing interest in running legal contracts on digital systems, at the same time, it is important to understand to what extent software contracts may capture legal conte…
cs.DC2019
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
Frank S. de Boer, Elena Giachino, Stijn de Gouw +5
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalti…
cs.PL2017
Deadlock detection of Java Bytecode
Abel Garcia, Cosimo Laneve
This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the…