@inproceedings{BodermannHansenBurgeretal.2012, author = {Bodermann, Bernd and Hansen, Poul-Erik and Burger, Sven and Henn, Mark-Alexander and Gross, Hermann and B{\"a}r, Markus and Scholze, Frank and Endres, Johannes and Wurm, Matthias}, title = {First steps towards a scatterometry reference standard}, series = {Proc. SPIE}, volume = {8466}, booktitle = {Proc. SPIE}, doi = {10.1117/12.929903}, pages = {84660E}, year = {2012}, 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} } @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} } @article{HermannEhrigGolasetal., author = {Hermann, Frank and Ehrig, Hartmut and Golas, Ulrike and Orejas, Fernando}, title = {Formal Analysis of Model Transformations Based on Triple Graph Grammars}, series = {Mathematical Structures in Computer Science}, volume = {24}, journal = {Mathematical Structures in Computer Science}, number = {4}, doi = {10.1017/S0960129512000370}, pages = {1 -- 57}, language = {en} } @book{EhrigErmelGolasetal., author = {Ehrig, Hartmut and Ermel, Claudia and Golas, Ulrike and Hermann, Frank}, title = {Graph and Model Transformation}, publisher = {Springer-Verlag Berlin Heidelberg}, isbn = {978-3-662-47979-7}, doi = {10.1007/978-3-662-47980-3}, abstract = {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.}, language = {en} } @article{HaertigMatsuokaMuelleretal., author = {H{\"a}rtig, Hermann and Matsuoka, Satoshi and Mueller, Frank and Reinefeld, Alexander}, title = {Resilience in Exascale Computing (Dagstuhl Seminar 14402)}, series = {Dagstuhl Reports}, volume = {4}, journal = {Dagstuhl Reports}, number = {9}, doi = {10.4230/DagRep.4.9.124}, pages = {124 -- 139}, language = {en} } @article{BoethDudaHinzmannetal., author = {Boeth, Heide and Duda, Georg and Hinzmann, Daniel and Hermann, Sandra and Taylor, William R. and Ehrig, Rainald and Witaschek, Tom and Buttgereit, Frank}, title = {A Novel Approach to Quantify Morning Stiffness in Patients with Rheumatoid Arthritis}, series = {Annual European Congress of Rheumatology, EULAR 2015, Rome}, journal = {Annual European Congress of Rheumatology, EULAR 2015, Rome}, language = {en} }