Rolf Hennicker and Matthias Ludwig. Property-Driven Development of a Coordination Model for Distributed Simulations. In Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, volume 3535 of Lecture Notes in Computer Science, pages 290–305. Springer, 2005.
Rolf Hennicker, Stephan Janisch, Andreas Kraus, Matthias Ludwig, Wolfram Mauser, Ulrich Strasser, and Ralf Ludwig. DANUBIA: Design and Implementation of an Integrative Simulation and Decision Support System for the Upper Danube Basin. In Geophysical Research Abstracts (EGU'05), volume 7, 08908 of Abstracts of the European Geosciences Union General Assembly. Vienna, Austria, 2005.
Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. DANUBIA: An Integrative Simulation System for Global Research in the Upper Danube Basin. Cybernetics and Systems, 35(7-8):639–666, 2004.
Michel Bidoit, Rolf Hennicker, Alexander Knapp, and Hubert Baumeister. Glass-Box and Black-Box Views on Object-Oriented Specifications. In Jorge R. Cuellar and Zhimming Liu, editors, Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04), pages 208–217. IEEE Computer Society Press, 2004.
Rolf Hennicker, Alexander Knapp, and Hubert Baumeister. Semantics of OCL Operation Specifications. In Peter H. Schmitt, editor, Proc. Wsh. OCL 2.0 - Industry standard or scientific playground?, volume 120 of Electr. Notes Theo. Comp. Sci., pages 111–132. Elsevier, 2004.
L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J. L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing, and A. Zawlocki. AGILE: Software Architecture for Mobility. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Recent Trends in Algebraic Develeopment Techniques—16th International Workshop, WADT 2002, Frauenchiemsee, Germany, Sept. 24–27, 2002, LNCS 2755, pages 1–33. Springer, November 2003.
Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. An Integrated Simulation System for Global Change Research in the Upper Danube Basin. In Proc. of The First World Congress on Information Technology in Environmental Engineering (ITEE 2003). ICSC-NAISO Academic Press, 2003.
R. Ludwig, W. Mauser, S. Niemeyer, A. Colgan, R. Stolz, H. Escher-Vetter, M. Kuhn, M. Reichstein, J. Tenhunen, A. Kraus, M. Ludwig, M. Barth, and R. Hennicker. Web-based Modeling of Water, Energy and Matter Fluxes to Support Decision Making in Mesoscale Catchments - the Integrative Perspective of GLOWA-Danube. Physics and Chemistry of the Earth, 28:621–634, 2003.
Michael Barth, Rolf Hennicker, Andreas Kraus, and Matthias Ludwig. Danubia: A web-based modeling and decision support system for integrative global change research in the upper danube basin. Technical Report German Programme on Globale Change in the Hydrological Cycle (Phase I, 2000 - 2003), Status Report, BMBF, 2002. S.35-38.
Hubert Baumeister. Towards using extreme programming to the formal specication of software; abstract. In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, 16th International Workshop on Algebraic Development Techniques, WADT, Frauenchiemsee, October 2002.