Henshin

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
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• A formal framework for incremental model slicing
• Granularity of conflicts and dependencies in graph transformation systems
• 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
• Analysis of graph transformation systems: native vs translation-based techniques
• A tale of two graph models: a case study in wireless sensor networks
• A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
• Constructing optimized constraint-preserving application conditions for model transformation rules
• Hybrid search plan generation for generalized graph pattern matching
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
• 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
• Probabilistic graph transformation systems
• The Verigraph system for graph transformation

This page was built for software: Henshin