AGG
From MaRDI portal
Cited in
(only showing first 100 items - show all)- GrGen
- AToMPM
- Parallel high-level replacement systems
- yFiles
- Semantic integration of heterogeneous software specifications.
- GenGED
- DIEGO
- ITP/OCL
- DACTL
- PROGRES
- CC4J
- VIATRA2
- Graph transformation benchmarks
- Fujaba
- Petruchio
- AspectJ
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
- Initial conflicts and dependencies: critical pairs revisited
- The Verigraph system for graph transformation
- Stony Brook
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- Grammar-based model transformations: definition, execution, and quality properties
- HOL-OCL
- Compiling dyadic first-order specifications into map algebra
- Reducibility between classes of port graph grammar.
- MOFLON
- PORGY
- GMTE
- LMNtal
- VPM
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Augur 2
- A tale of two graph models: a case study in wireless sensor networks
- CheckVML
- GROOVE
- OOZE
- VIDEAS
- Tom
- UML2Alloy
- MOMENT2
- Jerboa
- SelfSync
- Kermeta
- Henshin
- Moflon
- AToM3
- ATL
- PSMaude
- DiaGen
- Exploring conflict reasons for graph transformation systems
- visone
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Graph transformation for incremental natural language analysis
- On the interoperability of model-to-model transformation languages
- FORMULA 2.0
- scientific article; zbMATH DE number 1629954 (Why is no real title available?)
- SPLLIFT
- GXL
- MedOlDatschgerl
- Simulation of generalised semi-Markov processes based on graph transformation systems
- Modeling and verifying graph transformations in proof assistants
- Rewriting strategies and strategic rewrite programs
- VDMTools
- Overture Tool
- Graph Transformation by Computational Category Theory
- Lessons Learned from Building a Graph Transformation System
- Model transformation and induced instance migration: a universal framework
- A software package for chemically inspired graph transformation
- MetaEnv
- Trustworthy variant derivation with translation validation for safety critical product lines
- Quantomatic: a proof assistant for diagrammatic reasoning
- RuleMerger
- GGL
- A Unified Categorical Approach for Attributed Graph Rewriting
- Embedding and Confluence of Graph Transformations with Negative Application Conditions
- Conflict Detection for Graph Transformation with Negative Application Conditions
- Molecular Analysis of Metabolic Pathway with Graph Transformation
- On the Use of Alloy to Analyze Graph Transformation Systems
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- Verigraph
- eMoflon
- AGREE
- EMorF
- Detection and Resolution of Weaving Interactions
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Verification of graph grammars using a logical approach
- AGEDIS
- scientific article; zbMATH DE number 2016074 (Why is no real title available?)
- MOSBIE
- Strategic port graph rewriting: an interactive modelling framework
- On the interleaving semantics of transformation units -- a step into GRACE
- A strategy language for graph rewriting
- GMTE: a tool for graph transformation and exact/inexact graph matching
- Visual Modeling of Distributed Object Systems by Graph Transformation
- Conflict detection for model versioning based on graph modifications
- Granularity of conflicts and dependencies in graph transformation systems
- Reasoning about graph programs
- scientific article; zbMATH DE number 7456047 (Why is no real title available?)
- scientific article; zbMATH DE number 7456056 (Why is no real title available?)
- Preserving consistency in geometric modeling with graph transformations
This page was built for software: AGG
