BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × United Kingdom
2 × France
Collaborated with:
Z.Diskin M.Löwe C.Schulz M.Lawford U.Wolter A.Rutle L.Iovino
Talks about:
transform (4) model (3) graph (3) consist (2) check (2) multimodel (1) polymorph (1) heterogen (1) traceabl (1) synchron (1)

Person: Harald König

DBLP DBLP: K=ouml=nig:Harald

Contributed to:

FASE 20142014
ICGT 20142014
ECMFA 20162016
ECMFA 20172017
ECMFA 20182018
FASE 20182018

Wrote 6 papers:

FASE-2014-LoweKS #category theory #graph transformation #polymorphism
Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
ICGT-2014-KonigLSW #graph transformation
Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.
ECMFA-2016-KonigD #consistency #multi
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling (HK, ZD), pp. 19–35.
ECMFA-2017-KonigD #consistency #modelling #performance
Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.
ECMFA-2018-RutleIKD #automation #co-evolution #graph transformation #modelling #traceability #using
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.
FASE-2018-DiskinKL #lens #multi
Multiple Model Synchronization with Multiary Delta Lenses (ZD, HK, ML), pp. 21–37.

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.