| 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 | 122 | 2014 |
| 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 | 53 | 2012 |
| 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 | 51 | 2013 |
| 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 | 27 | 2015 |
| From Helena Ensemble Specifications to Executable Code A Klarl, L Cichella, R Hennicker Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015 | 21 | 2015 |
| Engineering self-adaptive systems with the role-based architecture of Helena A Klarl 2015 IEEE 24th International Conference on Enabling Technologies …, 2015 | 20 | 2015 |
| Design and implementation of dynamically evolving ensembles with the helena framework A Klarl, R Hennicker 2014 23rd Australian Software Engineering Conference, 15-24, 2014 | 20 | 2014 |
| Helena@Work: Modeling the Science Cloud Platform A Klarl, P Mayer, R Hennicker Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 18 | 2014 |
| Model-Checking Helena Ensembles with Spin R Hennicker, A Klarl, M Wirsing Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 13 | 2015 |
| From Helena Ensemble Specifications to Promela Verification Models A Klarl International SPIN Workshop on Model Checking of Software, 39-45, 2015 | 9 | 2015 |
| 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 | 8 | 2011 |
| 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 | 4 | 2016 |
| Foundations for Ensemble Modeling–The Helena Approach, Specification, Algebra, and Software R Hennicker, A Klarl Lecture Notes in Computer Science 8373, 2014 | 2 | 2014 |
| 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: 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 |
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerified email at pst.ifi.lmu.de
