Follow
Annabelle Klarl
Title
Cited by
Cited by
Year
Foundations for Ensemble Modeling – The Helena Approach: Handling Massively Distributed Systems with ELaborate ENsemble Architectures
R Hennicker, A Klarl
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
1172014
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
542012
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
522013
The autonomic cloud
P Mayer, J Velasco, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015
272015
From Helena Ensemble Specifications to Executable Code
A Klarl, L Cichella, R Hennicker
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
212015
Engineering self-adaptive systems with the role-based architecture of Helena
A Klarl
2015 IEEE 24th International Conference on Enabling Technologies …, 2015
202015
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
Helena@Work: Modeling the Science Cloud Platform
A Klarl, P Mayer, R Hennicker
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
182014
Model-Checking Helena Ensembles with Spin
R Hennicker, A Klarl, M Wirsing
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
132015
From Helena Ensemble Specifications to Promela Verification Models
A Klarl
International SPIN Workshop on Model Checking of Software, 39-45, 2015
92015
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
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
42016
Foundations for Ensemble Modeling–The Helena Approach, Specification, Algebra, and Software
R Hennicker, A Klarl
Lecture Notes in Computer Science 8373, 2014
22014
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
Gesellschaft für Informatik eV, 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: Essays Dedicated to Martin Wirsing on the …, 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
The system can't perform the operation now. Try again later.
Articles 1–20