BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Cyprus
1 × Estonia
1 × France
1 × Portugal
1 × Spain
1 × USA
2 × Italy
3 × United Kingdom
Collaborated with:
M.Bidoit M.Wirsing A.Knapp N.Koch ∅ S.S.Bauer B.Reus A.Kurz R.Stabl A.Madeira P.Mayer A.Schroeder H.Baumeister F.Tort A.David K.G.Larsen A.Legay U.Nyman A.Wasowski
Talks about:
specif (6) behaviour (3) observ (3) design (3) base (3) abstractor (2) implement (2) reachabl (2) modular (2) system (2)

Person: Rolf Hennicker

DBLP DBLP: Hennicker:Rolf

Contributed to:

FASE 20122012
TACAS 20102010
FASE 20072007
SEFM 20042004
FoSSaCS 20022002
FASE 20012001
FoSSaCS 20012001
UML 20002000
UML 19991999
ALP 19941994
ESOP 19941994
ESOP 19941995
ESEC 19891989
TAPSOFT, Vol.1: CAAP 19891989
TAPSOFT CAAP/FASE 19931993
FASE 20192019

Wrote 16 papers:

FASE-2012-BauerDHLLNW #component #contract #design #specification
Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.
TACAS-2010-BauerMSH #on the #refinement
On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.
FASE-2007-HennickerK #state machine #synthesis
Activity-Driven Synthesis of State Machines (RH, AK), pp. 87–101.
SEFM-2004-BidoitHKB #black box #object-oriented #specification
Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.
FoSSaCS-2002-BidoitH #concept #integration #on the #reachability
On the Integration of Observability and Reachability Concepts (MB, RH), pp. 21–36.
FASE-2001-ReusWH #calculus #design #hoare #java #modelling #ocl #verification
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.
FoSSaCS-2001-BidoitHK #on the #reachability
On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.
UML-2000-HennickerK #design #hypermedia #uml
A UML-based Methodology for Hypermedia Design (RH, NK), pp. 410–424.
UML-1999-TortBHW #constraints #interface #ocl
Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
ALP-1994-BidoitH #behaviour #first-order #logic #proving #standard #theorem
Proving Behavioural Theorems with Standard First-Order Logic (MB, RH), pp. 41–58.
ESOP-1994-BidoitHW #behaviour #semantics
Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.
ESOP-J-1994-BidoitHW95 #behaviour #specification
Behavioural and Abstractor Specifications (MB, RH, MW), pp. 149–186.
ESEC-1989-WirsingHS #named #reuse #specification #using
MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.
CAAP-1989-Hennicker #implementation #specification
Implementation of Parameterized Observational Specifications (RH), pp. 290–305.
TAPSOFT-1993-BidoitH #composition #framework #implementation #specification
A General Framework for Modular Implementations of Modular System Specifications (MB, RH), pp. 199–214.
FASE-2019-HennickerMK #data-driven #hybrid #logic
A Hybrid Dynamic Logic for Event/Data-Based Systems (RH, AM, AK), pp. 79–97.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.