Rolf Hennicker
Ludwig-Maximilians-Universität München, Institut für Informatik
Prof. Dr. Rolf Hennicker
apl. Prof., Akademischer Oberrat
- 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)