Philip Mayer, Jose Velasco, Annabelle Klarl, Rolf Hennicker, Maria-Chiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, and Tomas Bures. The Autonomic Cloud. In Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer, editors, Software Engineering for Collective Autonomic Systems, volume 8998 of Lecture Notes in Computer Science, pages 495–512. Springer, 2015.
Matthias Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, and Laith Raed. Ode to the PST. In Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, pages 13–23, 2015.
Rolf Hennicker, Annabelle Klarl, and Martin Wirsing. Model-Checking Helena Ensemble Specifications with Spin. In Logic, Rewriting, and Concurreny, volume 9200 of Lecture Notes in Computer Science, pages 331–360. Springer, 2015.
Annabelle Klarl. From Helena Ensemble Specifications to Promela Verification Models. In Proceedings of the 22nd International SPIN Workshop on Model Checking of Software, volume 9232 of Lecture Notes in Computer Science, pages 39–45. Springer, 2015.
Annabelle Klarl. Engineering Self-Adaptive Systems with the Role-Based Architecture of Helena. In Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, pages 3–8. IEEE, 2015.
Annabelle Klarl and Rolf Hennicker. Design and Implementation of Dynamically Evolving Ensembles with the HELENA Framework. In Proceedings of the 23rd Australasian Software Engineering Conference, pages 15–24. IEEE, 2014.
Annabelle Klarl, Lucia Cichella, and Rolf Hennicker. From Helena Ensemble Specifications to Executable Code. In Proceedings of the 6th International Symposium on Formal Aspects of Component Software, 2014.
Annabelle Klarl, Philip Mayer, and Rolf Hennicker. HELENA@Work: Modeling the Science Cloud Platform. In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, volume 8802 of Lecture Notes in Computer Science, pages 99–116. Springer, 2014.
Rolf Hennicker and Annabelle Klarl. Klarl, Foundations for Ensemble Modeling - The HELENA Approach. In Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, pages 359–381. Springer, 2014.
Philip Mayer and Annabelle Klarl. Toward a Decentralized and Resilient Autonomic Cloud. Awareness Magazine, 2013. online publication.