Towards the formalization of properties of cloud-based elastic systems

Bersani, Marcello Maria; BIANCULLI, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstić, Srđan

doi:10.1145/2593793.2593798

Demander un accès

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

Towards the formalization of properties of cloud-based elastic systems

Bersani, Marcello Maria; BIANCULLI, Domenico; Dustdar, Schahram et al.

2014 • In Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014)

Peer reviewed

Permalien
https://hdl.handle.net/10993/15829

DOI
10.1145/2593793.2593798

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

pesos2014.pdf

Preprint Auteur (460.84 kB)

Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Centre de recherche :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Bersani, Marcello Maria

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Dustdar, Schahram

Gambi, Alessio

Ghezzi, Carlo

Krstić, Srđan

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Towards the formalization of properties of cloud-based elastic systems

Date de publication/diffusion :

2014

Nom de la manifestation :

6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014), co-located with ICSE 2014

Lieu de la manifestation :

Hyderabad, Inde

Date de la manifestation :

31-05-2014

Manifestation à portée :

International

Titre de l'ouvrage principal :

Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014)

Maison d'édition :

ACM

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 05 mars 2014

Statistiques

Nombre de vues

201 (dont 3 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex