| Towards the Propagation of Model Updates along different Views in Multi-View Models. | 0 | 0.34 | 2016 |
| Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. | 1 | 0.37 | 2015 |
| Local confluence analysis of hypergraph transformation systems with application conditions based on M -functors and Agg | 0 | 0.34 | 2015 |
| A fundamental approach to model versioning based on graph modifications: from theory to implementation | 23 | 0.81 | 2014 |
| Triple Graph Grammars in the Large for Translating Satellite Procedures. | 5 | 0.44 | 2014 |
| Confluence in data reduction: bridging graph transformation and kernelization | 0 | 0.34 | 2013 |
| Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. | 1 | 0.35 | 2013 |
| Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. | 1 | 0.43 | 2013 |
| Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. | 1 | 0.36 | 2013 |
| Towards refactoring of rule-based, in-place model transformation systems | 5 | 0.46 | 2012 |
| Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. | 5 | 0.47 | 2012 |
| Algebraic Approach to Timed Petri Nets. | 0 | 0.34 | 2012 |
| Formal foundation of consistent EMF model transformations by algebraic graph transformation | 24 | 0.89 | 2012 |
| Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. | 0 | 0.34 | 2012 |
| Concurrent model synchronization with conflict resolution based on triple graph grammars | 15 | 0.65 | 2012 |
| A formal resolution strategy for operation-based conflicts in model versioning using graph modifications | 11 | 0.69 | 2011 |
| AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations | 12 | 0.65 | 2011 |
| Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior | 6 | 0.43 | 2011 |
| A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. | 6 | 0.55 | 2011 |
| Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System | 10 | 0.65 | 2010 |
| Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. | 6 | 0.53 | 2010 |
| Conflict detection for model versioning based on graph modifications | 15 | 0.75 | 2010 |
| International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface | 1 | 0.37 | 2010 |
| Parallel independence of amalgamated graph transformations applied to model transformation | 14 | 0.72 | 2010 |
| Formal analysis and verification of self-healing systems | 19 | 0.81 | 2010 |
| RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets. | 0 | 0.34 | 2010 |
| Consistent integration of models based on views of meta models | 5 | 0.45 | 2010 |
| Visual Modeling of Controlled EMF Model Transformation using HENSHIN | 9 | 0.83 | 2010 |
| Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework | 18 | 1.40 | 2010 |
| Graph Modelling and Transformation: Theory meets Practice | 0 | 0.34 | 2010 |
| Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. | 0 | 0.34 | 2009 |
| Visual Modelling and Analysis of Model Transformations based on Graph Transformation. | 2 | 0.36 | 2009 |
| Modeling multicasting in communication spaces by reconfigurable high-level Petri nets | 3 | 0.43 | 2009 |
| Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks | 18 | 0.77 | 2009 |
| An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models | 4 | 0.55 | 2009 |
| Refactoring of Model Transformations | 8 | 0.54 | 2009 |
| Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework | 3 | 0.41 | 2009 |
| On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars | 24 | 1.15 | 2009 |
| Precise Semantics of EMF Model Transformations by Graph Transformation | 51 | 2.36 | 2008 |
| Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008) | 0 | 0.34 | 2008 |
| Implementing Petri Net Transformations using Graph Transformation Tools | 3 | 0.42 | 2008 |
| Flexible visualization of automatic simulation based on structured graph transformation | 4 | 0.48 | 2008 |
| Behavior-Preserving Simulation-to-Animation Model and Rule Transformations | 7 | 0.56 | 2008 |
| Consistent integration of models based on views of visual languages | 6 | 0.53 | 2008 |
| Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation | 24 | 0.99 | 2008 |
| On the relationship of model transformations based on triple and plain graph grammars | 12 | 0.93 | 2008 |
| Generating Eclipse Editor Plug-Ins Using Tiger | 3 | 0.48 | 2007 |
| The EMF Model Transformation Framework | 3 | 0.39 | 2007 |
| Visualization, Simulation and Analysis of Reconfigurable Systems | 0 | 0.34 | 2007 |
| Model Transformations by Graph Transformation are Functors. | 1 | 0.36 | 2007 |
