-
2
-
Discovery, Verification and Conformance of Workflows with Cancellation
-
3
-
The AUTOSAR Way of Model-Based Engineering of Automotive Systems
-
4
-
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
-
5
-
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
-
6
-
Abstracting Complex Data Structures by Hyperedge Replacement
-
7
-
Inductively Sequential Term-Graph Rewrite Systems
-
8
-
Mobile Agents Implementing Local Computations in Graphs
-
9
-
A Decentralized Implementation of Mobile Ambients
-
10
-
Network Applications of Graph Bisimulation
-
12
-
Embedding and Confluence of Graph Transformations with Negative Application Conditions
-
13
-
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
-
15
-
High-Level Programs and Program Conditions
-
17
-
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
-
18
-
Open Petri Nets: Non-deterministic Processes and Compositionality
-
19
-
Attributed Graph Constraints
-
20
-
Resolution-Like Theorem Proving for High-Level Conditions
-
21
-
Towards the Verification of Attributed Graph Transformation Systems
-
24
-
Graph Multiset Transformation as a Framework for Massively Parallel Computation
-
25
-
Pullback Grammars Are Context-Free
-
27
-
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
-
28
-
15 Years of Triple Graph Grammars
-
29
-
Pattern-Based Model-to-Model Transformation
-
30
-
Adaptive Star Grammars for Graph Models
-
31
-
Tutorial Introduction to Graph Transformation
-
32
-
Workshop on Graph Computation Models
-
34
-
Workshop on Petri Nets and Graph Transformations
-
36
-
ICGT 2008 Doctoral Symposium
-
40
-
From Separation Logic to Hyperedge Replacement and Back
-
41
-
Security, Cryptography and Directed Bigraphs
-
42
-
Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement
-
43
-
Grammar Morphisms and Weakly Adhesive Categories
-
44
-
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
-
47
-
Service Extraction from Legacy Systems
-
48
-
Development of Correct Graph Transformation Systems
-
49
-
Graph Transformation for the Semantic Web: Queries and Inference Rules
-
52
-
Transformation-Based Operationalization of Graph Languages
-
1
-
Combining Quality Assurance and Model Transformations in Business-Driven Development
-
1
-
Towards an Algebraic Theory of Bidirectional Transformations
-
17
-
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
-
32
-
Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report
-
44
-
Using Graph Transformation to Support Collaborative Ontology Evolution
-
59
-
Modelling of Longitudinal Information Systems with Graph Grammars
-
66
-
A Generic Layout Algorithm for Meta-model Based Editors
-
82
-
Domain Specific Languages with Graphical and Textual Views
-
98
-
Generating Domain-Specific Model Editors with Complex Editing Commands
-
104
-
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
-
120
-
Defining Abstract Graph Views as Module Interfaces
-
136
-
Programmed Graph Rewriting with DEVS
-
147
-
Graph Transformation for Topology Modelling
-
152
-
Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture
-
168
-
Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD
-
184
-
A Single-Step Term-Graph Reduction System for Proof Assistants
-
194
-
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
-
201
-
Shaped Generic Graph Transformation
-
217
-
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code
-
226
-
Parallel and Sequential Independence for Borrowed Contexts
-
233
-
Graph Rewriting for Hardware Dependent Program Optimizations
-
249
-
Transforming Timeline Specifications into Automata for Runtime Monitoring
-
265
-
Visualization, Simulation and Analysis of Reconfigurable Systems
-
281
-
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
-
297
-
Efficient Graph Matching with Application to Cognitive Automation
-
313
-
Checking and Enforcement of Modeling Guidelines with Graph Transformations
-
321
-
A Modal-Logic Based Graph Abstraction
-
329
-
Aspect Diagrams for UML Activity Models
-
336
-
On the Recognizability of Arrow and Graph Languages
-
345
-
Model-Driven Software Development with Graph Transformations: A Comparative Case Study
-
361
-
Verification and Synthesis of OCL Constraints Via Topology Analysis
-
377
-
State of the Art of QVT: A Model Transformation Language Standard
-
379
-
On Switching to <Emphasis Type="Italic">H</Emphasis>-Free Graphs
-
394
-
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database
-
410
-
Applying a Grouping Operator in Model Transformations
-
426
-
Modeling Successively Connected Repetitive Subgraphs
-
442
-
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
-
456
-
Recursive Graph Pattern Matching
-
463
-
Graph-Based Tools: The Contest
-
470
-
Summary of the Workshop on Natural Computing and Graph Transformations
-
471
-
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
-
475
-
Verification of Architectural Refactorings: Rule Extraction and Tool Support
-
478
-
Abstract Semantics by Observable Contexts
-
481
-
Triple Graph Grammars and OCL for Validating System Behavior
-
487
-
AGTIVE 2007 Graph Transformation Tool Contest
-
493
-
Ludo: A Case Study for Graph Transformation Tools
-
499
-
Towards a Two Layered Verification Approach for Compiled Graph Transformation
-
502
-
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
-
514
-
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
-
514
-
Using a Triple Graph Grammar for State Machine Implementations
-
517
-
Model-Driven Development of Model Transformations
-
540
-
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
-
566
-
The EMF Model Transformation Framework
-
568
-
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
-
570
-
The Modelling Platform GroIMP and the Programming Language XL
-
573
-
Metamodeling with MOFLON
-
575
-
The Graph Rewriting Language and Environment PROGRES
-
577
-
Algorithm and Tool for Ontology Integration Based on Graph Rewriting
-
583
-
Generating Eclipse Editor Plug-Ins Using Tiger
-
585
-
From Graph Transformation to OCL Using USE
-
587
-
Introducing the VMTS Mobile Toolkit