Henshin
From MaRDI portal
Software:22054
swMATH10085MaRDI QIDQ22054FDOQ22054
Author name not available (Why is that?)
Cited In (21)
- Variability-based model transformation: formal foundation and application
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- Probabilistic Graph Transformation Systems
- A formal framework for incremental model slicing
- Title not available (Why is that?)
- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
- Graph Consistency as a Graduated Property
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
- Theorem proving graph grammars with attributes and negative application conditions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Change-Preserving Model Repair
- Exploring conflict reasons for graph transformation systems
- A tale of two graph models: a case study in wireless sensor networks
- Constructing optimized constraint-preserving application conditions for model transformation rules
- Hybrid search plan generation for generalized graph pattern matching
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- Granularity of Conflicts and Dependencies in Graph Transformation Systems
- The Verigraph system for graph transformation
This page was built for software: Henshin
