Ehrig, Hartmut, Germany
-
Volume 4: Graph and Model Transformation 2006 - Articles
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
Abstract PDF -
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 - Articles
Bisimulation Verification for the DPO Approach with Borrowed Contexts
Abstract PDF -
Volume 16: International Conference on Graph Transformation 2008 - Doctoral Symposium - Articles
Verification of Architectural Refactorings: Rule Extraction and Tool Support
Abstract PDF -
Volume 18: Graph Transformation and Visual Modeling Techniques 2009 - Articles
Refactoring of Model Transformations
Abstract PDF -
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Articles
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
Abstract PDF -
Volume 26: Manipulation of Graphs, Algebras and Pictures - Articles
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions
Abstract PDF -
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 - Articles
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Abstract PDF -
Volume 30: Graph and Model Transformation 2010 - Articles
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement
Abstract PDF -
Volume 30: Graph and Model Transformation 2010 - Preface
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface
Details PDF
Hosted By Universitätsbibliothek TU Berlin.