Sesqui-Pushout Rewriting
Corradini, Andrea, Heindel, Tobias, Hermann, Frank, König, Barbara
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
GrGen : A Fast SPO-Based Graph Rewriting Tool
GEISS, Rubino, VEIT BATZ, Gernot, GRUND, Daniel, HACK, Sebastian, SZALKOWSKI, Adam
Published in Lecture notes in computer science (2006)
Get full text
Published in Lecture notes in computer science (2006)
Conference Proceeding
On the Use of Alloy to Analyze Graph Transformation Systems
Get full text
Book Chapter
Conference Proceeding
Weakest Preconditions for High-Level Programs
Habel, Annegret, Pennemann, Karl-Heinz, Rensink, Arend
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Conflict Detection for Graph Transformation with Negative Application Conditions
Lambers, Leen, Ehrig, Hartmut, Orejas, Fernando
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Termination Analysis of Model Transformations by Petri Nets
Varró, Dániel, Varró–Gyapay, Szilvia, Ehrig, Hartmut, Prange, Ulrike, Taentzer, Gabriele
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Nested Quantification in Graph Transformation Rules
Get full text
Book Chapter
Conference Proceeding
Adaptive Star Grammars
Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark, Van Eetvelde, Niels
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
Engels, Gregor, Lohmann, Marc, Sauer, Stefan, Heckel, Reiko
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Non-materialized Model View Specification with Triple Graph Grammars
Jakob, Johannes, Königs, Alexander, Schürr, Andy
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Categorical Foundations of Distributed Graph Transformation
Ehrig, Hartmut, Orejas, Fernando, Prange, Ulrike
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
Get full text
Book Chapter
Conference Proceeding
Planning Self-adaption with Graph Transformations
Tichy, Matthias, Klöpper, Benjamin
Published in Applications of Graph Transformations with Industrial Relevance (2012)
Published in Applications of Graph Transformations with Industrial Relevance (2012)
Get full text
Book Chapter
Conference Proceeding