42 citations · 49 across the 4 of their papers we have counts for
4 papers
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…
Time complexity of concurrent programs
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve +1
We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions t…
A framework for deadlock detection in core ABS
Elena Giachino, Cosimo Laneve, Michael Lienhardt
We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations.…
Deadlock detection in linear recursive programs
Elena Giachino, Cosimo Laneve
Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorit…