Time and Space Issues in the Generation of Graph Transition Systems

[1]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[2]  Ezio Lefons,et al.  Analytical Profile Estimation in Database Systems , 1995, Inf. Syst..

[3]  Andy Schürr,et al.  GRAS, a Graph-Oriented (Software) Engineering Database System , 1995, Inf. Syst..

[4]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[5]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[6]  A. Schfürr,et al.  Programmed graph replacement systems , 1997 .

[7]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[8]  Andy Schürr,et al.  Programmed Graph Replacement Systems , 1997, Handbook of Graph Grammars.

[9]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach , 1997, Handbook of Graph Grammars.

[10]  Reiko Heckel,et al.  Compositional Verification of Reactive Systems Specified by Graph Transformation , 1998, FASE.

[11]  Andy Schürr,et al.  Computing with Graphs and Graph Rewriting , 1999 .

[12]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[13]  Elizabeth L. White,et al.  Software visualization of LR parsing and synthesized attribute evaluation , 1999 .

[14]  Gabriele Taentzer,et al.  The AGG approach: language and environment , 1999 .

[15]  Andy Schürr,et al.  Computing with graphs and graph transformations , 1999 .

[16]  Ulrich Nickel,et al.  The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[17]  Tom Mens,et al.  A formal foundation for object-oriented software evolution , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[18]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[19]  Arend Rensink.  The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[20]  Arend Rensink,et al.  Towards model checking graph grammars , 2003 .

[21]  Gabor Karsai,et al.  A UML-based Graph Transformation Approach for Implementing Domain-Specific Model Transformations , 2003 .

[22]  Dániel Varró,et al.  Automated formal verification of visual modeling languages by model checking , 2004, Software & Systems Modeling.

[23]  Dániel Varró,et al.  Model Checking Graph Transformations: A Comparison of Two Approaches , 2004, ICGT.

[24]  H. Kastenberg.  Software Metrics as Class Graph Properties , 2004 .

[25]  Dániel Varró,et al.  Graph Transformation with Incremental Updates , 2004, GT-VMT@ETAPS.

[26]  Hartmut Ehrig,et al.  Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting , 2004, FoSSaCS.

[27]  Hartmut Ehrig,et al.  Adhesive High-Level Replacement Categories and Systems , 2004, ICGT.