Travelled to:1 × Hungary
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:N.Nachtigall F.Hermann T.Engel C.Ermel B.Braatz H.Ehrig G.Morelli A.Pierre F.H.0001 T.E.0001 F.Orejas K.Czarnecki Z.Diskin Y.Xiong
Talks about:grammar (4) tripl (4) model (4) graph (4) translat (2) satellit (2) procedur (2) correct (2) complet (2) view (2)
Person: Susann Gottmann
DBLP: Gottmann:Susann
Contributed to:
2014
20132013
2015
2016Wrote 5 papers:
- ICMT-2014-HermannGNEBMPEE #graph grammar #in the large
- Triple Graph Grammars in the Large for Translating Satellite Procedures (FH, SG, NN, HE, BB, GM, AP, TE, CE), pp. 122–137.
- AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar
- Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.
- ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using
- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
- MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
- Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
- BX-2016-GottmannNE0E #modelling #multi #towards
- Towards the Propagation of Model Updates along different Views in Multi-View Models (SG, NN, CE, FH0, TE0), pp. 45–60.