@article{GolasBiermannEhrigetal.2011, author = {Golas, Ulrike and Biermann, E. and Ehrig, Hartmut and Ermel, Claudia}, title = {A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation}, series = {ECEASST}, volume = {39}, journal = {ECEASST}, pages = {1 -- 24}, year = {2011}, language = {en} } @article{GolasEhrigHermann2011, author = {Golas, Ulrike and Ehrig, Hartmut and Hermann, Frank}, title = {Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions}, series = {ECEASST}, volume = {39}, journal = {ECEASST}, pages = {1 -- 26}, year = {2011}, language = {en} } @article{GolasHoffmannEhrigetal.2011, author = {Golas, Ulrike and Hoffmann, Kathrin and Ehrig, Hartmut and Rein, A. and Padberg, J.}, title = {Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks}, series = {ECEASST}, volume = {40}, journal = {ECEASST}, pages = {1 -- 20}, year = {2011}, language = {en} } @inproceedings{ChabarekGolas2011, author = {Chabarek, F. and Golas, Ulrike}, title = {Interaktive Vervollst{\"a}ndigung der Szenariobasierten Spezifikation eines Parkassistenzsystems}, series = {Proceedings of GI-ASE 2011}, booktitle = {Proceedings of GI-ASE 2011}, editor = {Heiß, H.-U. and Pepper, P. and Schlingloff, H. and Schneider, J{\"o}rg}, year = {2011}, language = {en} } @article{EhrigGolasHabeletal.2012, author = {Ehrig, Hartmut and Golas, Ulrike and Habel, A. and Lambers, L. and Orejas, Fernando}, title = {M-Adhesive Transformation Systems with Nested Application Conditions. Part 2}, series = {Fundamenta Informaticae}, volume = {118}, journal = {Fundamenta Informaticae}, number = {1-2}, doi = {10.3233/FI-2012-705}, pages = {35 -- 63}, year = {2012}, language = {en} } @inproceedings{SobollGolas2012, author = {Soboll, T. and Golas, Ulrike}, title = {A Local-Global Model for Multiagent Systems - Sheaves on the Category MAS}, series = {Proceedings of ICAART 2012}, volume = {2}, booktitle = {Proceedings of ICAART 2012}, editor = {Filipe, J. and Fred, A.}, publisher = {SciTePress}, pages = {331 -- 334}, year = {2012}, language = {en} } @article{GolasLambersEhrigetal.2012, author = {Golas, Ulrike and Lambers, L. and Ehrig, Hartmut and Orejas, Fernando}, title = {Attributed Graph Transformation with Inheritance}, series = {Theoretical Computer Science}, volume = {424}, journal = {Theoretical Computer Science}, doi = {10.1016/j.tcs.2012.01.032}, pages = {46 -- 68}, year = {2012}, language = {en} } @inproceedings{Golas2012, author = {Golas, Ulrike}, title = {A General Attribution Concept for Models in M-Adhesive Transformation Systems}, series = {Proceedings of ICGT 2012}, volume = {7562}, booktitle = {Proceedings of ICGT 2012}, editor = {Ehrig, Hartmut and Engels, G. and Kreowski, H.-J. and Rozenberg, G.}, publisher = {Springer}, doi = {10.1007/978-3-642-33654-6_13}, pages = {187 -- 202}, year = {2012}, language = {en} } @inproceedings{GolasLambersEhrigetal.2012, author = {Golas, Ulrike and Lambers, L. and Ehrig, Hartmut and Giese, H.}, title = {Towards Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements}, series = {Proceedings of ICGT 2012}, volume = {7562}, booktitle = {Proceedings of ICGT 2012}, editor = {Ehrig, Hartmut and Engels, G. and Kreowski, H.-J. and Rozenberg, G.}, publisher = {Springer}, doi = {10.1007/978-3-642-33654-6_10}, pages = {141 -- 155}, year = {2012}, language = {en} } @inproceedings{HeckelEhrigGolasetal.2012, author = {Heckel, R. and Ehrig, Hartmut and Golas, Ulrike and Hermann, Frank}, title = {Parallelism and Concurrency of Stochastic Graph Transformations}, series = {Proceedings of ICGT 2012}, volume = {7562}, booktitle = {Proceedings of ICGT 2012}, editor = {Ehrig, Hartmut and Engels, G. and Kreowski, H.-J. and Rozenberg, G.}, publisher = {Springer}, doi = {10.1007/978-3-642-33654-6_7}, pages = {96 -- 110}, year = {2012}, language = {en} }