Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. | 1 | 0.37 | 2015 |
Local confluence analysis of hypergraph transformation systems with application conditions based on M -functors and Agg | 0 | 0.34 | 2015 |
Multi-amalgamation of rules with application conditions in -adhesive categories. | 5 | 0.46 | 2014 |
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. | 11 | 0.61 | 2014 |
Confluence in data reduction: bridging graph transformation and kernelization | 0 | 0.34 | 2013 |
Propagation of constraints along model transformations using triple graph grammars and borrowed context | 1 | 0.35 | 2013 |
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence | 3 | 0.39 | 2012 |
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs | 14 | 0.69 | 2012 |
Satisfaction, Restriction And Amalgamation Of Constraints In The Framework Of M-Adhesive Categories | 0 | 0.34 | 2012 |
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes | 2 | 0.37 | 2012 |
A formal resolution strategy for operation-based conflicts in model versioning using graph modifications | 11 | 0.69 | 2011 |
Correctness of model synchronization based on triple graph grammars | 24 | 0.95 | 2011 |
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets | 2 | 0.39 | 2010 |
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. | 6 | 0.53 | 2010 |
Finitary M\mathcal{M}-Adhesive Categories | 4 | 0.44 | 2010 |
Local confluence for rules with nested application conditions | 10 | 0.58 | 2010 |
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface | 1 | 0.37 | 2010 |
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. | 17 | 0.92 | 2010 |
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. | 0 | 0.34 | 2009 |
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings | 44 | 3.44 | 2008 |
Transformations in Reconfigurable Place/Transition Systems | 12 | 0.74 | 2008 |
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences | 13 | 0.85 | 2008 |
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories | 9 | 0.69 | 2008 |
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems | 4 | 0.48 | 2008 |
Attributed graph transformation with node type inheritance | 62 | 2.36 | 2007 |
From algebraic graph transformation to adhesive HLR categories and systems | 1 | 0.40 | 2007 |
Iterative model-driven development of adaptable service-based applications | 5 | 0.49 | 2007 |
Bisimulation Verification for the DPO Approach with Borrowed | 0 | 0.34 | 2007 |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts | 47 | 1.76 | 2006 |
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories | 43 | 1.67 | 2006 |
Conflict detection for graph transformation with negative application conditions | 34 | 1.50 | 2006 |
Efficient Detection of Conflicts in Graph-based Model Transformation | 16 | 0.96 | 2006 |
Termination analysis of model transformations by petri nets | 33 | 1.30 | 2006 |
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures | 38 | 1.94 | 2006 |
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | 28 | 2.86 | 2006 |
Composition and decomposition of DPO transformations with borrowed context | 11 | 0.58 | 2006 |
Behaviour and Instantiation of High-Level Petri Net Processes | 6 | 0.56 | 2005 |
High-level nets with nets and rules as tokens | 55 | 2.31 | 2005 |
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification) | 0 | 0.34 | 2004 |
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings | 3 | 0.82 | 2004 |
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques | 0 | 0.34 | 2003 |
Generation of Animation Views for Petri Nets in GenGED | 3 | 0.58 | 2003 |
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets | 25 | 4.21 | 2003 |
Petri Net Transformations in the "Petri Net Baukasten | 0 | 0.34 | 2003 |
Component-Based System Development. | 0 | 0.34 | 2002 |
A Generic Component Framework for System Modeling | 22 | 1.47 | 2002 |
Foreword Volume 72 | 0 | 0.34 | 2002 |
High-Level Net Processes | 15 | 0.95 | 2002 |
Concurrency and loose semantics of open graph transformation systems | 8 | 0.72 | 2002 |
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] | 19 | 1.61 | 2002 |