Rolf Hennicker
Ludwig-Maximilians-Universität München, Institut für Informatik

Prof. Dr. Rolf Hennicker

apl. Prof., Akademischer Direktor

Abteilung:
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
Institut für Informatik
Ludwig-Maximilians-Universität München

Büro:
Oettingenstraße 67
Zimmer E011

Forschungsgebiete:
Objektorientiertes Software-Engineering,
Formale Methoden der Software-Entwicklung,
Algebraische Spezifikationen,
Komponenten-basierte Software-Entwicklung.

Tätigkeiten:
  • Vorlesungen, Betreuung von vorlesungsbegleitenden Übungen, Seminaren, Praktika und Diplomarbeiten.
  • Leiter der Projektgruppe Informatik des Verbundprojekts GLOWA-Danube: Integrative Techniques, Scenarios and Strategies for the Future of Water in the upper Danube Basin: Development of a Distributed Modeling and Decision Support System.
  • Enge wissenschaftliche Zusammenarbeit mit der Ecole Normale Superieure de Cachan (Frankreich).
  • Fachstudienberatung Informatik.

Veröffentlichungen

Ätere Veröffentlichungen:
  • M. Bidoit, R. Hennicker, A. Kurz: On the Integration of Observability and Reachability Concepts. FOSSACS 2002. (postscript)
  • M. Bidoit, R. Hennicker, A. Kurz: On the Duality between Observability and Reachability. FOSSACS 2001. (postscript)
  • B. Reus, M. Wirsing, R. Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001. (postscript)
  • R. Hennicker, N. Koch: A UML-based Methodology for Hypermedia Design. UML 2000. (postscript)
  • A. Kurz, R. Hennicker: On institutions for modular coalgebraic specifications. 2000. (gzipped postscript)
  • M. Bidoit, R. Hennicker, F. Tort, M. Wirsing: Correct realizations of interface constraints with OCL. 1999.
  • M. Bidoit, R. Hennicker: Observer complete definitions are behaviourally coherent. 1999. (postscript)
  • R. Hennicker, A. Kurz: /Omega-/Xsi logic: On the algebraic extension of coalgebraic specifications. Proc. CMCS '99, Coalgabraic Methods in Computer Science, Amsterdam. Electronic Notes in Theoretical Computer Science 19, 195-212, 1999. (gzipped postscript)
  • R. Hennicker, M. Bidoit: Observational logic. Proc. AMAST '98, 7th International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Science 1548, 263-277, Berlin: Springer, 1999. (postscript) (long version, postscript)
  • M. Bidoit, M.V. Cengarle, R. Hennicker: Proof systems for structured specifications and their refinements. In: H. J. Kreowski, E. Astesiano, B. Krieg-Brückner (eds.): Algebraic Foundations of Systems Specification, to appear. (postscript)
  • R. Hennicker: Structured specifications with behavioural operators: semantics, proof methods and applications. Habilitationsschrift, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997. Contents (6 pages) (postscript) Introduction, Chapter 1 and 2 (20 pages) (postscript) Chapter 3 (32 pages) (postscript) Chapter 4 (15 pages) (postscript) Chapter 5 (11 pages) (postscript) Chapter 6 and 7 (26 pages) (postscript) Chapter 8 (33 pages) (postscript) Chapter 9 and 10 (33 pages) (postscript) Chapter 11 (10 pages) (postscript) Chapter 12 and 13 (20 pages) (postscript) Bibliography (8 pages) (postscript) Appendix A - D (9 pages) (postscript) Appendix E (12 pages) (postscript) Appendix F - I (16 pages) (postscript)
  • M. Bidoit, R. Hennicker: Modular correctness proofs of behavioural implementations. Acta Informatica 35, 951-1005, 1998 (compressed postscript)
  • R. Hennicker, M. Wirsing: Proof Systems for Structured Algebraic Specifications: An Overview. Proc. FCT '97, Fundamentals of Computation Theory, Lecture Notes in Computer Science 1279, 19-37, 1997. (compressed postscript)
  • M. Bidoit, R. Hennicker: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 165 (1), 3-55, 1996. (compressed postscript)
  • M. Bidoit, R. Hennicker, M. Wirsing: Behavioural and abstractor specifications. Science of Computer Programming, Vol. 25, No. 2-3, 149-186, 1995. (compressed postscript)
  • R. Hennicker, C. Schmitz: Object-oriented implementation of abstract data type specifications. Proc. AMAST '96, Lecture Notes in Computer Science 1101, 163-179, Berlin: Springer, 1996. (compressed postscript)
  • M. Bidoit, R. Hennicker: Proving behavioural theorems with standard first-order logic. Proc. ALP '94, Algebraic and Logic Programming, Lecture Notes in Computer Science 850, 41-58, Berlin: Springer, 1994. (compressed postscript)
  • R. Hennicker, F. Nickl: A behavioural algebraic framework for modular system design with reuse. (compressed postscript)