Annabelle Klarl

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Venues

EDUCON

Software, Services, and Systems

Specification, Algebra, and Software

WETICE

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Annabelle Klarl
HELENA - Handhabung massiver verteilter Systeme mit ELaborierten ENsemble Architekturen. Ausgezeichnete Informatikdissertationen (2016)
Rolf Hennicker, Annabelle Klarl, Martin Wirsing
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency (2015)
Annabelle Klarl
Engineering Self-Adaptive Systems with the Role-Based Architecture of Helena. WETICE (2015)
Annabelle Klarl
From Helena Ensemble Specifications to Promela Verification Models. SPIN (2015)
Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed
Ode to the PST. Software, Services, and Systems (2015)
Annabelle Klarl, Rolf Hennicker
Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. Australian Software Engineering Conference (2014)
Annabelle Klarl, Philip Mayer, Rolf Hennicker
Helena@Work: Modeling the Science Cloud Platform. ISoLA (1) (2014)
Rolf Hennicker, Annabelle Klarl
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. Specification, Algebra, and Software (2014)
Annabelle Klarl, Lucia Cichella, Rolf Hennicker
From Helena Ensemble Specifications to Executable Code. FACS (2014)
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops (2013)
Andreas Schroeder, Annabelle Klarl, Philip Mayer, Christian Kroiss
Teaching agile software development through lab courses. EDUCON (2012)

Annabelle Klarl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Annabelle Klarl