Graph Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319211442, 9783319211459

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_17 ◽

2015 ◽

pp. 266-274 ◽

Author(s):

Jan Stückrath

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

AGREE – Algebraic Graph Rewriting with Controlled Embedding

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_3 ◽

2015 ◽

pp. 35-51 ◽

Author(s):

Andrea Corradini ◽

Dominique Duval ◽

Rachid Echahed ◽

Frederic Prost ◽

Leila Ribeiro

Keyword(s):

Graph Rewriting

Download Full-text

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_7 ◽

2015 ◽

pp. 104-120 ◽

Author(s):

Julia Padberg

Keyword(s):

Download Full-text

Tool Support for Multi-amalgamated Triple Graph Grammars

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_16 ◽

2015 ◽

pp. 257-265 ◽

Author(s):

Erhan Leblebici ◽

Anthony Anjorin ◽

Andy Schürr

Keyword(s):

Tool Support ◽

Graph Grammars ◽

Triple Graph Grammars

Download Full-text

Towards Compliance Verification Between Global and Local Process Models

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_14 ◽

2015 ◽

pp. 221-236 ◽

Author(s):

Pieter M. Kwantes ◽

Pieter Van Gorp ◽

Jetty Kleijn ◽

Arend Rensink

Keyword(s):

Process Models ◽

Local Process ◽

Compliance Verification ◽

Global And Local

Download Full-text

Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_4 ◽

2015 ◽

pp. 52-68 ◽

Author(s):

H. J. Sander Bruggink ◽

Barbara König ◽

Dennis Nolte ◽

Hans Zantema

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems ◽

Download Full-text

Inductive Invariant Checking with Partial Negative Application Conditions

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_15 ◽

2015 ◽

pp. 237-253 ◽

Author(s):

Johannes Dyck ◽

Holger Giese

Download Full-text

Local Search-Based Pattern Matching Features in EMF-IncQuery

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_18 ◽

2015 ◽

pp. 275-282 ◽

Author(s):

Márton Búr ◽

Zoltán Ujhelyi ◽

Ákos Horváth ◽

Dániel Varró

Keyword(s):

Local Search ◽

Pattern Matching

Download Full-text

Graph Pattern Matching as an Embedded Clojure DSL

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_12 ◽

2015 ◽

pp. 189-204 ◽

Author(s):

Tassilo Horn

Keyword(s):

Pattern Matching ◽

Graph Pattern Matching ◽

Download Full-text

Polymorphic Sesqui-Pushout Graph Rewriting

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21145-9_1 ◽

2015 ◽

pp. 3-18 ◽

Author(s):

Michael Löwe

Keyword(s):

Graph Rewriting

Download Full-text