The following pages link to AGG (Q16625):
Displaying 50 items.
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Graphical and incremental type inference. A graph transformation approach (Q526459) (← links)
- Algebraic hierarchical graph transformation (Q596311) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach (Q983194) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Semantic integration of heterogeneous software specifications. (Q1428350) (← links)
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (Q1708174) (← links)
- Initial conflicts and dependencies: critical pairs revisited (Q1708183) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Reducibility between classes of port graph grammar. (Q1872703) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Exploring conflict reasons for graph transformation systems (Q2292969) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)
- Graph transformation for incremental natural language analysis (Q2441777) (← links)
- On the interoperability of model-to-model transformation languages (Q2462419) (← links)
- (Q2729067) (← links)
- Simulation of generalised semi-Markov processes based on graph transformation systems (Q2867890) (← links)
- Modeling and verifying graph transformations in proof assistants (Q2870320) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Graph Transformation by Computational Category Theory (Q3059706) (← links)
- Lessons Learned from Building a Graph Transformation System (Q3059715) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- A Software Package for Chemically Inspired Graph Transformation (Q3187804) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- A Unified Categorical Approach for Attributed Graph Rewriting (Q3503658) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Conflict Detection for Graph Transformation with Negative Application Conditions (Q3541947) (← links)
- Molecular Analysis of Metabolic Pathway with Graph Transformation (Q3541951) (← links)
- On the Use of Alloy to Analyze Graph Transformation Systems (Q3541969) (← links)
- GrGen: A Fast SPO-Based Graph Rewriting Tool (Q3541976) (← links)
- Detection and Resolution of Weaving Interactions (Q3636799) (← links)
- (Q4438777) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- A Strategy Language for Graph Rewriting (Q4909323) (← links)
- GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching (Q4922149) (← links)
- Visual Modeling of Distributed Object Systems by Graph Transformation (Q4923550) (← links)
