Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

Autor: Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 1-15 (2019)

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 penalties. To allow the analysis of SLA compliance before the services are de

Externí odkaz: https://doaj.org/article/e44f7e5d117948708eb464eb2889f50e

Session Types Revisited

Autor: Davide Sangiorgi, Ornela Dardha, Elena Giachino

Publikováno v: Information and Computation
Information and Computation, Elsevier, 2017, 256, pp.253-286. ⟨10.1016/j.ic.2017.06.002⟩
Principles and Practice of Declarative Programming, PPDP'12
Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, pp.139--150
Information and Computation, 2017, 256, pp.253-286. ⟨10.1016/j.ic.2017.06.002⟩
PPDP

International audience; Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. When session types and sessi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84d59e39fd576b8b5c0b707ca4fe8624
https://hal.inria.fr/hal-01647086

Behavioral Types in Programming Languages

Autor: Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martin, Viviana Mascardi, Fabrizi Montesi

A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols

Actors may synchronize, safely! *

Autor: Cosimo Laneve, Elena Giachino, Ludovic Henrio, Vincenzo Mastandrea

Publikováno v: PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming
PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, Sep 2016, Edinburgh, United Kingdom
PPDP

International audience; We study deadlock detection in an actor model with wait-by-necessity synchronizations, a lightweight technique that synchronizes invocations when the corresponding values are strictly needed. This approach relies on the use of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0049aa28fca1a77ba37fb013271cbeb8
https://hal.inria.fr/hal-01345315/file/gASP-FULL.pdf

Deadlock Detection in Linear Recursive Programs

Autor: Elena Giachino, Cosimo Laneve

Publikováno v: Formal Methods for Executable Software Models-14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2014
Formal Methods for Executable Software Models-14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2014, Jun 2014, Bertinoro, Italy. pp.26-64, ⟨10.1007/978-3-319-07317-0_2⟩
Lecture Notes in Computer Science ISBN: 9783319073163
SFM
Formal Methods for Executable Software Models-14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2014, Jun 2014, Bertinoro, Italy. pp.26-64, ⟨10.1007/978-3-319-07317-0_2⟩

International audience; Deadlock detection in recursive programs that admit dy-namic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorithm for detecting deadlocks of linear recursiv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f9efe9a70a80b9f5e82698fd7270ad6
http://hdl.handle.net/11585/413998