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
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
29–43
10.1007/s11334-012-0184-5
B. W. Boehm
P. N. Papaccio
1988
Understanding and Controlling Software Costs
IEEE Trans. SW Eng.
14
10
1462–1477
10.1109/32.6191
Frank S. de Boer
Dave Clarke
Einar Broch Johnsen
2007
A Complete Guide to the Future
Rocco de Nicola
Proc. 16th European Symposium on Programming (ESOP'07)
LNCS
4421
Springer
316–330
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
10.1007/978-3-7091-1568-8
Reiner Hähnle
2013
The Abstract Behavioral Specification Language: A Tutorial Introduction
Formal Methods for Components and Objects
LNCS
7866
Springer
1–37
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
Bernhard Beckert
Ferruccio Damiani
Frank S. de Boer
MarcelloM. Bonsangue
Formal Methods for Components and Objects
LNCS
7542
Springer
109–132
10.1007/978-3-642-35887-6_6
Reiner Hähnle
Einar Broch Johnsen
2015
Designing Resource-Aware Cloud Applications
IEEE Computer
48
6
72–75
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
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
142–164
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
35–58
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
Toshiaki Aoki
Kenji Tagushi
Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM'12)
LNCS
7635
Springer
71–86
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
67–91
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
134–152
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
Perdita Stevens
Andrzej Wasowski
19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016)
LNCS
9633
Springer
49–65
10.1007/978-3-662-49665-7_4
Jan Schäfer
Arnd Poetzsch-Heffter
2010
JCoBox: Generalizing Active Objects to Concurrent Components
European Conference on Object-Oriented Programming (ECOOP 2010)
LNCS
6183
Springer
275–299
10.1007/978-3-642-14107-2_13