The following pages link to Henshin (Q22054):
Displaying 21 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- Hybrid search plan generation for generalized graph pattern matching (Q780064) (← links)
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Exploring conflict reasons for graph transformation systems (Q2292969) (← links)
- A formal framework for incremental model slicing (Q2324183) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions (Q2683030) (← links)
- Probabilistic Graph Transformation Systems (Q2918991) (← links)
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
- Granularity of Conflicts and Dependencies in Graph Transformation Systems (Q4972012) (← links)
- (Q5020535) (← links)
- (Q5021227) (← links)
- Graph Consistency as a Graduated Property (Q5100736) (← links)
- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (Q5100746) (← links)
- Change-Preserving Model Repair (Q5215912) (← links)
- (Q5875357) (← links)
