@inproceedings(zephyrus2, author = {Erika {\'{A}}brah{\'{a}}m and Florian Corzilius and Einar Broch Johnsen and Gereon Kremer and Jacopo Mauro}, year = {2016}, title = {{Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies}}, editor = {Martin Fr{\"{a}}nzle and Deepak Kapur and Naijun Zhan}, booktitle = {SETTA}, series = {LNCS}, volume = {9984}, pages = {229--245}, doi = {10.1007/978-3-319-47677-3}, ) @inproceedings(SACO14, author = {Elvira Albert and Puri Arenas and Flores-Montoya, Antonio and Samir Genaim and G{\'o}mez-Zamalloa, Miguel and Martin-Martin, Enrique and German Puebla and Rom{\'a}n-D\'{\i}ez, Guillermo}, year = {2014}, title = {{SACO:} Static Analyzer for Concurrent Objects}, editor = {Erika {\'A}brah{\'a}m and Klaus Havelund}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 20th Intl.\ Conf.}, series = {LNCS}, volume = {8413}, publisher = {Springer}, address = {Grenoble, France}, pages = {562--567}, doi = {10.1007/978-3-642-54862-8}, ) @article(ABHJSTW13, author = {Elvira Albert and Frank S. de Boer and Reiner H{\"a}hnle and Einar Broch Johnsen and Rudolf Schlatte and Tapia Tarifa, Silvia Lizeth and Peter Y. H. Wong}, year = {2014}, title = {Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study using {R}eal-{T}ime {ABS}}, journal = {Journal of Service-Oriented Computing and Applications}, volume = {8}, number = {4}, pages = {323--339}, doi = {10.1007/s11761-013-0148-0}, ) @inproceedings(AlbertCR16, author = {Elvira Albert and Jes{\'{u}}s Correas and Rom{\'{a}}n{-}D{\'{\i}}ez, Guillermo}, year = {2016}, title = {Resource Analysis of Distributed Systems}, editor = {Erika {\'{A}}brah{\'{a}}m and Marcello M. Bonsangue and Einar Broch Johnsen}, booktitle = {Theory and Practice of Formal Methods}, series = {LNCS}, volume = {9660}, publisher = {Springer}, pages = {33--46}, doi = {10.1007/978-3-319-30734-3}, ) @misc(mesos, author = {Apache}, title = {Apache Mesos}, howpublished = {\url{http://mesos.apache.org/}}, ) @misc(cloudwatch, author = {Amazon AWS}, title = {Amazon CloudWatch}, howpublished = {\url{https://aws.amazon.com/cloudwatch/}}, ) @inproceedings(BG14, author = {Frank S. de Boer and Stijn de Gouw}, year = {2014}, title = {Combining Monitoring with Run-Time Assertion Checking}, editor = {Marco Bernardo and Ferruccio Damiani and Reiner H{\"{a}}hnle and Einar Broch Johnsen and Ina Schaefer}, booktitle = {Formal Methods for Executable Software Models, 14th Intl.\ School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM}, Advanced Lectures}, series = {LNCS}, volume = {8483}, publisher = {Springer}, address = {Bertinoro, Italy}, pages = {217--262}, doi = {10.1007/978-3-319-07317-0}, ) @inproceedings(ChenI07, author = {Yuan Chen and Subu Iyer and Xue Liu and Dejan S. Milojicic and Akhil Sahai}, year = {2007}, title = {{SLA} Decomposition: Translating Service Level Objectives to System Level Thresholds}, booktitle = {Fourth International Conference on Autonomic Computing (ICAC), Jacksonville, Florida, USA}, publisher = {{IEEE} Computer Society}, pages = {3}, doi = {10.1109/ICAC.2007.36}, ) @inproceedings(ComuzziK09, author = {Marco Comuzzi and Constantinos Kotsokalis and George Spanoudakis and Ramin Yahyapour}, year = {2009}, title = {Establishing and Monitoring SLAs in Complex Service Based Systems}, booktitle = {{IEEE} International Conference on Web Services, {ICWS}, Los Angeles, CA, USA}, publisher = {{IEEE} Computer Society}, pages = {783--790}, doi = {10.1109/ICWS.2009.47}, ) @inproceedings(concur15, author = {Roberto Di Cosmo and Michael Lienhardt and Jacopo Mauro and Stefano Zacchiroli and Gianluigi Zavattaro and Jakub Zwolakowski}, year = {2015}, title = {Automatic Application Deployment in the Cloud: from Practice to Theory and Back}, editor = {Luca Aceto and David de Frutos{-}Escrig}, booktitle = {26th International Conference on Concurrency Theory, {CONCUR}, Madrid, Spain}, series = {LIPIcs}, volume = {42}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, pages = {1--16}, doi = {10.4230/LIPIcs.CONCUR.2015.1}, ) @article(infCom14, author = {Roberto Di Cosmo and Jacopo Mauro and Stefano Zacchiroli and Gianluigi Zavattaro}, year = {2014}, title = {Aeolus: {A} component model for the cloud}, journal = {Inf. Comput.}, volume = {239}, pages = {100--121}, doi = {10.1016/j.ic.2014.11.002}, ) @article(GarciaLL17, author = {Abel Garcia and Cosimo Laneve and Michael Lienhardt}, year = {2017}, title = {Static analysis of cloud elasticity}, journal = {Sci. Comput. Program.}, volume = {147}, pages = {27--53}, doi = {10.1016/j.scico.2017.03.008}, ) @inproceedings(GiachinoJLP15, author = {Elena Giachino and Einar Broch Johnsen and Cosimo Laneve and Ka I Pun}, year = {2015}, title = {Time Complexity of Concurrent Programs---{A} Technique Based on Behavioural Types}, editor = {Christiano Braga and Peter Csaba {\"{O}}lveczky}, booktitle = {Formal Aspects of Component Software, 12th Intl.\ Conference, {FACS}, Niter{\'{o}}i, Brazil, Revised Selected Papers}, series = {LNCS}, volume = {9539}, publisher = {Springer}, pages = {199--216}, doi = {10.1007/978-3-319-28934-2\_11}, ) @inproceedings(gouw16esocc, author = {Stijn de Gouw and Jacopo Mauro and Behrooz Nobakht and Gianluigi Zavattaro}, year = {2016}, title = {Declarative Elasticity in {ABS}}, editor = {Marco Aiello and Einar Broch Johnsen and Schahram Dustdar and Ilche Georgievski}, booktitle = {Proc.\ 5th {IFIP} {WG} 2.14 European Conference on Service-Oriented and Cloud Computing ({ESOCC})}, series = {LNCS}, volume = {9846}, publisher = {Springer}, pages = {118--134}, doi = {10.1007/978-3-319-44482-6\_8}, ) @misc(CloudGuidelines2014, author = {Cloud Select Industry Group}, year = {2014}, title = {Cloud Service Level Agreement Standardisation Guidelines}, note = {Developed as part of the Commission's European Cloud Strategy. Available at \url{http://ec.europa.eu/information_society/newsroom/cf/dae/document.cfm?action=display&doc_id=6138}}, ) @inproceedings(GulwaniM09, author = {Sumit Gulwani and Krishna K. Mehra and Trishul M. Chilimbi}, year = {2009}, title = {{SPEED:} precise and efficient static estimation of program computational complexity}, editor = {Zhong Shao and Benjamin C. Pierce}, booktitle = {Proc.\ 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}, Savannah, GA, USA}, publisher = {{ACM}}, pages = {127--139}, doi = {10.1145/1480881.1480898}, ) @article(HahnleJ15, author = {Reiner H{\"{a}}hnle and Einar Broch Johnsen}, year = {2015}, title = {Designing Resource-Aware Cloud Applications}, journal = {{IEEE} Computer}, volume = {48}, number = {6}, pages = {72--75}, doi = {10.1109/MC.2015.172}, ) @misc(ansible, author = {Red Hat}, title = {Ansible}, howpublished = {\url{https://www.ansible.com/}}, ) @book(Hightower, author = {Kelsey Hightower and Brendan Burns and Joe Beda}, year = {2017}, title = {Kubernetes: Up and Running Dive into the Future of Infrastructure}, edition = {1st}, publisher = {O'Reilly Media, Inc.}, ) @inproceedings(HoffmannH10, author = {Jan Hoffmann and Martin Hofmann}, year = {2010}, title = {Amortized Resource Analysis with Polynomial Potential}, editor = {Andrew D. Gordon}, booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, {ESOP}, Paphos, Cyprus}, series = {LNCS}, volume = {6012}, publisher = {Springer}, pages = {287--306}, doi = {10.1007/978-3-642-11957-6\_16}, ) @inproceedings(HogbenP13, author = {Giles Hogben and Alain Pannetrat}, year = {2013}, title = {Mutant Apples: {A} Critical Examination of Cloud {SLA} Availability Definitions}, booktitle = {{IEEE} 5th International Conference on Cloud Computing Technology and Science, CloudCom, Bristol, United Kingdom, Volume 1}, publisher = {{IEEE} Computer Society}, pages = {379--386}, doi = {10.1109/CloudCom.2013.56}, ) @article(ChristianW14, author = {Christian Inzinger and Waldemar Hummer and Benjamin Satzger and Philipp Leitner and Schahram Dustdar}, year = {2014}, title = {Generic event-based monitoring and adaptation methodology for heterogeneous distributed systems}, journal = {Softw., Pract. Exper.}, volume = {44}, number = {7}, pages = {805--822}, doi = {10.1002/spe.2254}, ) @inproceedings(ABSFMCO10, author = {Einar Broch Johnsen and Reiner H{\"a}hnle and Jan Sch{\"a}fer and Rudolf Schlatte and Martin Steffen}, year = {2011}, title = {{ABS}: A Core Language for Abstract Behavioral Specification}, editor = {Bernhard K. Aichernig and Frank de Boer and Marcello M. Bonsangue}, booktitle = {Proc.\ 9th International Symposium on Formal Methods for Components and Objects ({FMCO} 2010)}, series = {LNCS}, volume = {6957}, publisher = {Springer}, pages = {142--164}, doi = {10.1007/978-3-642-25271-6\_8}, ) @article(johnsen15jlamp, author = {Einar Broch Johnsen and Rudolf Schlatte and Tapia Tarifa, S. Lizeth}, year = {2015}, title = {Integrating deployment architectures and resource consumption in timed object-oriented models}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {84}, number = {1}, pages = {67--91}, doi = {10.1016/j.jlamp.2014.07.001}, ) @incollection(MahbubS11, author = {Mahbub K. and Spanoudakis G. and Tsigkritis T.}, year = {2011}, title = {Translation of {SLA}s into monitoring specifications}, editor = {P. Wieder and J. Butler and W. Teilmann and R. Yahyapour}, booktitle = {Service Level Agreements for Cloud Computing}, publisher = {Springer}, pages = {79--101}, ) @article(kanies-puppet-login, author = {Luke Kanies}, year = {2006}, title = {{Puppet}: Next-generation configuration management}, journal = {\texttt{;login:} the {USENIX} magazine}, volume = {31}, number = {1}, ) @article(KellerL03, author = {Alexander Keller and Heiko Ludwig}, year = {2003}, title = {The {WSLA} Framework: Specifying and Monitoring Service Level Agreements for Web Services}, journal = {J. Network Syst. Mgmt.}, volume = {11}, number = {1}, pages = {57--81}, doi = {10.1023/A:1022445108617}, ) @inproceedings(LamannaS03, author = {D. Davide Lamanna and James Skene and Wolfgang Emmerich}, year = {2003}, title = {SLAng: {A} Language for Defining Service Level Agreements}, booktitle = {Proc.\ 9th {IEEE} Intl.\ Workshop on Future Trends of Distributed Computing Systems {(FTDCS}), San Juan, Puerto Rico}, publisher = {{IEEE} Computer Society}, pages = {100--106}, doi = {10.1109/FTDCS.2003.1204317}, ) @misc(chef, author = {{Opscode}}, title = {Chef}, howpublished = {\url{https://www.chef.io/chef/}}, ) @misc(mcollective, author = {{Puppet Labs}}, title = {Marionette Collective}, howpublished = {\url{http://docs.puppetlabs.com/mcollective/}}, ) @inproceedings(schlatte18beasts, author = {Rudolf Schlatte and Einar Broch Johnsen and Jacopo Mauro and Tapia Tarifa, Silvia Lizeth and Ingrid Chieh Yu}, year = {2018}, title = {Release the Beasts: When Formal Methods Meet Real World Data}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Jan Rutten}, booktitle = {It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab}, series = {LNCS}, volume = {10865}, publisher = {Springer}, pages = {107--121}, doi = {10.1007/978-3-319-90089-6\_8}, ) @misc(swarm, author = {Docker Team}, title = {Docker Swarm}, howpublished = {\url{https://docs.docker.com/engine/swarm/}}, ) @article(WongAMPSS12, author = {Peter Y. H. Wong and Elvira Albert and Radu Muschevici and Proen{\c{c}}a, Jos{\'{e}} and Jan Sch{\"{a}}fer and Rudolf Schlatte}, year = {2012}, title = {The {ABS} tool suite: modelling, executing and analysing distributed adaptable object-oriented systems}, journal = {{STTT}}, volume = {14}, number = {5}, pages = {567--588}, doi = {10.1007/s10009-012-0250-1}, )