Annabelle Klarl
TitleCited byYear
Foundations for Ensemble Modeling – The Helena Approach
R Hennicker, A Klarl
Specification, Algebra, and Software, 359-381, 2014
772014
Teaching agile software development through lab courses
A Schroeder, A Klarl, P Mayer, C Kroiß
Proceedings of the 2012 IEEE Global Engineering Education Conference (EDUCON …, 2012
392012
The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing
P Mayer, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, J Keznikl, ...
2013 IEEE 7th International Conference on Self-Adaptation and Self …, 2013
372013
The autonomic cloud
P Mayer, J Velasco, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, ...
Software Engineering for Collective Autonomic Systems, 495-512, 2015
192015
Design and Implementation of dynamically evolving ensembles with the HELENA framework
A Klarl, R Hennicker
2014 23rd Australian Software Engineering Conference, 15-24, 2014
192014
From Helena Ensemble Specifications to Executable Code
A Klarl, L Cichella, R Hennicker
International Conference on Formal Aspects of Component Software, 183-190, 2014
172014
Helena@ work: Modeling the science cloud platform
A Klarl, P Mayer, R Hennicker
International Symposium On Leveraging Applications of Formal Methods …, 2014
152014
Engineering self-adaptive systems with the role-based architecture of Helena
A Klarl
2015 IEEE 24th International Conference on Enabling Technologies …, 2015
132015
Model-Checking Helena Ensembles with Spin
R Hennicker, A Klarl, M Wirsing
Logic, Rewriting, and Concurrency, 331-360, 2015
82015
Engineering Ensembles: A White Paper of the ASCENS Project
M Hölzl, M Wirsing, A Klarl, N Koch, S Reiter, M Tribastone
ASCENS Deliverable JD1 1, 2011
82011
From Helena Ensemble Specifications to Promela Verification Models
A Klarl
International SPIN Workshop on Model Checking of Software, 39-45, 2015
52015
The Helena Framework (2015)
A Klarl, R Hennicker
URL http://www. pst. ifi. lmu. de/Personen/team/klarl/helena, 0
5
HELENA: Handling massively distributed systems with ELaborate ENsemble Architectures
A Klarl
22016
Model-Checking Helena Ensemble Specifcations with Spin
R Hennicker, A Klarl, M Wirsing
Logic, Rewriting, and Concurrency-Festschrift Symposium in Honor of José …, 0
1
HELENA–Handhabung massiver verteilter Systeme mit ELaborierten ENsemble Architekturen
A Klarl
Ausgezeichnete Informatikdissertationen 2016, 2017
2017
Helena
A Klarl
lmu, 2016
2016
Ode to the PST
M Hölzl, N Koch, P Mayer, A Schroeder, L Belzner, M Busch, A Fasching, ...
Software, Services, and Systems, 13-23, 2015
2015
On the Semantics of Helena Ensemble Specifications «extended abstract»
A Klarl, R Hennicker
WADT, 46, 2014
2014
ASCENS: Towards Systematically Engineering Ensembles
M Hölzl, A Klarl, N Koch, M Tribastone, F Zambonelli
2013
Implementation Framework and Code Generator for Helena Ensemble Specifications
A Klarl, R Hennicker, L Cichella
2011
The system can't perform the operation now. Try again later.
Articles 1–20