Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Löwe |
Graph Rewriting in Span-Categories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Alessandro Bruni, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon |
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Jurack |
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Poskitt, Detlef Plump |
A Hoare Calculus for Graph Programs. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko |
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Spicher, Olivier Michel 0001, Jean-Louis Giavitto |
Declarative Mesh Subdivision Using Topological Rewriting in MGS. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Amalgamating Pushout and Pullback Graph Transformation in Collagories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Hülsbusch |
Bisimulation Theory for Graph Transformation Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Jurack, Gabriele Taentzer |
A Component Concept for Typed Graphs with Inheritance and Containment Structures. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Zambon |
Using Graph Transformations and Graph Abstractions for Software Verification. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Biermann |
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Golas, Hartmut Ehrig, Annegret Habel |
Multi-Amalgamation in Adhesive Categories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adwoa Donyina |
Stochastic Modelling and Simulation of Dynamic Resource Allocation. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Ulrike Golas |
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Rachid Echahed, Andreas Herzig |
A Dynamic Logic for Termgraph Rewriting. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tony Modica |
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
A False History of True Concurrency: From Petri to Tools. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Counterpart Semantics for a Second-Order µ-Calculus. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas |
Local Confluence for Rules with Nested Application Conditions. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ujhelyi |
Static Type Checking of Model Transformation Programs. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Brandt, Frank Hermann 0001 |
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Heindel |
Hereditary Pushouts Reconsidered. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Javier Esparza |
Verification of Graph Transformation Systems with Context-Free Specifications. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Maarten de Mol |
ICGT 2010 Doctoral Symposium. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Radke |
Correctness of Graph Programs Relative to HR + Conditions. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari |
Saturated LTSs for Adhesive Rewriting Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dénes Bisztray, Reiko Heckel |
Combining Termination Criteria by Isolating Deletion. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer |
Conflict Detection for Model Versioning Based on Graph Modifications. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giacoma Valentina Monreale |
LTS Semantics for Process Calculi from Their Graphical Encodings. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eugen Jiresch |
Realizing Impure Functions in Interaction Nets. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (eds.) |
Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini |
Graph Transformation for Domain-Specific Discrete Event Time Simulation. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst |
Discovery, Verification and Conformance of Workflows with Cancellation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
Reset Nets, Verification, Petri Nets, Soundness, Process Mining |
1 | Arend Rensink, Pieter Van Gorp |
Graph-Based Tools: The Contest. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi |
Abstract Semantics by Observable Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank Hermann 0001 |
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ajab Khan |
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Van Gorp |
Model-Driven Development of Model Transformations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Horváth 0001 |
Towards a Two Layered Verification Approach for Compiled Graph Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Heinz Pennemann |
Resolution-Like Theorem Proving for High-Level Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
first-order tautology problem, high-level conditions, weak adhesive HLR categories, theorem proving, resolution |
1 | Davide Grohmann |
Security, Cryptography and Directed Bigraphs. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | H. J. Sander Bruggink, Barbara König 0001 |
On the Recognizability of Arrow and Graph Languages. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Barbara König 0001 |
Workshop on Petri Nets and Graph Transformations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel |
Tutorial Introduction to Graph Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Rieger, Thomas Noll 0001 |
Abstracting Complex Data Structures by Hyperedge Replacement. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Esther Guerra |
Pattern-Based Model-to-Model Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró |
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
incremental graph pattern matching, RETE, benchmarking |
1 | Hans-Jörg Kreowski, Sabine Kuske |
Graph Multiset Transformation as a Framework for Massively Parallel Computation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Embedding and Confluence of Graph Transformations with Negative Application Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Barbara König 0001 |
Open Petri Nets: Non-deterministic Processes and Compositionality. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto |
Network Applications of Graph Bisimulation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Hammoudeh |
Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Adaptive Star Grammars for Graph Models. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Rangel, Leen Lambers, Barbara König 0001, Hartmut Ehrig, Paolo Baldan |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
Towards an Algebraic Theory of Bidirectional Transformations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Emilio Tuosto |
ICGT 2008 Doctoral Symposium. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bilel Derbel, Mohamed Mosbah 0001, Stefan Gruner |
Mobile Agents Implementing Local Computations in Graphs. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
Relabeling systems, Distributed algorithms, Mobile agents |
1 | Hartmut Ehrig, Claudia Ermel |
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Vitali Kozioura |
Towards the Verification of Attributed Graph Transformation Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Giacoma Valentina Monreale |
A Decentralized Implementation of Mobile Ambients. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Ulrike Prange |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier |
Labelled (Hyper)Graphs, Negotiations and the Naming Problem. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Striewe |
Using a Triple Graph Grammar for State Machine Implementations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (eds.) |
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eva Jelínková, Jan Kratochvíl |
On Switching to H-Free Graphs. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Heinz Pennemann |
Development of Correct Graph Transformation Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas |
Attributed Graph Constraints. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | HongQing Yu, Yi Hong 0005 |
Graph Transformation for the Semantic Web: Queries and Inference Rules. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Heindel |
Grammar Morphisms and Weakly Adhesive Categories. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andy Schürr, Felix Klar |
15 Years of Triple Graph Grammars. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
graph translation, rule application, model transformation, triple graph grammars |
1 | Michel Bauderon, Rui Chen, Olivier Ly |
Pullback Grammars Are Context-Free. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
Pullback, Graph grammar |
1 | Rachid Echahed |
Inductively Sequential Term-Graph Rewrite Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dénes Bisztray |
Verification of Architectural Refactorings: Rule Extraction and Tool Support. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karl Azab, Annegret Habel |
High-Level Programs and Program Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall |
Graph Transformation for Topology Modelling. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
topology-based geometric modelling, graph transformation, generalized map |
1 | Jörg Bauer 0001, Iovka Boneva, Marcos E. Kurbán, Arend Rensink |
A Modal-Logic Based Graph Abstraction. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mosbah 0001, Annegret Habel |
Workshop on Graph Computation Models. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Dörr |
The AUTOSAR Way of Model-Based Engineering of Automotive Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Mazanek, Sonja Maier, Mark Minas |
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
hypergraph completion, hyperedge replacement, parsing |
1 | Duc-Hanh Dang |
Triple Graph Grammars and OCL for Validating System Behavior. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Erhard Weinell |
Transformation-Based Operationalization of Graph Languages. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ion Petre, Grzegorz Rozenberg |
Summary of the Workshop on Natural Computing and Graph Transformations. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mike Dodds |
From Separation Logic to Hyperedge Replacement and Back. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Tobias Heindel |
Parallel and Sequential Independence for Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos M. P. Matos |
Service Extraction from Legacy Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Fernando Orejas, Ulrike Prange |
Categorical Foundations of Distributed Graph Transformation. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, David Janin |
Automata on Directed Graphs: Edge Versus Vertex Marking. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Lack, Pawel Sobocinski 0001 |
Toposes Are Adhesive. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Barbara König 0001 |
Process Bisimulation Via a Graphical Encoding. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Büttner, Martin Gogolla |
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske |
Autonomous Units and Their Semantics - The Sequential Case. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001 |
Sesqui-Pushout Rewriting. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente |
Heuristic Search for the Analysis of Graph Transition Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Annegret Habel, Karl-Heinz Pennemann, Arend Rensink |
Weakest Preconditions for High-Level Programs. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Jakob, Alexander Königs, Andy Schürr |
Non-materialized Model View Specification with Triple Graph Grammars. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Hernán C. Melgratti |
Dynamic Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Marc Lohmann, Stefan Sauer 0001, Reiko Heckel |
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski |
GrGen: A Fast SPO-Based Graph Rewriting Tool. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Paola Spoletini |
On the Use of Alloy to Analyze Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Leen Lambers, Hartmut Ehrig, Fernando Orejas |
Conflict Detection for Graph Transformation with Negative Application Conditions. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|