TY - JOUR A1 - Golas, Ulrike A1 - Hoffmann, Kathrin A1 - Ehrig, Hartmut A1 - Rein, A. A1 - Padberg, J. T1 - Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/631 VL - 40 SP - 1 EP - 20 ER - TY - CHAP A1 - Chabarek, F. A1 - Golas, Ulrike ED - Heiß, H.-U. ED - Pepper, P. ED - Schlingloff, H. ED - Schneider, Jörg T1 - Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems T2 - Proceedings of GI-ASE 2011 Y1 - 2011 ER - TY - JOUR A1 - Golas, Ulrike A1 - Biermann, E. A1 - Ehrig, Hartmut A1 - Ermel, Claudia T1 - A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/645 VL - 39 SP - 1 EP - 24 ER - TY - JOUR A1 - Golas, Ulrike A1 - Ehrig, Hartmut A1 - Hermann, Frank T1 - Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/646 VL - 39 SP - 1 EP - 26 ER -