Annabelle Klarl

According to our database, Annabelle Klarl authored at least 13 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Helena: Handling massively distributed systems with ELaborate ENsemble Architectures.

Annabelle Klarl

PhD thesis, 2016

HELENA - Handhabung massiver verteilter Systeme mit ELaborierten ENsemble Architekturen.

Annabelle Klarl

Proceedings of the Ausgezeichnete Informatikdissertationen 2016, 2016

2015

The Autonomic Cloud.

Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Engineering Self-Adaptive Systems with the Role-Based Architecture of Helena.

Annabelle Klarl

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

From Helena Ensemble Specifications to Promela Verification Models.

Annabelle Klarl

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Ode to the PST.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed

Proceedings of the Software, 2015

Model-Checking Helena Ensembles with Spin.

Rolf Hennicker, Annabelle Klarl, Martin Wirsing

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Helena@Work: Modeling the Science Cloud Platform.

Annabelle Klarl, Philip Mayer, Rolf Hennicker

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

From Helena Ensemble Specifications to Executable Code.

Annabelle Klarl, Lucia Cichella, Rolf Hennicker

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures.

Rolf Hennicker, Annabelle Klarl

Proceedings of the Specification, Algebra, and Software, 2014

Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework.

Annabelle Klarl, Rolf Hennicker

Proceedings of the 23rd Australian Software Engineering Conference, 2014

2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.

Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

2012

Teaching agile software development through lab courses.

Andreas Schroeder, Annabelle Klarl, Philip Mayer, Christian Kroiss

Proceedings of the IEEE Global Engineering Education Conference, 2012