@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}, ) @article(bjork13isse, author = {Bj{\o}rk, Joakim and Frank~S. de~Boer and Einar~Broch Johnsen and Rudolf Schlatte and {Tapia Tarifa}, S.~Lizeth}, year = {2013}, title = {User-defined Schedulers for Real-Time Concurrent Objects}, journal = {Innovations in Systems and Software Engineering}, volume = {9}, number = {1}, pages = {29--43}, doi = {10.1007/s11334-012-0184-5}, ) @article(BoehmPapaccio88, author = {B.~W. Boehm and P.~N. Papaccio}, year = {1988}, title = {Understanding and Controlling Software Costs}, journal = {IEEE Trans. SW Eng.}, volume = {14}, number = {10}, pages = {1462--1477}, doi = {10.1109/32.6191}, ) @inproceedings(deboer07esop, author = {Frank~S. de~Boer and Dave Clarke and Einar~Broch Johnsen}, year = {2007}, title = {A Complete Guide to the Future}, editor = {Rocco de~Nicola}, booktitle = {Proc.\ 16th European Symposium on Programming ({ESOP}'07)}, series = {LNCS}, volume = {4421}, publisher = {Springer}, pages = {316--330}, doi = {10.1007/978-3-540-71316-6_22}, ) @book(Fehling:CCP2014, author = {Christoph Fehling and Frank Leymann and Ralph Retter and Walter Schupeck and Peter Arbitter}, year = {2014}, title = {Cloud Computing Patterns: Fundamentals to Design, Build, and Manage Cloud Applications}, publisher = {Springer Publishing Company, Incorporated}, doi = {10.1007/978-3-7091-1568-8}, ) @incollection(ABSTutorial2013, author = {Reiner H\"{a}hnle}, year = {2013}, title = {The Abstract Behavioral Specification Language: A Tutorial Introduction}, booktitle = {Formal Methods for Components and Objects}, series = {LNCS}, volume = {7866}, publisher = {Springer}, pages = {1--37}, doi = {10.1007/978-3-642-40615-7_1}, ) @incollection(haahnle13, author = {Reiner H{\"a}hnle and Michiel Helvensteijn and Einar~Broch Johnsen and Michael Lienhardt and Davide Sangiorgi and Ina Schaefer and Peter Y.~H. Wong}, year = {2013}, title = {{HATS} Abstract Behavioral Specification: The Architectural View}, editor = {Bernhard Beckert and Ferruccio Damiani and Frank~S. de~Boer and MarcelloM. Bonsangue}, booktitle = {Formal Methods for Components and Objects}, series = {LNCS}, volume = {7542}, publisher = {Springer}, pages = {109--132}, doi = {10.1007/978-3-642-35887-6_6}, ) @article(HaehnleJohnsen14, 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}, ) @inproceedings(johnsen10fmco, 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 Aichernig and Frank~S. 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(johnsen07sosym, author = {Einar~Broch Johnsen and Olaf Owe}, year = {2007}, title = {An Asynchronous Communication Model for Distributed Concurrent Objects}, journal = {Software and Systems Modeling}, volume = {6}, number = {1}, pages = {35--58}, doi = {10.1007/s10270-006-0011-2}, ) @inproceedings(johnsen12, author = {Einar~Broch Johnsen and Rudolf Schlatte and {Tapia Tarifa}, S.~Lizeth}, year = {2012}, title = {Modeling Resource-Aware Virtualized Applications for the Cloud in {Real-Time ABS}}, editor = {Toshiaki Aoki and Kenji Tagushi}, booktitle = {Proceedings of the 14th International Conference on Formal Engineering Methods ({ICFEM}'12)}, series = {LNCS}, volume = {7635}, publisher = {Springer}, pages = {71--86}, doi = {10.1007/978-3-642-34281-3_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}, ) @article(larsen97sttt, author = {Kim~Guldstrand Larsen and Paul Pettersson and Wang Yi}, year = {1997}, title = {{UPPAAL} in a Nutshell}, journal = {International Journal on Software Tools for Technology Transfer}, volume = {1}, number = {1--2}, pages = {134--152}, doi = {10.1007/s100090050010}, ) @inproceedings(lin16fase, author = {Jia-Chun Lin and Ingrid~Chieh Yu and Einar~Broch Johnsen and Ming-Chang Lee}, year = {2016}, title = {{ABS-YARN}: A Formal Framework for Modeling {Hadoop YARN} Clusters}, editor = {Perdita Stevens and Andrzej Wasowski}, booktitle = {19th International Conference on Fundamental Approaches to Software Engineering ({FASE} 2016)}, series = {LNCS}, volume = {9633}, publisher = {Springer}, pages = {49--65}, doi = {10.1007/978-3-662-49665-7_4}, ) @inproceedings(schaefer10ecoop, author = {Jan Sch{\"a}fer and Poetzsch-Heffter, Arnd}, year = {2010}, title = {{JCoBox}: Generalizing Active Objects to Concurrent Components}, booktitle = {European Conference on Object-Oriented Programming (ECOOP 2010)}, series = {LNCS}, volume = {6183}, publisher = {Springer}, pages = {275--299}, doi = {10.1007/978-3-642-14107-2_13}, )