Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer & Jacopo Mauro (2016):
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.
In: Martin Fränzle, Deepak Kapur & Naijun Zhan: SETTA,
LNCS 9984,
pp. 229–245,
doi: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.
In: Erika Ábrahám & Klaus Havelund: Tools and Algorithms for the Construction and Analysis of Systems, 20th Intl. Conf.,
LNCS 8413.
Springer,
Grenoble, France,
pp. 562–567,
doi: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),
pp. 323–339,
doi:10.1007/s11761-013-0148-0.
Elvira Albert, Jesús Correas & Guillermo Román-Díez (2016):
Resource Analysis of Distributed Systems.
In: Erika Ábrahám, Marcello M. Bonsangue & Einar Broch Johnsen: Theory and Practice of Formal Methods,
LNCS 9660.
Springer,
pp. 33–46,
doi:10.1007/978-3-319-30734-3.
Frank S. de Boer & Stijn de Gouw (2014):
Combining Monitoring with Run-Time Assertion Checking.
In: 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,
pp. 217–262,
doi: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.
In: Fourth International Conference on Autonomic Computing (ICAC), Jacksonville, Florida, USA.
IEEE Computer Society,
pp. 3,
doi:10.1109/ICAC.2007.36.
Marco Comuzzi, Constantinos Kotsokalis, George Spanoudakis & Ramin Yahyapour (2009):
Establishing and Monitoring SLAs in Complex Service Based Systems.
In: IEEE International Conference on Web Services, ICWS, Los Angeles, CA, USA.
IEEE Computer Society,
pp. 783–790,
doi: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.
In: Luca Aceto & David de Frutos-Escrig: 26th International Conference on Concurrency Theory, CONCUR, Madrid, Spain,
LIPIcs 42.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 1–16,
doi: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,
pp. 100–121,
doi:10.1016/j.ic.2014.11.002.
Abel Garcia, Cosimo Laneve & Michael Lienhardt (2017):
Static analysis of cloud elasticity.
Sci. Comput. Program. 147,
pp. 27–53,
doi: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.
In: Christiano Braga & Peter Csaba Ölveczky: Formal Aspects of Component Software, 12th Intl. Conference, FACS, Niterói, Brazil, Revised Selected Papers,
LNCS 9539.
Springer,
pp. 199–216,
doi:10.1007/978-3-319-28934-2_11.
Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht & Gianluigi Zavattaro (2016):
Declarative Elasticity in ABS.
In: 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,
pp. 118–134,
doi: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.
In: Zhong Shao & Benjamin C. Pierce: Proc. 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, Savannah, GA, USA.
ACM,
pp. 127–139,
doi:10.1145/1480881.1480898.
Reiner Hähnle & Einar Broch Johnsen (2015):
Designing Resource-Aware Cloud Applications.
IEEE Computer 48(6),
pp. 72–75,
doi: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 edition.
O'Reilly Media, Inc..
Jan Hoffmann & Martin Hofmann (2010):
Amortized Resource Analysis with Polynomial Potential.
In: Andrew D. Gordon: Programming Languages and Systems, 19th European Symposium on Programming, ESOP, Paphos, Cyprus,
LNCS 6012.
Springer,
pp. 287–306,
doi:10.1007/978-3-642-11957-6_16.
Giles Hogben & Alain Pannetrat (2013):
Mutant Apples: A Critical Examination of Cloud SLA Availability Definitions.
In: IEEE 5th International Conference on Cloud Computing Technology and Science, CloudCom, Bristol, United Kingdom, Volume 1.
IEEE Computer Society,
pp. 379–386,
doi: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),
pp. 805–822,
doi: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.
In: 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,
pp. 142–164,
doi: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),
pp. 67–91,
doi:10.1016/j.jlamp.2014.07.001.
Mahbub K., Spanoudakis G. & Tsigkritis T. (2011):
Translation of SLAs into monitoring specifications.
In: P. Wieder, J. Butler, W. Teilmann & R. Yahyapour: Service Level Agreements for Cloud Computing.
Springer,
pp. 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),
pp. 57–81,
doi:10.1023/A:1022445108617.
D. Davide Lamanna, James Skene & Wolfgang Emmerich (2003):
SLAng: A Language for Defining Service Level Agreements.
In: Proc. 9th IEEE Intl. Workshop on Future Trends of Distributed Computing Systems (FTDCS), San Juan, Puerto Rico.
IEEE Computer Society,
pp. 100–106,
doi:10.1109/FTDCS.2003.1204317.
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.
In: 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,
pp. 107–121,
doi:10.1007/978-3-319-90089-6_8.
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),
pp. 567–588,
doi:10.1007/s10009-012-0250-1.
eptcs@eptcs.org