Travelled to:
1 × Germany
2 × USA
Collaborated with:
J.Greenyer ∅
Talks about:
scenario (2) transform (1) technolog (1) implement (1) synthesi (1) reconcil (1) guarante (1) composit (1) challeng (1) bidirect (1)
Person: Ekkart Kindler
DBLP: Kindler:Ekkart
Facilitated 3 volumes:
Contributed to:
Wrote 4 papers:
- MoDELS-2013-GreenyerK #composition #specification #synthesis
- Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.
- BX-2011-Kindler #concept #graph grammar #implementation
- Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios (EK), p. 60.
- BX-2011-Kindler1 #bidirectional #challenge
- Some challenges of integrating bidirectional transformation technologies (EK), p. 61.
- MoDELS-2007-GreenyerK #graph grammar #qvt
- Reconciling TGGs with QVT (JG, EK), pp. 16–30.