Henshin
From MaRDI portal
Cited in
(49)- GrGen
- AToMPM
- OCLinEcore
- OCL2AC
- SimSG
- VIATRA2
- AGG
- The Verigraph system for graph transformation
- Stony Brook
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- Augur 2
- A tale of two graph models: a case study in wireless sensor networks
- CheckVML
- GROOVE
- OOZE
- ATL
- Exploring conflict reasons for graph transformation systems
- A formal framework for incremental model slicing
- UMLtoCSP
- Theorem proving graph grammars with attributes and negative application conditions
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- Probabilistic graph transformation systems
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- RuleMerger
- GGL
- VMQL
- Verigraph
- eMoflon
- AGREE
- EMorF
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Kompren
- Granularity of conflicts and dependencies in graph transformation systems
- Analysis of graph transformation systems: native vs translation-based techniques
- scientific article; zbMATH DE number 7456056 (Why is no real title available?)
- Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
- A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
- GP 2
- Change-Preserving Model Repair
- Linear-time graph algorithms in GP 2
- PTGTSs
- DrAGoM
- ENFORCe
- MDEOptimiser
- Melanee
- Variability-based model transformation: formal foundation and application
- Hybrid search plan generation for generalized graph pattern matching
- Constructing optimized constraint-preserving application conditions for model transformation rules
This page was built for software: Henshin
