Annabelle Klarl

Annabelle Klarl is a Researcher in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). Her research focuses on ensemble-based software engineering, formal methods, and autonomous systems, particularly through the Helena framework. She is part of the Software and Computational Systems Lab (SoSy), contributing to modeling and verifying distributed systems.

Her work emphasizes rigorous ensemble architectures, dynamic component collaboration, and executable code generation. Key projects include ASCENS (Autonomic Service-Component Ensembles) and the Helena framework, which enables formal modeling and verification of ensemble systems. She has published extensively on topics like ensemble specifications, model-checking, and distributed system design.

Her research bridges theoretical foundations with practical tools, such as the jHelena execution framework and HelenaText domain-specific language. Collaborations with Prof. Rolf Hennicker and others highlight her role in advancing ensemble-based software engineering.