Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H. (2014)
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, 8 (4)
doi: 10.1007/s11761-013-0148-0
Artikel, Bibliographie

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf (2012)
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, 14 (5)
doi: 10.1007/s10009-012-0250-1
Artikel, Bibliographie

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Hrsg.: Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (2012)
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings.
doi: 10.1007/978-3-642-33427-6_7
Konferenzveröffentlichung, Bibliographie

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Hrsg.: Bernardo, M. ; Issarny, V. (2011)
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems
Buchkapitel, Bibliographie

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Hrsg.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
ABS: A Core Language for Abstract Behavioral Specification.
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.
doi: 10.1007/978-3-642-25271-6_8
Konferenzveröffentlichung, Bibliographie

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Hrsg.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
Variability Modelling in the ABS Language.
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.
doi: 10.1007/978-3-642-25271-6_11
Konferenzveröffentlichung, Bibliographie