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