Rolf Hennicker, Michel Bidoit, and Thanh-Son Dang. On Synchronous and Asynchronous Compatibility of Communicating Components. In Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, volume 9686 of Lecture Notes in Computer Science, pages 138–156. Springer, 2016. (doi:10.1007/978-3-319-39519-7_9)
Philip Mayer, Jose Velasco, Annabelle Klarl, Rolf Hennicker, Maria-Chiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, and Tomas Bures. The Autonomic Cloud. In Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer, editors, Software Engineering for Collective Autonomic Systems, volume 8998 of Lecture Notes in Computer Science, pages 495–512. Springer, 2015.
Rocco De Nicola and Rolf Hennicker, editors. Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, volume 8950 of Lecture Notes in Computer Science. Springer, 2015. (doi:10.1007/978-3-319-15545-6)
Rolf Hennicker and Alexander Knapp. Moving from interface theories to assembly theories. Acta Inf., 52(2-3):235–268, 2015.
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, and Rolf Hennicker. Refinement in hybridised institutions. Formal Asp. Comput., 27(2):375–395, 2015.
Rolf Hennicker, Annabelle Klarl, and Martin Wirsing. Model-Checking Helena Ensemble Specifications with Spin. In Logic, Rewriting, and Concurreny, volume 9200 of Lecture Notes in Computer Science, pages 331–360. Springer, 2015.
Rocco De Nicola and Rolf Hennicker, editors. Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering). Springer, 2015 edition, January 2015.
Annabelle Klarl and Rolf Hennicker. Design and Implementation of Dynamically Evolving Ensembles with the HELENA Framework. In Proceedings of the 23rd Australasian Software Engineering Conference, pages 15–24. IEEE, 2014.
Serge Haddad, Rolf Hennicker, and Mikael H. Møller. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. In Trustworthy Global Computing - 8th International Symposium, TGC 2013, Revised Selected Papers, volume 8358 of Lecture Notes in Computer Science, pages 219–234. Springer, 2014.
Sebastian S. Bauer, Rolf Hennicker, and Axel Legay. A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program., 91:70–89, 2014.