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