2009 |
92 | EE | Stefan Jurack,
Leen Lambers,
Katharina Mehner,
Gabriele Taentzer,
Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams.
FASE 2009: 49-63 |
2008 |
91 | | Hartmut Ehrig,
Reiko Heckel,
Grzegorz Rozenberg,
Gabriele Taentzer:
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Springer 2008 |
90 | EE | Gabor Karsai,
Gabriele Taentzer:
Third international workshop on graph and model transformations.
ICSE Companion 2008: 1055-1056 |
89 | EE | Stefan Jurack,
Leen Lambers,
Katharina Mehner,
Gabriele Taentzer:
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.
MoDELS 2008: 341-355 |
88 | EE | Enrico Biermann,
Claudia Ermel,
Gabriele Taentzer:
Precise Semantics of EMF Model Transformations by Graph Transformation.
MoDELS 2008: 53-67 |
87 | EE | Leen Lambers,
Hartmut Ehrig,
Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
ECEASST 10: (2008) |
86 | EE | Jessica Winkelmann,
Gabriele Taentzer,
Karsten Ehrig,
Jochen Malte Küster:
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars.
Electr. Notes Theor. Comput. Sci. 211: 159-170 (2008) |
85 | EE | Frank Hermann,
Hartmut Ehrig,
Gabriele Taentzer:
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Electr. Notes Theor. Comput. Sci. 211: 261-269 (2008) |
84 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Simone Pulcini,
Gabriele Taentzer:
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
Electr. Notes Theor. Comput. Sci. 211: 87-98 (2008) |
2007 |
83 | EE | Gabriele Taentzer,
Dirk Müller,
Tom Mens:
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation.
AGTIVE 2007: 104-119 |
82 | EE | Arend Rensink,
Gabriele Taentzer:
AGTIVE 2007 Graph Transformation Tool Contest.
AGTIVE 2007: 487-492 |
81 | EE | Gabriele Taentzer,
Enrico Biermann,
Dénes Bisztray,
Bernd Bohnet,
Iovka Boneva,
Artur Boronat,
Leif Geiger,
Rubino Geiß,
Ákos Horvath,
Ole Kniemeyer,
Tom Mens,
Benjamin Ness,
Detlef Plump,
Tamás Vajk:
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
AGTIVE 2007: 514-539 |
80 | EE | Enrico Biermann,
Karsten Ehrig,
Claudia Ermel,
Christian Köhler,
Gabriele Taentzer:
The EMF Model Transformation Framework.
AGTIVE 2007: 566-567 |
79 | EE | Enrico Biermann,
Karsten Ehrig,
Claudia Ermel,
Gabriele Taentzer:
Generating Eclipse Editor Plug-Ins Using Tiger.
AGTIVE 2007: 583-584 |
78 | EE | Gabriele Taentzer,
André Crema,
René Schmutzler,
Claudia Ermel:
Generating Domain-Specific Model Editors with Complex Editing Commands.
AGTIVE 2007: 98-103 |
77 | EE | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Frank Hermann,
Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations.
FASE 2007: 72-86 |
76 | EE | Christian Köhler,
Holger Lewin,
Gabriele Taentzer:
Ensuring Containment Constraints in Graph-based Model Transformation Approaches.
ECEASST 6: (2007) |
75 | EE | Tom Mens,
Gabriele Taentzer,
Olga Runge:
Analysing refactoring dependencies using graph transformation.
Software and System Modeling 6(3): 269-285 (2007) |
74 | EE | Juan de Lara,
Roswitha Bardohl,
Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Attributed graph transformation with node type inheritance.
Theor. Comput. Sci. 376(3): 139-163 (2007) |
2006 |
73 | EE | Gabriele Taentzer,
Giovanni Toffetti Carughi:
A Graph-Based Approach to Transform XML Documents.
FASE 2006: 48-62 |
72 | EE | Karsten Ehrig,
Jochen Malte Küster,
Gabriele Taentzer,
Jessica Winkelmann:
Generating Instance Models from Meta Models.
FMOODS 2006: 156-170 |
71 | EE | Dániel Varró,
Szilvia Varró-Gyapay,
Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets.
ICGT 2006: 260-274 |
70 | EE | Enrico Biermann,
Karsten Ehrig,
Christian Köhler,
Günter Kuhns,
Gabriele Taentzer,
Eduard Weiss:
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework.
MoDELS 2006: 425-439 |
69 | EE | Katharina Mehner,
Mattia Monga,
Gabriele Taentzer:
Interaction Analysis in Aspect-Oriented Models.
RE 2006: 66-75 |
68 | EE | Susanne Jucknath-John,
Dennis Graf,
Gabriele Taentzer:
Evolutionary layout: preserving the mental map during the development of class models.
SOFTVIS 2006: 165-166 |
67 | EE | Susanne Jucknath-John,
Dennis Graf,
Gabriele Taentzer:
Evolutionary Layout of Graph Transformation Sequences.
ECEASST 1: (2006) |
66 | EE | Claudia Ermel,
Karsten Ehrig,
Gabriele Taentzer,
Eduard Weiss:
Object Oriented and Rule-based Design of Visual Languages using Tiger.
ECEASST 1: (2006) |
65 | EE | Enrico Biermann,
Karsten Ehrig,
Christian Köhler,
Günter Kuhns,
Gabriele Taentzer,
Eduard Weiss:
EMF Model Refactoring based on Graph Transformation Concepts.
ECEASST 3: (2006) |
64 | EE | Julia Padberg,
Tiziana Margaria,
Gabriele Taentzer:
Editorial.
ECEASST 4: (2006) |
63 | EE | Gabor Karsai,
Gabriele Taentzer:
Preface to GraMoT 2006 Workshop Proceedings.
ECEASST 4: (2006) |
62 | EE | Gabor Karsai,
Gabriele Taentzer:
Preface.
Electr. Notes Theor. Comput. Sci. 152: 1-2 (2006) |
61 | EE | Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Inform. 74(1): 31-61 (2006) |
2005 |
60 | | Hans-Jörg Kreowski,
Ugo Montanari,
Fernando Orejas,
Grzegorz Rozenberg,
Gabriele Taentzer:
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday
Springer 2005 |
59 | EE | Juan de Lara,
Gabriele Taentzer:
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.
ACSD 2005: 144-153 |
58 | EE | Karsten Ehrig,
Claudia Ermel,
Stefan Hänsgen,
Gabriele Taentzer:
Generation of visual editors as eclipse plug-ins.
ASE 2005: 134-143 |
57 | EE | Hartmut Ehrig,
Karsten Ehrig,
Juan de Lara,
Gabriele Taentzer,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
FASE 2005: 49-63 |
56 | EE | Gabriele Taentzer,
Arend Rensink:
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.
FASE 2005: 64-79 |
55 | EE | Claudia Ermel,
Gabriele Taentzer,
Roswitha Bardohl:
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.
Formal Methods in Software and Systems Modeling 2005: 64-83 |
54 | EE | Hartmut Ehrig,
Karsten Ehrig,
Gabriele Taentzer,
Juan de Lara,
Dániel Varró,
Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
Transformation Techniques in Software Engineering 2005 |
53 | EE | Hartmut Ehrig,
Karsten Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
VL/HCC 2005: 71-78 |
52 | EE | Tom Mens,
Gabriele Taentzer,
Olga Runge:
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.
Electr. Notes Theor. Comput. Sci. 127(3): 113-128 (2005) |
51 | EE | Karsten Ehrig,
Claudia Ermel,
Stefan Hänsgen,
Gabriele Taentzer:
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.
Electr. Notes Theor. Comput. Sci. 127(4): 127-143 (2005) |
50 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation.
Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005) |
49 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce,
Gabriele Taentzer:
High-level replacement units and their termination properties.
J. Vis. Lang. Comput. 16(6): 485-507 (2005) |
2004 |
48 | EE | Juan de Lara,
Gabriele Taentzer:
Automated Model Transformation and Its Validation Using AToM 3 and AGG.
Diagrams 2004: 182-198 |
47 | EE | Roswitha Bardohl,
Hartmut Ehrig,
Juan de Lara,
Gabriele Taentzer:
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
FASE 2004: 214-228 |
46 | EE | Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation.
ICGT 2004: 161-177 |
45 | EE | Tom Mens,
Andy Schürr,
Gabriele Taentzer:
Workshop on Graph-Based Tools.
ICGT 2004: 439-441 |
44 | EE | Juan de Lara Jaramillo,
Claudia Ermel,
Gabriele Taentzer,
Karsten Ehrig:
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
Electr. Notes Theor. Comput. Sci. 109: 17-29 (2004) |
2003 |
43 | EE | Anilda Qemali,
Gabriele Taentzer:
Towards Validation of Session Management in Web Applications based on Graph Transformation.
AGTIVE 2003: 15-29 |
42 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Specifying Integrated Refactoring with Distributed Graph Transformations.
AGTIVE 2003: 220-235 |
41 | EE | Gabriele Taentzer:
AGG: A Graph Transformation Environment for Modeling and Validation of Software.
AGTIVE 2003: 446-453 |
40 | EE | Gabriele Taentzer:
AGTIVE'03: Summary from the Theoretical Point of View.
AGTIVE 2003: 489-490 |
39 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Coordinated Distributed Diagram Transformation for Software Evolution.
Electr. Notes Theor. Comput. Sci. 72(4): (2003) |
2002 |
38 | | Gabriele Taentzer:
A Visual Modeling Framework for Distributed Object Computing.
FMOODS 2002: 263-278 |
37 | EE | Reiko Heckel,
Jochen Malte Küster,
Gabriele Taentzer:
Confluence of Typed Attributed Graph Transformation Systems.
ICGT 2002: 161-176 |
36 | EE | Tom Mens,
Andy Schürr,
Gabriele Taentzer:
Workshop on Graph-Based Tools.
ICGT 2002: 440-444 |
35 | EE | Jan Hendrik Hausmann,
Reiko Heckel,
Gabriele Taentzer:
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.
ICSE 2002: 105-115 |
34 | EE | Tom Mens,
Andy Schürr,
Gabriele Taentzer:
Graph-Based Tools (GraBaTs 2002).
Electr. Notes Theor. Comput. Sci. 72(2): (2002) |
2001 |
33 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
A Visualization of OCL Using Collaborations.
UML 2001: 257-271 |
32 | EE | Gabriele Taentzer:
Towards Common Exchange Formats for Graphs and Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
31 | EE | Luciano Baresi,
Mauro Pezzè,
Gabriele Taentzer:
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
30 | EE | Roswitha Bardohl,
T. Schultzke,
Gabriele Taentzer:
Visual Language Parsing in GenGEd.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
29 | EE | Gabriele Taentzer:
Visual Modeling of Distributed Object Systems by Graph Transformation.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
2000 |
28 | | Hartmut Ehrig,
Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
ICALP Satellite Workshops 2000: 427-434 |
27 | | Stefan Gruner,
Murat Kurt,
Gabriele Taentzer:
A Visual Modeling Technique for Controlling Graph Transformation.
ICALP Satellite Workshops 2000: 435-442 |
26 | EE | Michael Goedicke,
Bettina Enders,
Torsten Meyer,
Gabriele Taentzer:
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation.
TACAS 2000: 43-47 |
25 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Consistency Checking and Visualization of OCL Constraints.
UML 2000: 294-308 |
24 | EE | Paolo Bottoni,
Gabriele Taentzer,
Andy Schürr:
Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation.
VL 2000: 59-60 |
1999 |
23 | EE | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni,
Gabriele Taentzer:
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
AGTIVE 1999: 31-45 |
22 | EE | Michael Goedicke,
Bettina Enders,
Torsten Meyer,
Gabriele Taentzer:
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation.
AGTIVE 1999: 369-377 |
21 | EE | Michael Goedicke,
Bettina Enders,
Torsten Meyer,
Gabriele Taentzer:
Tool Support for ViewPoint-oriented Software Development.
AGTIVE 1999: 419-425 |
20 | EE | Gabriele Taentzer:
AGG: A Tool Environment for Algebraic Graph Transformation.
AGTIVE 1999: 481-488 |
19 | EE | Gabriele Taentzer,
Michael Goedicke,
Torsten Meyer:
Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems.
ASE 1999: 287-290 |
18 | | Ingrid Fischer,
Gabriele Taentzer:
Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation.
FBT 1999: 55-64 |
17 | EE | Michael Goedicke,
Torsten Meyer,
Gabriele Taentzer:
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies.
RE 1999: 92-99 |
16 | EE | Gabriele Taentzer:
Adding Visual Rules to Object-Oriented Modeling Techniques.
TOOLS (29) 1999: 275-284 |
15 | EE | Hartmut Ehrig,
Gabriele Taentzer:
Graphical Represenation and Graph Transformation.
ACM Comput. Surv. 31(3es): 9 (1999) |
14 | EE | Gabriele Taentzer:
Distributed Graphs and Graph Transformation.
Applied Categorical Structures 7(4): 431-462 (1999) |
13 | | Marc Andries,
Gregor Engels,
Annegret Habel,
Berthold Hoffmann,
Hans-Jörg Kreowski,
Sabine Kuske,
Detlef Plump,
Andy Schürr,
Gabriele Taentzer:
Graph Transformation for Specification and Programming.
Sci. Comput. Program. 34(1): 1-54 (1999) |
1998 |
12 | | Ingrid Fischer,
Manuel Koch,
Gabriele Taentzer:
Local Views on Distributed Systems and Their Communication.
TAGT 1998: 164-178 |
11 | | Gabriele Taentzer,
Michael Goedicke,
Torsten Meyer:
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems.
TAGT 1998: 179-193 |
1997 |
10 | EE | Gregor Engels,
Reiko Heckel,
Gabriele Taentzer,
Hartmut Ehrig:
A View-Oriented Approach to System Modelling Based on Graph Transformation.
ESEC / SIGSOFT FSE 1997: 327-343 |
9 | EE | Gregor Engels,
Reiko Heckel,
Gabriele Taentzer,
Hartmut Ehrig:
A Combined Reference Model- and View-Based Approach to System Specification.
International Journal of Software Engineering and Knowledge Engineering 7(4): 457-477 (1997) |
8 | EE | Gabriele Taentzer:
Parallel High-Level Replacement Systems.
Theor. Comput. Sci. 186(1-2): 43-81 (1997) |
1996 |
7 | | Annegret Habel,
Reiko Heckel,
Gabriele Taentzer:
Graph Grammars with Negative Application Conditions.
Fundam. Inform. 26(3/4): 287-313 (1996) |
6 | | Gabriele Taentzer:
Towards Synchronous and Asynchronous Graph Transformations.
Fundam. Inform. 26(3/4): 387-406 (1996) |
1995 |
5 | EE | Gabriele Taentzer,
Andy Schürr:
DIEGO, another step towards a module concept for graph transformation systems.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
1994 |
4 | | Gabriele Taentzer:
Hierarchically Distributed Graph Transformation.
TAGT 1994: 304-320 |
1993 |
3 | | Hartmut Ehrig,
Hans-Jörg Kreowski,
Gabriele Taentzer:
Canonical Derivaitons for High-Level Replacement Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 153-169 |
2 | | Gabriele Taentzer,
Martin Beyer:
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 380-394 |
1990 |
1 | | Gabriele Taentzer,
Holger Schween:
Movement of Objects in Configuration Spaces modelled by graph Grammars.
Graph-Grammars and Their Application to Computer Science 1990: 660-675 |