Sciweavers

1550 search results - page 46 / 310
» Benchmarking for Graph Transformation
Sort
View
IANDC
2008
76views more  IANDC 2008»
13 years 11 months ago
A framework for the verification of infinite-state graph transformation systems
Paolo Baldan, Andrea Corradini, Barbara König
ECEASST
2006
54views more  ECEASST 2006»
13 years 11 months ago
Reversing graph transformations
Pawel Sobocinski
ECEASST
2006
48views more  ECEASST 2006»
13 years 11 months ago
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
Szilvia Varró-Gyapay, Dániel Varr&oa...
ENTCS
2006
119views more  ENTCS 2006»
13 years 11 months ago
Cloning and Expanding Graph Transformation Rules for Refactoring
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...
ENTCS
2006
104views more  ENTCS 2006»
13 years 11 months ago
Abstract Graph Transformation
Arend Rensink, Dino Distefano