| 2008 |
|---|
| 55 | EE | Michel Bidoit,
Rolf Hennicker:
An Algebraic Semantics for Contract-Based Software Components.
AMAST 2008: 216-231 |
| 54 | EE | M. Birna van Riemsdijk,
Rolf Hennicker,
Martin Wirsing,
Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic.
AMAST 2008: 392-406 |
| 2007 |
|---|
| 53 | EE | Alexander Knapp,
Stephan Janisch,
Rolf Hennicker,
Allan Clark,
Stephen Gilmore,
Florian Hacklinger,
Hubert Baumeister,
Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model.
CoCoME 2007: 207-237 |
| 52 | EE | Rolf Hennicker,
Alexander Knapp:
Activity-Driven Synthesis of State Machines.
FASE 2007: 87-101 |
| 2006 |
|---|
| 51 | EE | Michel Bidoit,
Rolf Hennicker:
Proving Behavioral Refinements of COL-specifications.
Essays Dedicated to Joseph A. Goguen 2006: 333-354 |
| 50 | | Rolf Hennicker,
Matthias Ludwig:
Design and Implementation of a Coordination Model for Distributed Simulations.
Modellierung 2006: 83-97 |
| 49 | EE | Hubert Baumeister,
Florian Hacklinger,
Rolf Hennicker,
Alexander Knapp,
Martin Wirsing:
A Component Model for Architectural Programming.
Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006) |
| 48 | EE | Michel Bidoit,
Rolf Hennicker:
Constructor-based observational logic.
J. Log. Algebr. Program. 67(1-2): 3-51 (2006) |
| 2005 |
|---|
| 47 | EE | Rolf Hennicker,
Matthias Ludwig:
Property-Driven Development of a Coordination Model for Distributed Simulations.
FMOODS 2005: 290-305 |
| 46 | EE | Michel Bidoit,
Rolf Hennicker:
Externalized and Internalized Notions of Behavioral Refinement.
ICTAC 2005: 334-350 |
| 2004 |
|---|
| 45 | EE | Michel Bidoit,
Rolf Hennicker:
Glass Box and Black Box Views of State-Based System Specifications..
AMAST 2004: 19 |
| 44 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications.
SEFM 2004: 208-217 |
| 43 | EE | Michael N. Barth,
Rolf Hennicker,
Andreas Kraus,
Matthias Ludwig:
DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin.
Cybernetics and Systems 35(7-8): 639-666 (2004) |
| 42 | EE | Rolf Hennicker,
Alexander Knapp,
Hubert Baumeister:
Semantics of OCL Operation Specifications.
Electr. Notes Theor. Comput. Sci. 102: 111-132 (2004) |
| 2003 |
|---|
| 41 | | Martin Wirsing,
Dirk Pattinson,
Rolf Hennicker:
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Springer 2003 |
| 40 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Kurz:
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci. 3(298): 471-510 (2003) |
| 2002 |
|---|
| 39 | EE | Michel Bidoit,
Rolf Hennicker:
On the Integration of Observability and Reachability Concepts.
FoSSaCS 2002: 21-36 |
| 38 | EE | Rolf Hennicker,
Heinrich Hußmann,
Michel Bidoit:
On the Precise Meaning of OCL Constraints.
Object Modeling with the OCL 2002: 69-84 |
| 37 | EE | Alexander Kurz,
Rolf Hennicker:
On institutions for modular coalgebraic specifications.
Theor. Comput. Sci. 280(1-2): 69-103 (2002) |
| 2001 |
|---|
| 36 | EE | Bernhard Reus,
Martin Wirsing,
Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
FASE 2001: 300-317 |
| 35 | EE | Michel Bidoit,
Rolf Hennicker,
Alexander Kurz:
On the Duality between Observability and Reachability.
FoSSaCS 2001: 72-87 |
| 34 | | Rolf Hennicker,
Hubert Baumeister,
Alexander Knapp,
Martin Wirsing:
Specifying Component Invariants with OCL.
GI Jahrestagung (1) 2001: 600-607 |
| 33 | | Rolf Hennicker,
Nora Koch:
Modeling the User Interface of Web Applications with UML.
pUML 2001: 158-172 |
| 32 | | Rolf Hennicker,
Nora Koch:
Systematic Design of Web Applications with UML.
Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 1-20 |
| 2000 |
|---|
| 31 | EE | Rolf Hennicker,
Nora Koch:
A UML-based Methodology for Hypermedia Design.
UML 2000: 410-424 |
| 1999 |
|---|
| 30 | | Françoise Tort,
Michel Bidoit,
Rolf Hennicker,
Martin Wirsing:
Correct Realization of Interface Constraints with OCL.
UML 1999: 399-415 |
| 29 | EE | Rolf Hennicker,
Alexander Kurz:
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 1998 |
|---|
| 28 | EE | Rolf Hennicker,
Michel Bidoit:
Observational Logic.
AMAST 1998: 263-277 |
| 27 | EE | Michel Bidoit,
Rolf Hennicker:
Modular Correctness Proofs of Behavioural Implementations.
Acta Inf. 35(11): 951-1005 (1998) |
| 1997 |
|---|
| 26 | | Rolf Hennicker,
Martin Wirsing:
Proof Systems for Struvtured Algebraic Specifications: An Overview.
FCT 1997: 19-37 |
| 25 | EE | Rolf Hennicker,
Martin Wirsing,
Michel Bidoit:
Proof Systems for Structured Specifications with Observability Operators.
Theor. Comput. Sci. 173(2): 393-443 (1997) |
| 1996 |
|---|
| 24 | | Rolf Hennicker,
Christoph Schmitz II:
Object-Oriented Implementation of Abstract Data Type Specifications.
AMAST 1996: 163-179 |
| 23 | EE | Michel Bidoit,
Rolf Hennicker:
Behavioural Theories and the Proof of Behavioural Properties.
Theor. Comput. Sci. 165(1): 3-55 (1996) |
| 1995 |
|---|
| 22 | | Michel Bidoit,
Rolf Hennicker:
Proving the Correctness of Behavioural Implementations.
AMAST 1995: 152-168 |
| 21 | | Stefan Gastinger,
Rolf Hennicker,
Robert Stabl:
Design of Modular Software Systems with Reuse.
KORSO Book 1995: 112-127 |
| 20 | | Michel Bidoit,
Rolf Hennicker,
Martin Wirsing:
Behavioural and Abstractor Specifications.
Sci. Comput. Program. 25(2-3): 149-186 (1995) |
| 1994 |
|---|
| 19 | | Michel Bidoit,
Rolf Hennicker:
Proving Behavioural Theorems with Standard First-Order Logic.
ALP 1994: 41-58 |
| 18 | | Michel Bidoit,
Rolf Hennicker:
Behavioural Theories.
COMPASS/ADT 1994: 153-169 |
| 17 | | Michel Bidoit,
Rolf Hennicker,
Martin Wirsing:
Characterizing Behavioural Semantics and Abstractor Semantics.
ESOP 1994: 105-119 |
| 1993 |
|---|
| 16 | | Bernhard Bauer,
Rolf Hennicker:
Proving the Correctness of Algebraic Implementations by the ISAR System.
DISCO 1993: 2-16 |
| 15 | | Michel Bidoit,
Rolf Hennicker:
A General Framework for Modular Implementations of Modular System Specifications.
TAPSOFT 1993: 199-214 |
| 1992 |
|---|
| 14 | | Rolf Hennicker,
Friederike Nickl:
A Behavioural Algebraic Framework for Modular System Design with Reuse.
COMPASS/ADT 1992: 220-234 |
| 13 | | Bernhard Bauer,
Rolf Hennicker:
ISAR: An Interactive System for Algebraic Implementation Proofs.
LPAR 1992: 451-453 |
| 12 | | Michel Bidoit,
Rolf Hennicker:
How to Prove Observational Theorems with LP.
Larch 1992: 18-35 |
| 11 | | Rolf Hennicker:
A Semi-Algorithm for Algebraic Implementation Proofs.
Theor. Comput. Sci. 104(1): 53-87 (1992) |
| 1991 |
|---|
| 10 | | Rolf Hennicker,
Martin Wirsing:
A Formal Method for the Systematic Reuse of Specification Components.
Methods of Programming 1991: 49-75 |
| 9 | | Rolf Hennicker:
Observational Implementation of Algebraic Specifications.
Acta Inf. 28(3): 187-230 (1991) |
| 8 | | Rolf Hennicker:
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.
Formal Asp. Comput. 3(4): 326-345 (1991) |
| 1990 |
|---|
| 7 | | Rolf Hennicker:
Context Induction: a Proof Principle for Behavioural Abstractions.
DISCO 1990: 101-110 |
| 1989 |
|---|
| 6 | | Martin Wirsing,
Rolf Hennicker,
Robert Stabl:
MENU - An Example for the Systematic Reuse of Specifications.
ESEC 1989: 20-41 |
| 5 | | Rolf Hennicker:
Observational Implementations.
STACS 1989: 59-71 |
| 4 | | Rolf Hennicker:
Implementation of Parameterized Observational Specifications.
TAPSOFT, Vol.1 1989: 290-305 |
| 1988 |
|---|
| 3 | | Martin Wirsing,
Rolf Hennicker,
Ruth Breu:
Reusable Specification Components.
MFCS 1988: 121-137 |
| 1986 |
|---|
| 2 | | Rolf Hennicker:
An Implementation Concept for Observational Specifications.
ADT 1986 |
| 1984 |
|---|
| 1 | | Rolf Hennicker,
Martin Wirsing:
Observational Specification: A Birkhoff Theorem.
ADT 1984: 119-135 |
