AGG

swMATH4449MaRDI QIDQ16625FDOQ16625

Author name not available (Why is that?)

Cited In (68)

• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Parallel high-level replacement systems
• Graph transformation for incremental natural language analysis
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Graph Parsing as Graph Transformation
• Reducibility between classes of port graph grammar.
• An algebraic semantics for MOF
• Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
• Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach
• Title not available (Why is that?)
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Grammar-based model transformations: definition, execution, and quality properties
• Semantic integration of heterogeneous software specifications.
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Verification of graph grammars using a logical approach
• A Unified Categorical Approach for Attributed Graph Rewriting
• Molecular Analysis of Metabolic Pathway with Graph Transformation
• Title not available (Why is that?)
• Algebraic hierarchical graph transformation
• Title not available (Why is that?)
• A framework for the verification of infinite-state graph transformation systems
• A Software Package for Chemically Inspired Graph Transformation
• Rewriting Strategies and Strategic Rewrite Programs
• A Strategy Language for Graph Rewriting
• Reasoning with graph constraints
• GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching
• Formal Methods in Software and Systems Modeling
• Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
• Trustworthy variant derivation with translation validation for safety critical product lines
• Graph Transformation by Computational Category Theory
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Compiling dyadic first-order specifications into map algebra
• Exploring conflict reasons for graph transformation systems
• A tale of two graph models: a case study in wireless sensor networks
• Graph Transformations
• On the interleaving semantics of transformation units — A step into GRACE
• On the interoperability of model-to-model transformation languages
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Fundamental Approaches to Software Engineering
• Strategic port graph rewriting: an interactive modelling framework
• Detection and Resolution of Weaving Interactions
• Visual Modeling of Distributed Object Systems by Graph Transformation
• Conflict Detection for Model Versioning Based on Graph Modifications
• Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system
• PTL: a model transformation language based on logic programming
• Attributed graph transformation with node type inheritance
• Automating the transformation-based analysis of visual languages
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Embedding and Confluence of Graph Transformations with Negative Application Conditions
• Modeling and verifying graph transformations in proof assistants
• Granularity of Conflicts and Dependencies in Graph Transformation Systems
• Lessons Learned from Building a Graph Transformation System
• Simulation of generalised semi-Markov processes based on graph transformation systems
• The Verigraph system for graph transformation
• Diagrammatic Representation and Inference
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Initial conflicts and dependencies: critical pairs revisited
• On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Title not available (Why is that?)
• On the Use of Alloy to Analyze Graph Transformation Systems
• Graphical and incremental type inference. A graph transformation approach
• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
• Preserving consistency in geometric modeling with graph transformations
• Model Transformation and Induced Instance Migration: A Universal Framework
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: AGG