Sebastian S. Bauer and Rolf Hennicker. Views on behaviour protocols and their semantic foundation. In Proc. 3rd Conf. on Algebra and Coalgebra in Computer Science (CALCO'09), volume 5728 of Lecture Notes in Computer Science, pages 367–382. Springer, 2009.
Rolf Hennicker, Stephan Janisch, and Alexander Knapp. On the Observable Behaviour of Composite Components. In Carlos Canal and Corina Pasareanu, editors, Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08), 2008.
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, and Martin Wirsing. Modelling the CoCoME with the Java/A Component Model. In Andreas Rausch, Ralf Reussner, Raffaela Mirandola, and Frantisek Plasil, editors, The Common Component Modeling Example: Comparing Software Component Models, volume 5153 of Lect. Notes Comp. Sci., pages 207–237, 2008.
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, and Andreas Schroeder. Service specification and matchmaking using description logic: An approach based on institutions. In 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), volume 5140 of LNCS, pages 392–406. Springer-Verlag, 2008.
Rolf Hennicker and Alexander Knapp. Activity-Driven Synthesis of State Machines. In Matt D. Dwyer and Antónia Lopes, editors, Proc. 10th Int. Conf. Fundamental Approaches to Software Engineering (FASE'07), volume 4422 of Lect. Notes Comp. Sci., pages 87–101. Springer, Berlin, 2007.
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, and Martin Wirsing. A Component Model for Architectural Programming. In Luis Barbosa and Zhiming Liu, editors, Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05), volume 160 of Elect. Notes Theo. Comp. Sci., pages 75–96, 2006.
Michel Bidoit and Rolf Hennicker. Proving Behavioral Refinements of COL-specifications. In J. Meseguer J.P. Jouannaud K. Futatsugi, editor, Goguen Festschrift, volume 4060 of Lecture Notes in Computer Science, pages 333–354. Springer, 2006.
Michel Bidoit and Rolf Hennicker. Constructor-based Observational Logic. Journal of Logic and Algebraic Programming, 67(1-2):3–51, 2006.
Rolf Hennicker and Matthias Ludwig. Design and Implementation of a Coordination Model for Distributed Simulations. In Heinrich C. Mayr and Ruth Breu, editors, Proc. Modellierung 2006 (MOD'06), volume P-82 of Lect. Notes Informatics, pages 83–97. Gesellschaft für Informatik, 2006.
Michel Bidoit and Rolf Hennicker. Externalized and internalized notions of behavioral refinement. In M. Wirsing Dang Van Hung, editor, 2nd Int. Colloq. on Theoretical Aspects of Computing (ICTAC'05), volume 3722 of Lecture Notes in Computer Science, pages 334–350. Springer, 2005.