default search action
8th ICGT 2015: L'Aquila, Italy
- Francesco Parisi-Presicce, Bernhard Westfechtel:
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Lecture Notes in Computer Science 9151, Springer 2015, ISBN 978-3-319-21144-2
Foundations
- Michael Löwe:
Polymorphic Sesqui-Pushout Graph Rewriting. 3-18 - Frank Drewes, Berthold Hoffmann
, Mark Minas:
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. 19-34 - Andrea Corradini
AGREE - Algebraic Graph Rewriting with Controlled Embedding. 35-51 - H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema:
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. 52-68 - Gabriele Taentzer, Ulrike Golas
Towards Local Confluence Analysis for Amalgamated Graph Transformation. 69-86 - Erhan Leblebici, Anthony Anjorin
Multi-amalgamated Triple Graph Grammars. 87-103 - Julia Padberg:
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. 104-120 - Mateus de Oliveira Oliveira:
Reachability in Graph Transformation Systems and Slice Languages. 121-137 - Aleks Kissinger
Equational Reasoning with Context-Free Families of String Diagrams. 138-154 - Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer:
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. 155-170 - Rodrigo Machado, Leila Ribeiro, Reiko Heckel:
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. 171-186
Applications: Technical Papers
- Tassilo Horn:
Graph Pattern Matching as an Embedded Clojure DSL. 189-204 - Jens H. Weber, Simon Diemert, Morgan Price:
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence. 205-220 - Pieter M. Kwantes, Pieter Van Gorp
Towards Compliance Verification Between Global and Local Process Models. 221-236 - Johannes Dyck, Holger Giese:
Inductive Invariant Checking with Partial Negative Application Conditions. 237-253
Applications: Tool Presentations
- Erhan Leblebici, Anthony Anjorin
Tool Support for Multi-amalgamated Triple Graph Grammars. 257-265 - Jan Stückrath:
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. 266-274 - Márton Búr, Zoltán Ujhelyi
Local Search-Based Pattern Matching Features in EMF-IncQuery. 275-282
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: