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: K=ouml=nig:Harald
Contributed to:
2014
2014
2016201720182018Wrote 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.