The Third International Workshop on Graph Computation Models

[1]  Sergio Antoy,et al.  Lazy Context Cloning for Non-Deterministic Graph Rewriting , 2007, TERMGRAPH@ETAPS.

[2]  Detlef Plump,et al.  The Semantics of Graph Programs , 2010, RULE.

[3]  Sergio Antoy.  Evaluation strategies for functional logic programming , 2005, J. Symb. Comput..

[4]  Dániel Varró,et al.  A Formal Semantics of UML Statecharts by Model Transition Systems , 2002, ICGT.

[5]  Annegret Habel,et al.  Relabelling in Graph Transformation , 2002, ICGT.

[6]  Hartmut Ehrig,et al.  A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[7]  Jeffrey Shallit,et al.  A Second Course in Formal Languages and Automata Theory , 2008 .

[8]  Michael Hanus,et al.  A Virtual Machine for Functional Logic Computations , 2004, IFL.

[9]  Heinrich Hußmann,et al.  Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach , 2000, FASE.

[10]  Márk Asztalos,et al.  Formal verification of model transformations: An automated framework , 2010, 2010 International Joint Conference on Computational Cybernetics and Technical Informatics.

[11]  Hartmut Ehrig,et al.  Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars , 2010, ICGT.

[12]  David Thomas,et al.  Programming Ruby: the pragmatic programmer's guide , 2000 .

[13]  Márk Asztalos,et al.  Towards Automated, Formal Verification of Model Transformations , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[14]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[15]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[16]  Hartmut Ehrig,et al.  Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation , 2004, FASE.

[17]  Martin Gogolla,et al.  An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation , 2002, IFM.

[18]  Gabriele Taentzer,et al.  Generating Instance Models from Meta Models , 2006, FMOODS.

[19]  Andy Schürr,et al.  15 Years of Triple Graph Grammars , 2008, ICGT.

[20]  Annegret Habel,et al.  Correctness of high-level transformation systems relative to nested conditions† , 2009, Mathematical Structures in Computer Science.

[21]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[22]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[23]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[24]  Arend Rensink,et al.  Representing First-Order Logic Using Graphs , 2004, ICGT.

[25]  Hartmut Ehrig,et al.  Parallelism and Concurrency Theorems for Rules with Nested Application Conditions , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[26]  Karl-Heinz Pennemann,et al.  Development of Correct Graph Transformation Systems , 2008, ICGT.

[27]  László Lengyel,et al.  A formalism for describing modeling transformations for verification , 2009, MoDeVVa '09.

[28]  Annegret Habel,et al.  Amalgamation of Graph Transformations: A Synchronization Mechanism , 1987, J. Comput. Syst. Sci..

[29]  Juan de Lara,et al.  Tools of model transformation by graph transformation: A comparative study , 2012, International Conference on Education and e-Learning Innovations.

[30]  Chengen Wang,et al.  Graph Transformations for the Specification of Access Control in Workflow , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[31]  Michael Hanus,et al.  Set functions for functional logic programming , 2009, PPDP '09.

[32]  Francesco Parisi-Presicce,et al.  UML specification of access control policies and their formal verification , 2006, Software & Systems Modeling.

[33]  Luigi V. Mancini,et al.  Graph-based specification of access control policies , 2005, J. Comput. Syst. Sci..

[34]  Hartmut Ehrig,et al.  On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars , 2009, MoDELS.

[35]  Detlef Plump,et al.  The GP Programming System , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[36]  Hartmut Ehrig,et al.  Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[37]  H. Ehrig,et al.  On the relationship of model transformations based on triple and plain graph grammars , 2008, GRaMoT '08.

[38]  Michael Hanus,et al.  Functional logic programming , 2010, CACM.

[39]  Fernando Orejas,et al.  Attributed Graph Constraints , 2008, ICGT.

[40]  Andrew Fish,et al.  Preserving constraints in horizontal model transformations , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[41]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[42]  Martin Strecker,et al.  Modeling and Verifying Graph Transformations in Proof Assistants , 2008, TERMGRAPH@ETAPS.

[43]  Peter Ekler,et al.  Experiences with Phonebook-Centric Social Networks , 2010, 2010 7th IEEE Consumer Communications and Networking Conference.

[44]  Sergio Antoy,et al.  Implementing functional logic languages using multiple threads and stores , 2004, ICFP '04.

[45]  Sabine Kuske,et al.  A Formal Semantics of UML State Machines Based on Structured Graph Transformation , 2001, UML.

[46]  Detlef Plump,et al.  Termination of Graph Rewriting is Undecidable , 1998, Fundam. Informaticae.

[47]  Hartmut Ehrig,et al.  Multi-Amalgamation in Adhesive Categories , 2010, ICGT.

[48]  Detlef Plump,et al.  The Graph Programming Language GP , 2009, CAI.

[49]  Michael von der Beeck.  A structured operational semantics for UML-statecharts , 2002, Software and Systems Modeling.

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

[51]  Hartmut Ehrig,et al.  Theory of Constraints and Application Conditions: From Graphs to High-Level Structures , 2004, Fundam. Informaticae.

[52]  Annegret Habel,et al.  Double-pushout graph transformation revisited , 2001, Mathematical Structures in Computer Science.

[53]  Andy Schürr,et al.  Tool Integration with Triple Graph Grammars - A Survey , 2006, FoVMT.

[54]  Hartmut Ehrig,et al.  Efficient analysis and execution of correct and complete model transformations based on triple graph grammars , 2010, MDI '10.

[55]  Rachid Echahed.  Inductively Sequential Term-Graph Rewrite Systems , 2008, ICGT.

[56]  Mikolás Janota,et al.  Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax , 2008, MoDELS.

[57]  Andrea Maggiolo-Schettini,et al.  A Graph Rewriting Framework for Statecharts Semantics , 1994, TAGT.

[58]  Bernhard Schätz,et al.  Verification of Model Transformations , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[59]  Bernhard Schätz,et al.  Formalization and Rule-Based Transformation of EMF Ecore-Based Models , 2009, SLE.

[60]  Sushil Jajodia,et al.  Revocations - A classification , 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..

[61]  Juan Rodríguez-Hortalá,et al.  Rewriting and Call-Time Choice: The HO Case , 2008, FLOPS.

[62]  Heinrich Hußmann,et al.  Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting , 1992, J. Log. Program..

[63]  Bernd Brassel,et al.  On a Tighter Integration of Functional and Logic Programming , 2007, APLAS.

[64]  Detlef Plump,et al.  Term graph rewriting , 1999 .