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