Back
  1. Home
  3. Towards the formalization of properties of cloud-based elastic systems - 2014
Request a copy
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
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
Permalink
https://hdl.handle.net/10993/15829
DOI
10.1145/2593793.2593798
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
pesos2014.pdf
Author preprint (460.84 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
Towards the formalization of properties of cloud-based elastic systems
Publication date :
2014
Event name :
6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014), co-located with ICSE 2014
Event place :
Hyderabad, India
Event date :
31-05-2014
Audience :
International
Main work title :
Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014)
Publisher :
ACM
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 05 March 2014

Statistics

Number of views
258 (3 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
35
Scopus citations®
without self-citations
30
OpenCitations
 
24
OpenAlex citations
 
35

Bibliography

Similar publications


Contact ORBilu