Travelled to:1 × Hungary
1 × Japan
1 × USA
1 × United Kingdom
Collaborated with:C.Meinel F.Hermann S.Gottmann N.Nachtigall B.Braatz H.Ehrig C.Qu G.Morelli A.Pierre C.Ermel E.G.Haffner U.Roth F.Orejas K.Czarnecki Z.Diskin Y.Xiong
Talks about:grammar (4) tripl (4) graph (4) model (3) base (3) translat (2) satellit (2) procedur (2) correct (2) complet (2)
Person: Thomas Engel
DBLP: Engel:Thomas
Contributed to:
2014
20132013
2015
2000
2000Wrote 6 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.
- EDOC-2000-QuEM #framework #implementation #protocol
- Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol (CQ, TE, CM), pp. 160–169.
- SAC-2000-HaffnerREM #documentation #modelling #predict
- Modeling of Time and Document Aging for Request Prediction — One Step Further (EGH, UR, TE, CM), pp. 984–990.