Rolf Hennicker

	2012
68		Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58
67		Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker: Refinement and Asynchronous Composition of Modal Petri Nets. T. Petri Nets and Other Models of Concurrency 5: 96-120 (2012)
	2011
66		Rolf Hennicker, Alexander Knapp: Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153
65		Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)
	2010
64		Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker: Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops 2010: 385-401
63		Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems FIT 2010: 1-8
62		Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit: A Modal Interface Theory with Data Constraints. SBMF 2010: 80-95
61		Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker: On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189
60		Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12
59		Rolf Hennicker, Stephan Janisch, Alexander Knapp: On the Observable Behaviour of Composite Components. Electr. Notes Theor. Comput. Sci. 260: 125-153 (2010)
58		Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Behaviour Protocols for Interacting Stateful Components. Electr. Notes Theor. Comput. Sci. 263: 47-66 (2010)
	2009
57		Sebastian S. Bauer, Rolf Hennicker: Views on Behaviour Protocols and Their Semantic Foundation. CALCO 2009: 367-382
	2008
56		Michel Bidoit, Rolf Hennicker: An Algebraic Semantics for Contract-Based Software Components. AMAST 2008: 216-231
55		M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder: Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406
54		Rolf Hennicker, Stephan Janisch, Alexander Knapp: Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop 2008: 154-180
	2007
53		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		Rolf Hennicker, Alexander Knapp: Activity-Driven Synthesis of State Machines. FASE 2007: 87-101
	2006
51		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		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		Michel Bidoit, Rolf Hennicker: Constructor-based observational logic. J. Log. Algebr. Program. 67(1-2): 3-51 (2006)
	2005
47		Rolf Hennicker, Matthias Ludwig: Property-Driven Development of a Coordination Model for Distributed Simulations. FMOODS 2005: 290-305
46		Michel Bidoit, Rolf Hennicker: Externalized and Internalized Notions of Behavioral Refinement. ICTAC 2005: 334-350
	2004
45		Michel Bidoit, Rolf Hennicker: Glass Box and Black Box Views of State-Based System Specifications.. AMAST 2004: 19
44		Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217
43		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		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		Michel Bidoit, Rolf Hennicker, Alexander Kurz: Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 3(298): 471-510 (2003)
	2002
39		Michel Bidoit, Rolf Hennicker: On the Integration of Observability and Reachability Concepts. FoSSaCS 2002: 21-36
38		Rolf Hennicker, Heinrich Hußmann, Michel Bidoit: On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84
37		Alexander Kurz, Rolf Hennicker: On institutions for modular coalgebraic specifications. Theor. Comput. Sci. 280(1-2): 69-103 (2002)
	2001
36		Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317
35		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		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		Rolf Hennicker, Alexander Kurz: (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. Electr. Notes Theor. Comput. Sci. 19: 164-180 (1999)
	1998
28		Rolf Hennicker, Michel Bidoit: Observational Logic. AMAST 1998: 263-277
27		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		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		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

Coauthor Index

1	Michael N. Barth	[43]
2	Bernhard Bauer	[13] [16]
3	Sebastian S. Bauer	[57] [58] [60] [61] [62] [63] [65] [68]
4	Hubert Baumeister	[34] [42] [44] [49] [53]
5	Michel Bidoit	[12] [15] [17] [18] [19] [20] [22] [23] [25] [27] [28] [30] [35] [38] [39] [40] [44] [45] [46] [48] [51] [56] [62]
6	Ruth Breu	[3]
7	Allan Clark	[53]
8	Alexandre David	[68]
9	Dorsaf Elhog-Benzina	[64] [67]
10	Stefan Gastinger	[21]
11	Stephen Gilmore (Stephen T. Gilmore)	[53]
12	Florian Hacklinger	[49] [53]
13	Serge Haddad	[64] [67]
14	Heinrich Hußmann (Heinrich Hussmann)	[38]
15	Stephan Janisch	[53] [54] [58] [59] [63]
16	Alexander Knapp	[34] [42] [44] [49] [52] [53] [54] [59] [66]
17	Nora Koch	[31] [32] [33]
18	Andreas Kraus	[43]
19	Alexander Kurz	[29] [35] [37] [40]
20	Kim Guldstrand Larsen (Kim G. Larsen)	[68]
21	Axel Legay	[68]
22	Matthias Ludwig	[43] [47] [50]
23	Philip Mayer	[61]
24	Friederike Nickl	[14]
25	Ulrik Nyman (Ulrik Larsen)	[68]
26	Dirk Pattinson	[41]
27	Bernhard Reus	[36]
28	M. Birna van Riemsdijk (Birna van Riemsdijk)	[55]
29	Christoph Schmitz II	[24]
30	Andreas Schroeder	[55] [61]
31	Robert Stabl	[6] [21]
32	Françoise Tort	[30]
33	Andrzej Wasowski	[68]
34	Martin Wirsing	[1] [3] [6] [10] [17] [20] [25] [26] [30] [34] [36] [41] [49] [53] [55] [60] [65]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page