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.

Wong, Peter Y. H. ; Bubel, Richard ; de Boer, Frank S. ; Gomez-Zamalloa, Miguel ; Gouw, Stijn de ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar Azam (2015):
Testing abstract behavioral specifications.
In: STTT, 17 (1), pp. 107-119. DOI: 10.1007/s10009-014-0301-x,
[Article]

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), pp. 323-339. DOI: 10.1007/s11761-013-0148-0,
[Article]

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), pp. 567-588. DOI: 10.1007/s10009-012-0250-1,
[Article]

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (eds.) (2012):
Delta modeling in practice: a Fredhopper case study.
pp. 139-148, ACM, Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings, DOI: 10.1145/2110147.2110163,
[Conference or Workshop Item]

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (eds.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
In: Lecture Notes in Computer Science, 7592, pp. 91-106, Springer, 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₇,
[Conference or Workshop Item]

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
In: Lecture Notes in Computer Science, 7542, pp. 109-132, Springer, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, DOI: 10.1007/978-3-642-35887-6₆,
[Conference or Workshop Item]

This list was generated on Tue Aug 3 05:22:14 2021 CEST.