TY - CHAP A1 - Bodermann, Bernd A1 - Hansen, Poul-Erik A1 - Burger, Sven A1 - Henn, Mark-Alexander A1 - Gross, Hermann A1 - Bär, Markus A1 - Scholze, Frank A1 - Endres, Johannes A1 - Wurm, Matthias T1 - First steps towards a scatterometry reference standard T2 - Proc. SPIE Y1 - 2012 U6 - https://doi.org/10.1117/12.929903 VL - 8466 SP - 84660E 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 - TY - CHAP A1 - Heckel, R. A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Hermann, Frank ED - Ehrig, Hartmut ED - Engels, G. ED - Kreowski, H.-J. ED - Rozenberg, G. T1 - Parallelism and Concurrency of Stochastic Graph Transformations T2 - Proceedings of ICGT 2012 Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-33654-6_7 VL - 7562 SP - 96 EP - 110 PB - Springer ER - TY - JOUR A1 - Hermann, Frank A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Orejas, Fernando T1 - Formal Analysis of Model Transformations Based on Triple Graph Grammars JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000370 VL - 24 IS - 4 SP - 1 EP - 57 ER - TY - BOOK A1 - Ehrig, Hartmut A1 - Ermel, Claudia A1 - Golas, Ulrike A1 - Hermann, Frank T1 - Graph and Model Transformation BT - General Framework and Applications N2 - This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling. Y1 - 2015 SN - 978-3-662-47979-7 U6 - https://doi.org/10.1007/978-3-662-47980-3 PB - Springer-Verlag Berlin Heidelberg ER - TY - JOUR A1 - Härtig, Hermann A1 - Matsuoka, Satoshi A1 - Mueller, Frank A1 - Reinefeld, Alexander T1 - Resilience in Exascale Computing (Dagstuhl Seminar 14402) JF - Dagstuhl Reports Y1 - 2015 U6 - https://doi.org/10.4230/DagRep.4.9.124 VL - 4 IS - 9 SP - 124 EP - 139 ER - TY - JOUR A1 - Boeth, Heide A1 - Duda, Georg A1 - Hinzmann, Daniel A1 - Hermann, Sandra A1 - Taylor, William R. A1 - Ehrig, Rainald A1 - Witaschek, Tom A1 - Buttgereit, Frank T1 - A Novel Approach to Quantify Morning Stiffness in Patients with Rheumatoid Arthritis JF - Annual European Congress of Rheumatology, EULAR 2015, Rome Y1 - 2015 ER -