TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

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

Wong, Peter Y. H. and Albert, Elvira and Muschevici, Radu and Proenca, Jose and Schäfer, Jan and Schlatte, Rudolf (2012):
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
14, In: STTT, (5), pp. 567-588, DOI: 10.1007/s10009-012-0250-1,
[Online-Edition: https://doi.org/10.1007/s10009-012-0250-1],
[Article]

de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Wong, Peter Y. H. Paoli, Flavio De and Pimentel, Ernesto and Zavattaro, Gianluigi (eds.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
In: Lecture Notes in Computer Science, 7592, Springer, In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, pp. 91-106, DOI: 10.1007/978-3-642-33427-6₇,
[Online-Edition: https://doi.org/10.1007/978-3-642-33427-6_7],
[Conference or Workshop Item]

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Schafer, Ina and Schäfer, Jan and Schlatte, Rudolf and Wong, Peter Bernardo, M. and Issarny, V. (eds.) (2011):
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: LNCS, In: Formal Methods for Eternal Networked Software Systems, Springer-Verlag, p. 417, [Book Section]

Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
In: Lecture Notes in Computer Science, 6957, Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, pp. 142-164, DOI: 10.1007/978-3-642-25271-6₈,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8],
[Conference or Workshop Item]

Clarke, Dave and Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
In: Lecture Notes in Computer Science, 6957, Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, pp. 204-224, DOI: 10.1007/978-3-642-25271-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11],
[Conference or Workshop Item]

This list was generated on Sat Dec 14 02:02:23 2019 CET.