|
Issue |
Title |
|
Volume 3: Software Evolution through Transformations 2006 |
EMF Model Refactoring based on Graph Transformation Concepts |
Abstract
PDF
|
Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss |
|
Volume 3: Software Evolution through Transformations 2006 |
Generating Requirements Views: A Transformation-Driven Approach |
Abstract
PDF
|
Lyrene Fernandes Silva, Julio Cesar Sampaio do Prado Leite |
|
Volume 4: Graph and Model Transformation 2006 |
Incremental Graph Pattern Matching: Data Structures and Initial Experiments |
Abstract
PDF
|
Gergely Varró, Dániel Varró, Andy Schürr |
|
Volume 4: Graph and Model Transformation 2006 |
Preface to GraMoT 2006 Workshop Proceedings |
Details
PDF
|
Gabor Karsai, Gabriele Taentzer |
|
Volume 4: Graph and Model Transformation 2006 |
Realizing QVT with Graph Rewriting-Based Model Transformation |
Abstract
PDF
|
Laszlo Lengyel, Tihamér Levendovszky, Tamás Vajk, Hassan Charaf |
|
Volume 4: Graph and Model Transformation 2006 |
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages |
Abstract
PDF
|
Gergely Mezei, László Lengyel, Tihamér Levendovszky, Hassan Charaf |
|
Volume 4: Graph and Model Transformation 2006 |
PML: a Language for Platform Modeling |
Abstract
PDF
|
Tivadar Szemethy, Gabor Karsai |
|
Volume 4: Graph and Model Transformation 2006 |
Towards Translating Graph Transformation Approaches by Model Transformations |
Abstract
PDF
|
Frank Hermann, Harmen Kastenberg, Tony Modica |
|
Volume 4: Graph and Model Transformation 2006 |
Parsing of Adaptive Star Grammars |
Abstract
PDF
|
Mark Minas |
|
Volume 4: Graph and Model Transformation 2006 |
Model Instantiation and Type Checking in UMLX |
Abstract
PDF
|
Edward Daniel Willink |
|
Volume 4: Graph and Model Transformation 2006 |
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation |
Abstract
PDF
|
Claudia Ermel, Hartmut Ehrig, Karsten Ehrig |
|
Volume 4: Graph and Model Transformation 2006 |
Termination of Algebraic Rewriting with Inhibitors |
Abstract
PDF
|
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi Presicce |
|
Volume 4: Graph and Model Transformation 2006 |
Editorial |
Details
PDF
|
Julia Padberg, Tiziana Margaria, Gabriele Taentzer |
|
Volume 4: Graph and Model Transformation 2006 |
Search Trees for Distributed Graph Transformation Systems |
Abstract
PDF
|
Ulrike Ranger, Mathias Lüstraeten |
|
Volume 4: Graph and Model Transformation 2006 |
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations |
Abstract
PDF
|
Anantha Narayanan, Gabor Karsai |
|
Volume 1: Graph Based Tools 2006 |
Generating Meta-Model-Based Freehand Editors |
Abstract
PDF
|
Mark Minas |
|
Volume 1: Graph Based Tools 2006 |
Object Oriented and Rule-based Design of Visual Languages using Tiger |
Abstract
PDF
|
Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss |
|
Volume 1: Graph Based Tools 2006 |
Agraphs: Definition, implementation and tools |
Abstract
PDF
|
David Déharbe, Anamaria Martins Moreira, Demóstenes Sena |
|
Volume 1: Graph Based Tools 2006 |
Automation of Java Code Analysis for Programming Exercises |
Abstract
PDF
|
Carsten Köllmann, Michael Goedicke |
|
Volume 1: Graph Based Tools 2006 |
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs |
Abstract
PDF
|
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt |
|
Volume 1: Graph Based Tools 2006 |
Specifying Distributed Graph Transformation Systems |
Abstract
PDF
|
Ulrike Ranger, Erhard Schultchen, Christof Mosler |
|
Volume 1: Graph Based Tools 2006 |
Evolutionary Layout of Graph Transformation Sequences |
Abstract
PDF
|
Susanne Jucknath-John, Dennis Graf, Gabriele Taentzer |
|
Volume 1: Graph Based Tools 2006 |
The ParMol Package for Frequent Subgraph Mining |
Abstract
PDF
|
Thorsten Meinl, Marc Wörlein, Olga Urzova, Ingrid Fischer, Michael Philippsen |
|
Volume 1: Graph Based Tools 2006 |
RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems |
Abstract
PDF
|
Christian Fuss, Christof Mosler, Marcel Pettau |
|
Volume 1: Graph Based Tools 2006 |
Creating Well-Structured Specifications in MOFLON |
Abstract
PDF
|
Carsten Amelunxen, Tobias Rötschke |
|
Volume 1: Graph Based Tools 2006 |
Preface |
Details
PDF
|
Albert Zündorf, Dániel Varró |
|
Volume 1: Graph Based Tools 2006 |
The Graph Rewriting and Transformation Language: GReAT |
Abstract
PDF
|
Daniel Balasubramanian, Anantha Narayanan, Christopher van Buskirk, Gabor Karsai |
|
Volume 1: Graph Based Tools 2006 |
eDOBS - Graphical Debugging for Eclipse |
Abstract
PDF
|
Leif Geiger, Albert Zündorf |
|
Volume 1: Graph Based Tools 2006 |
Isomorphism Checking in GROOVE |
Abstract
PDF
|
Arend Rensink |
|
Volume 2: Petri Nets and Graph Transformations |
Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs |
Abstract
PDF
|
Barbara Koenig |
|
Volume 2: Petri Nets and Graph Transformations |
Algebraic High-Level Nets as Weak Adhesive HLR Categories |
Abstract
PDF
|
Ulrike Prange |
|
Volume 2: Petri Nets and Graph Transformations |
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets |
Abstract
PDF
|
Marisa Llorens, Javier Oliver |
|
Volume 2: Petri Nets and Graph Transformations |
Event Structure Semantics for Dynamic Graph Grammars |
Abstract
PDF
|
Roberto Bruni, Hernan Melgratti, Ugo Montanari |
|
Volume 2: Petri Nets and Graph Transformations |
Foreword |
Details
PDF
|
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
|
Volume 2: Petri Nets and Graph Transformations |
Reversing graph transformations |
Abstract
PDF
|
Pawel Sobocinski |
|
Volume 2: Petri Nets and Graph Transformations |
Petri Nets and Matrix Graph Grammars: Reachability |
Abstract
PDF
|
Juan de Lara, Pedro Pablo Perez Velasco |
|
Volume 2: Petri Nets and Graph Transformations |
Optimization in Graph Transformation Systems Using Petri Net Based Techniques |
Abstract
PDF
|
Szilvia Varro-Gyapay, Daniel Varro |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Preface |
Details
PDF
|
Karsten Ehrig, Holger Giese |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Generic Search Plans for Matching Advanced Graph Patterns |
Abstract
PDF
|
Ákos Horváth, Gergely Varró, Dániel Varró |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Graph-Based Engineering Systems - A Family of Software Applications and their Underlying Framework |
Abstract
PDF
|
Gregor Wrobel, Ralf-Erik Ebert, Matthias Pleßow |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Evaluating Workflow Definition Language Revisions with Graph-Based Tools |
Abstract
PDF
|
René Wörzberger, Markus Heller, Frank Walter Häßler |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Transforming Collaborative Service Specifications into Efficiently Executable State Machines |
Abstract
PDF
|
Frank Alexander Kraemer, Peter Herrmann |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules |
Abstract
PDF
|
Juan de Lara, Esther Guerra, Paolo Bottoni |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
A Query Language With the Star Operator |
Abstract
PDF
|
Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Adding Recursion to Graph Transformation |
Abstract
PDF
|
Esther Guerra, Juan de Lara |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Simulating Multigraph Transformations Using Simple Graphs |
Abstract
PDF
|
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES |
Abstract
PDF
|
Christian Fuß, Christof Mosler, Ulrike Ranger, Erhard Schultchen |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Visual Programming with Recursion Patterns in Interaction Nets |
Abstract
PDF
|
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Membrane computing [and graph transformation] |
Abstract
PDF
|
Gheorghe Paun |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Imposing Hierarchy on a Graph |
Abstract
PDF
|
Brendan Sheehan, Benoit Gaudin, Aaron Quigley |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Bisimulation Verification for the DPO Approach with Borrowed Contexts |
Abstract
PDF
|
Guilherme Rangel, Barbara König, Hartmut Ehrig |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Rule-Level Verification of Business Process Transformations using CSP |
Abstract
PDF
|
Dánes Bisztray, Reiko Heckel |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
A Subgraph Operator for Graph Transformation Languages |
Abstract
PDF
|
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai |
|
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 |
Ensuring Containment Constraints in Graph-based Model Transformation Approaches |
Abstract
PDF
|
Christian Koehler, Holger Lewin, Gabriele Taentzer |
|
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006 |
Preface |
Details
PDF
|
Dan Ioan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer |
|
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006 |
Integrating OCL and Model Transformations in Fujaba |
Abstract
PDF
|
Mirko Stölzel, Steffen Zschaler, Leif Geiger |
|
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006 |
Towards Sharing Rules Between OWL/SWRL and UML/OCL |
Abstract
PDF
|
Milan Milanović, Dragan Gašević, Adrian Giurca, Gerd Wagner, Vladan Devedžić |
|
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006 |
Model-Driven Constraint Engineering |
Abstract
PDF
|
Michael Wahler, Jana Koehler, Achim D. Brucker |
|
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006 |
An MDA Framework Supporting OCL |
Abstract
PDF
|
Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
|
Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006 |
Semantic Issues of OCL: Past, Present, and Future |
Abstract
PDF
|
Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
|
181 - 240 of 888 Items |
<< < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |