Annabelle Klarl, Lucia Cichella, and Rolf Hennicker. From Helena Ensemble Specifications to Executable Code. In Proceedings of the 6th International Symposium on Formal Aspects of Component Software, 2014.
Annabelle Klarl, Philip Mayer, and Rolf Hennicker. HELENA@Work: Modeling the Science Cloud Platform. In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, volume 8802 of Lecture Notes in Computer Science, pages 99–116. Springer, 2014.
Rolf Hennicker and Annabelle Klarl. Klarl, Foundations for Ensemble Modeling - The HELENA Approach. In Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, pages 359–381. Springer, 2014.
Serge Haddad, Rolf Hennicker, and Mikael H. Møller. Channel Properties of Asynchronously Composed Petri Nets. In Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013. Proceedings, volume 7927 of Lecture Notes in Computer Science, pages 369–388. Springer, 2013.
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Maria-Chiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, and Tomas Bures. The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In Proceedings of 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems, pages 89–94. IEEE, 2013.
Sebastian Bauer, Rolf Hennicker, and Martin Wirsing. Building a modal interface theory for concurrency and data. In Till Mossakowski and Hans-Jörg Kreowski, editors, Recent Trends in Algebraic Development Techniques, volume 7137 of Lecture Notes in Computer Science, pages 1–12. Springer Berlin / Heidelberg, 2012. 10.1007/978-3-642-28412-0_1.
Dorsaf Elhog-Benzina, Serge Haddad, and Rolf Hennicker. Refinement and asynchronous composition of modal petri nets. T. Petri Nets and Other Models of Concurrency, 5:96–120, 2012.
Rolf Hennicker and Matthias Ludwig. View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. In Radu Calinescu and David Garlan, editors, Proc. 17th Int. Wsh. Monterey. Development, Operation and Management of Large-Scale Complex IT Systems (Monterey'12), volume 7539 of Lecture Notes in Computer Science, pages 224–250. Springer, Berlin / Heidelberg, 2012.
Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim G. Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. Moving from specifiations to contracts in component-based design. Technical Report 1201, Ludwig-Maximilians-Universität München, January 2012. Extended version of the FASE'12 paper with proofs.
Sebastian S. Bauer, Rolf Hennicker, and Martin Wirsing. Interface theories for concurrency and data. Theor. Comput. Sci., 412(28):3101–3121, 2011. (doi:dx.doi.org/10.1016/j.tcs.2011.04.007)