Sciweavers

1550 search results - page 47 / 310
» Benchmarking for Graph Transformation
Sort
View
ECEASST
2007
47views more  ECEASST 2007»
13 years 11 months ago
Simulating Multigraph Transformations Using Simple Graphs
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Ar...
IANDC
2007
62views more  IANDC 2007»
13 years 11 months ago
Unfolding semantics of graph transformation
Paolo Baldan, Andrea Corradini, Ugo Montanari, Lei...
ENTCS
2002
92views more  ENTCS 2002»
13 years 10 months ago
PLCTools: Graph Transformation Meets PLC Design
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
Luciano Baresi, Marco Mauri, Mauro Pezzè
STTT
2010
104views more  STTT 2010»
13 years 9 months ago
Graph transformation tool contest 2008
Arend Rensink, Pieter Van Gorp