ICGT B

19 papers

YearTitle / Authors
2015AGREE - Algebraic Graph Rewriting with Controlled Embedding.
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
2015Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.
Rodrigo Machado, Leila Ribeiro, Reiko Heckel
2015Equational Reasoning with Context-Free Families of String Diagrams.
Aleks Kissinger, Vladimir Zamdzhiev
2015Graph Pattern Matching as an Embedded Clojure DSL.
Tassilo Horn
2015Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Francesco Parisi-Presicce, Bernhard Westfechtel
2015Inductive Invariant Checking with Partial Negative Application Conditions.
Johannes Dyck, Holger Giese
2015Local Search-Based Pattern Matching Features in EMF-IncQuery.
Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
2015Multi-amalgamated Triple Graph Grammars.
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer
2015Polymorphic Sesqui-Pushout Graph Rewriting.
Michael Löwe
2015Predictive Top-Down Parsing for Hyperedge Replacement Grammars.
Frank Drewes, Berthold Hoffmann, Mark Minas
2015Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
2015Reachability in Graph Transformation Systems and Slice Languages.
Mateus de Oliveira Oliveira
2015Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs.
Julia Padberg
2015Tool Support for Multi-amalgamated Triple Graph Grammars.
Erhan Leblebici, Anthony Anjorin, Andy Schürr
2015Towards Compliance Verification Between Global and Local Process Models.
Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
2015Towards Local Confluence Analysis for Amalgamated Graph Transformation.
Gabriele Taentzer, Ulrike Golas
2015Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer
2015Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.
Jan Stückrath
2015Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence.
Jens H. Weber, Simon Diemert, Morgan Price