Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
The Pullback-Pushout Approach to Algebraic Graph Transformation. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Detlef Plump (eds.) |
Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher Born, Leen Lambers, Daniel Strüber 0001, Gabriele Taentzer |
Granularity of Conflicts and Dependencies in Graph Transformation Systems. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maria Maximova, Holger Giese, Christian Krause 0001 |
Probabilistic Timed Graph Transformation Systems. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg |
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr |
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Albert Zündorf, Daniel Gebauer, Clemens Reichmann |
Table Graphs. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler |
A Software Package for Chemically Inspired Graph Transformation. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró |
Rete Network Slicing for Model Queries. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juergen Dingel |
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Dominique Duval, Frédéric Prost, Leila Ribeiro 0001 |
Parallelism in AGREE Transformations. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth |
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers |
On the Operationalization of Graph Queries with Generalized Discrimination Networks. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Sesqui-Pushout Rewriting with Type Refinements. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher Born, Gabriele Taentzer |
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christian Krause 0001, Daniel Johannsen, Radwan Deeb, Kai-Uwe Sattler, David Knacker, Anton Niadzelka |
An SQL-Based Query Language and Engine for Graph Pattern Matching. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roland Kluge, Anthony Anjorin |
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Flamm, Daniel Merkle, Peter F. Stadler, Uffe Thorsen |
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Bak, Detlef Plump |
Compiling Graph Programs to C. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Priemer, Tobias George, Marcel Hahn, Lennert Raesch, Albert Zündorf |
Using Graph Transformation for Puzzle Game Level Generation and Validation. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed, Mark Minas (eds.) |
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg, Alexander Schulz 0003 |
Model Checking Reconfigurable Petri Nets with Maude. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Stefan Schulz 0006 |
A Tool Environment for Managing Families of Model Transformation Rules. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Stückrath |
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Polymorphic Sesqui-Pushout Graph Rewriting. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Dyck, Holger Giese |
Inductive Invariant Checking with Partial Negative Application Conditions. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Andy Schürr, Gabriele Taentzer |
Multi-amalgamated Triple Graph Grammars. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Ulrike Golas |
Towards Local Confluence Analysis for Amalgamated Graph Transformation. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
AGREE - Algebraic Graph Rewriting with Controlled Embedding. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
Reachability in Graph Transformation Systems and Slice Languages. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce, Bernhard Westfechtel (eds.) |
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink |
Towards Compliance Verification Between Global and Local Process Models. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer |
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Machado, Leila Ribeiro 0001, Reiko Heckel |
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg |
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema |
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Andy Schürr |
Tool Support for Multi-amalgamated Triple Graph Grammars. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aleks Kissinger, Vladimir Zamdzhiev |
Equational Reasoning with Context-Free Families of String Diagrams. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tassilo Horn |
Graph Pattern Matching as an Embedded Clojure DSL. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Márton Búr, Zoltán Ujhelyi, Ákos Horváth 0001, Dániel Varró |
Local Search-Based Pattern Matching Features in EMF-IncQuery. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jens H. Weber, Simon Diemert, Morgan Price |
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
Reversible Sesqui-Pushout Rewriting. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Hayman, Tobias Heindel |
On Pushouts of Partial Maps. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Reiko Heckel |
Canonical Derivations with Negative Application Conditions. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink |
Towards Process Mining with Graph Transformation Systems. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer |
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Reiko Heckel, Pawel Sobocinski 0001 |
Transformation and Refinement of Rigid Structures. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno |
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christina Jansen, Florian Göbe, Thomas Noll 0001 |
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Harald König, Michael Löwe, Christoph Schulz 0002, Uwe Wolter |
Van Kampen Squares for Graph Transformation. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Barbara König 0001 (eds.) |
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gehan M. K. Selim, Levi Lucio, James R. Cordy, Jürgen Dingel, Bentley J. Oakes |
Specification and Verification of Graph-Based Model Transformation Properties. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | H. N. de Ridder, Natalia de Ridder |
The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet |
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Arendt, Annegret Habel, Hendrik Radke, Gabriele Taentzer |
From Core OCL Invariants to Nested Graph Constraints. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Fernando Orejas |
Tableau-Based Reasoning for Graph Properties. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer |
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frederik Deckwerth, Gergely Varró |
Attribute Handling for Generating Preconditions from Graph Constraints. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christina Jansen, Thomas Noll 0001 |
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Poskitt, Detlef Plump |
Verifying Monadic Second-Order Properties of Graph Programs. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Florian Mantz, Yngve Lamo |
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Westfechtel, Manfred Nagl |
Graph Transformations for Evolving Domain Knowledge. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel |
DPO Transformation with Open Maps. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró |
Incremental Pattern Matching for the Efficient Computation of Transitive Closure. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe |
Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Anjorin, Andy Schürr, Gabriele Taentzer |
Construction of Integrity Preserving Triple Graph Grammars. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Jeroen Ketema |
Rational Term Rewriting Revisited: Decidability and Confluence. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Graph Transformation with Focus on Incident Edges. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001 |
Parallelism and Concurrency of Stochastic Graph Transformations. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Golas |
A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink, Eduardo Zambon |
Pattern-Based Graph Abstraction. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le 0001, Julia Seiter 0002, Mathias Soeken, Robert Wille |
Completeness-Driven Development. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Gabriele Taentzer |
ICGT 2012 Doctoral Symposium. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tamim Ahmed Khan, Olga Runge, Reiko Heckel |
Testing against Visual Contracts: Model-Based Coverage. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yongzhi Ong |
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Vandin |
Specification and Verification of Modal Properties for Structured Systems. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio |
Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Leen Lambers |
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Traian-Florin Serbanuta, Grigore Rosu |
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Krause 0001, Holger Giese |
Probabilistic Graph Transformation Systems. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese |
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König 0001 |
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Artur Boronat, Nikos Mylonakis |
Borrowed Contexts for Attributed Graphs. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Annegret Habel, Detlef Plump |
$\mathcal M, \mathcal N$ -Adhesive Transformation Systems. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.) |
Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Jan Stückrath |
Well-Structured Graph Transformation Systems with Negative Application Conditions. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr |
Efficient Model Synchronization with Precedence Triple Graph Grammars. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Bergmann, Dóra Horváth, Ákos Horváth 0001 |
Applying Incremental Graph Transformation to Existing Models in Relational Databases. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amir Hossein Ghamarian, Arend Rensink |
Generalised Compositionality in Graph Transformation. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Poskitt |
Verification of Graph Programs. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
A Graph-Based Design Framework for Services. |
ICGT |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Leen Lambers |
Delaying Constraint Solving in Symbolic Graph Transformation. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas |
Finitary ℳ-Adhesive Categories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Blume |
Recognizable Graph Languages for the Verification of Dynamic Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Åsa Hagström, Francesco Parisi-Presicce |
A Model for Distribution and Revocation of Certificates. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fawad Qayum |
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske, Robert Wille |
Graph Transformation Units Guided by a SAT Solver. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|