Gabriele Taentzer

According to our database1, Gabriele Taentzer authored at least 200 papers between 1990 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Detecting Quality Problems in Research Data: A Model-Driven Approach.
Proceedings of the Software Engineering 2021, 2021

A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.
Proceedings of the Graph Transformation - 14th International Conference, 2021

2020
Java Bytecode Verification with OCL Why, How and Whenc.
J. Object Technol., 2020

Constructing optimized constraint-preserving application conditions for model transformation rules.
J. Log. Algebraic Methods Program., 2020

Double-pushout-rewriting in <i>S</i>-Cartesian functor categories: Rewriting theory and application to partial triple graphs.
J. Log. Algebraic Methods Program., 2020

Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars.
CoRR, 2020

A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering
Springer, ISBN: 978-3-030-43915-6, 2020

2019
Contents for a Model-Based Software Engineering Body of Knowledge.
Softw. Syst. Model., 2019

Introduction to the STAF 2015 special section.
Softw. Syst. Model., 2019

Searching for Optimal Models: Comparing Two Encoding Approaches.
J. Object Technol., 2019

Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach.
J. Log. Algebraic Methods Program., 2019

Towards a conceptual model for unifying variability in space and time.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

A Formal Framework for Incremental Model Slicing.
Proceedings of the Software Engineering and Software Management, 2019

Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary).
Proceedings of the Software Engineering and Software Management, 2019

Applying MDD in the Content Management System Domain: Scenarios and Empirical Assessment.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Exploring Conflict Reasons for Graph Transformation Systems.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Efficient Model Synchronization by Automatically Constructed Repair Processes.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

The Nature of Software Evolution.
Proceedings of the Managed Software Evolution., 2019


2018
Model-driven development of mobile applications for Android and iOS supporting role-based app variability.
Softw. Syst. Model., 2018

Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.
Sci. Comput. Program., 2018

Variability-based model transformation: formal foundation and application.
Formal Aspects Comput., 2018

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Short-Cut Rules - Sequential Composition of Rules Avoiding Unnecessary Deletions.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Transformation of Software Product Lines.
Proceedings of the Software Engineering und Software Management 2018, 2018

How do we teach modelling and model-driven engineering?: a survey.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Multi-granular conflict and dependency analysis in software engineering based on graph transformation.
Proceedings of the 40th International Conference on Software Engineering, 2018

OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules.
Proceedings of the Graph Transformation - 11th International Conference, 2018

Initial Conflicts and Dependencies: Critical Pairs Revisited.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017
Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation.
J. Vis. Lang. Comput., 2017

A text-based visual notation for the unit testing of model-driven tools.
Comput. Lang. Syst. Struct., 2017

RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules.
Proceedings of the Software Engineering 2017, 2017

Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Granularity of Conflicts and Dependencies in Graph Transformation Systems.
Proceedings of the Graph Transformation - 10th International Conference, 2017

Change-Preserving Model Repair.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Towards Verification of Connection-Aware Transaction Models for Mobile Applications.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016
Managing Model and Meta-Model Components with Export and Import Interfaces.
Proceedings of the 4rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2016) federation of conferences, 2016

Model-driven development of platform-independent mobile applications supporting role-based app variability.
Proceedings of the Software Engineering 2016, 2016

Deducing Model Metrics from Meta Models.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

A Model-Driven Process to Migrate Web Content Management System Extensions.
Proceedings of the Web Engineering - 16th International Conference, 2016

A generic architecture supporting context-aware data and transaction management for mobile applications.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

JooMDD: a model-driven development environment for web content management system extensions.
Proceedings of the 38th International Conference on Software Engineering, 2016

Automatically Deriving the Specification of Model Editing Operations from Meta-Models.
Proceedings of the Theory and Practice of Model Transformations, 2016

An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.
Proceedings of the Graph Transformation - 9th International Conference, 2016

Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015
Co-evolving meta-models and their instance models: A formal approach based on graph transformation.
Sci. Comput. Program., 2015

Analysis Techniques for Graph Transformation Systems.
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Starting Model Development in Distributed Teams with Incremental Model Splitting.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Agile Bottom-Up Development of Domain-Specific IDEs for Model-Driven Development.
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

MUTANT: Model-Driven Unit Testing using ASCII-art as Notational Text.
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Towards Local Confluence Analysis for Amalgamated Graph Transformation.
Proceedings of the Graph Transformation - 8th International Conference, 2015

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
Proceedings of the Graph Transformation - 8th International Conference, 2015

Multi-amalgamated Triple Graph Grammars.
Proceedings of the Graph Transformation - 8th International Conference, 2015

A Variability-Based Approach to Reusable and Efficient Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
A fundamental approach to model versioning based on graph modifications: from theory to implementation.
Softw. Syst. Model., 2014

Propagation of Software Model Changes in the Context of Industrial Plant Automation.
Autom., 2014

Tool Support for Model Splitting using Information Retrieval and Model Crawling Techniques.
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014

Model-Driven Development of Mobile Applications Allowing Role-Driven Variants.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

From Core OCL Invariants to Nested Graph Constraints.
Proceedings of the Graph Transformation - 7th International Conference, 2014

A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Splitting Models Using Information Retrieval and Model Crawling Techniques.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
Well-formed Model Co-evolution with Customizable Model Migration.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A tool environment for quality assurance based on the Eclipse Modeling Framework.
Autom. Softw. Eng., 2013

Tool support for clustering large meta-models.
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations.
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Consistency-preserving edit scripts in model versioning.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Customizing model migrations by rule schemes.
Proceedings of the 13th International Workshop on Principles of Software Evolution, 2013

Towards a Distributed Modeling Process Based on Composite Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Analysis of Aspect-Oriented Models Using Graph Transformation Systems.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

2012
Integrating the Specification and Recognition of Changes in Models.
Softwaretechnik-Trends, 2012

Formal foundation of consistent EMF model transformations by algebraic graph transformation.
Softw. Syst. Model., 2012

Transformation of Typed Composite Graphs with Inheritance and Containment Structures.
Fundam. Informaticae, 2012

Instance Generation from Type Graphs with Arbitrary Multiplicities.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Towards refactoring of rule-based, in-place model transformation systems.
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

Integration of smells and refactorings within the Eclipse modeling framework.
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution.
Proceedings of the Graph Transformations - 6th International Conference, 2012

ICGT 2012 Doctoral Symposium.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Construction of Integrity Preserving Triple Graph Grammars.
Proceedings of the Graph Transformations - 6th International Conference, 2012

2011
Guest editorial: special issue on selected topics in automated software engineering - Specification mining and defect detection.
Autom. Softw. Eng., 2011

Towards Syntactical Model Quality Assurance in Industrial Software Development: Process Definition and Tool Support.
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

A rule-based approach to the semantic lifting of model differences in the context of model versioning.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.
Int. J. Softw. Tools Technol. Transf., 2010

What Algebraic Graph Transformations Can Do For Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Conflict Detection for Model Versioning Based on Graph Modifications.
Proceedings of the Graph Transformations - 5th International Conference, 2010

A Component Concept for Typed Graphs with Inheritance and Containment Structures.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Analysis of Aspect-Oriented Model Weaving.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

Generating instance models from meta models.
Softw. Syst. Model., 2009

Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Teaching Modeling: Why, When, What?
Proceedings of the Models in Software Engineering, 2009

Object Flow Definition for Refined Activity Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars.
Electron. Notes Theor. Comput. Sci., 2008

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Electron. Notes Theor. Comput. Sci., 2008

Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
Electron. Notes Theor. Comput. Sci., 2008

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Precise Semantics of EMF Model Transformations by Graph Transformation.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Construction of Consistent Models in Model-Driven Software Development.
Proceedings of the Model-Based Software and Data Integration, 2008

Third international workshop on graph and model transformations.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Attributed graph transformation with node type inheritance.
Theor. Comput. Sci., 2007

Analysing refactoring dependencies using graph transformation.
Softw. Syst. Model., 2007

Ensuring Containment Constraints in Graph-based Model Transformation Approaches.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Model Transformations should be Functors.
Bull. EATCS, 2007

Information Preserving Bidirectional Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Model-driven Software Refactoring.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Generating Domain-Specific Model Editors with Complex Editing Commands.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

AGTIVE 2007 Graph Transformation Tool Contest.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Generating Eclipse Editor Plug-Ins Using Tiger.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

The EMF Model Transformation Framework.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Fundamentals of Algebraic Graph Transformation
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-31188-1, 2006

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Informaticae, 2006

Preface.
Electron. Notes Theor. Comput. Sci., 2006

Editorial.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Preface to GraMoT 2006 Workshop Proceedings.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Evolutionary Layout of Graph Transformation Sequences.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Object Oriented and Rule-based Design of Visual Languages using Tiger.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

EMF Model Refactoring based on Graph Transformation Concepts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Evolutionary layout: preserving the mental map during the development of class models.
Proceedings of the ACM 2006 Symposium on Software Visualization, 2006

Interaction Analysis in Aspect-Oriented Models.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Termination Analysis of Model Transformations by Petri Nets.
Proceedings of the Graph Transformations, Third International Conference, 2006

Generating Instance Models from Meta Models.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

A Graph-Based Approach to Transform XML Documents.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005
High-level replacement units and their termination properties.
J. Vis. Lang. Comput., 2005

Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.
Electron. Notes Theor. Comput. Sci., 2005

Preface.
Electron. Notes Theor. Comput. Sci., 2005

Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.
Electron. Notes Theor. Comput. Sci., 2005

Termination of High-Level Replacement Units with Application to Model Transformation.
Electron. Notes Theor. Comput. Sci., 2005

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Generation of visual editors as eclipse plug-ins.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Termination Criteria for Model Transformation.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
Electron. Notes Theor. Comput. Sci., 2004

Fundamental Theory for Typed Attributed Graph Transformation.
Proceedings of the Graph Transformations, Second International Conference, 2004

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Automated Model Transformation and Its Validation Using AToM 3 and AGG.
Proceedings of the Diagrammatic Representation and Inference, 2004

2003
Coordinated Distributed Diagram Transformation for Software Evolution.
Electron. Notes Theor. Comput. Sci., 2003

AGTIVE'03: Summary from the Theoretical Point of View.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

AGG: A Graph Transformation Environment for Modeling and Validation of Software.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Towards Validation of Session Management in Web Applications based on Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Specifying Integrated Refactoring with Distributed Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Graph-Based Tools (GraBaTs 2002).
Electron. Notes Theor. Comput. Sci., 2002

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.
Proceedings of the 24th International Conference on Software Engineering, 2002

Workshop on Graph-Based Tools.
Proceedings of the Graph Transformation, First International Conference, 2002

Confluence of Typed Attributed Graph Transformation Systems.
Proceedings of the Graph Transformation, First International Conference, 2002

A Visual Modeling Framework for Distributed Object Computing.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2001
Towards Common Exchange Formats for Graphs and Graph Transformation Systems.
Electron. Notes Theor. Comput. Sci., 2001

Visual Modeling of Distributed Object Systems by Graph Transformation.
Electron. Notes Theor. Comput. Sci., 2001

Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.
Electron. Notes Theor. Comput. Sci., 2001

Visual Language Parsing in GenGEd.
Electron. Notes Theor. Comput. Sci., 2001

A Visualization of OCL Using Collaborations.
Proceedings of the «UML» 2001, 2001

2000
Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Consistency Checking and Visualization of OCL Constraints.
Proceedings of the «UML» 2000, 2000

ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Visual Modeling Technique for Controlling Graph Transformation.
Proceedings of the ICALP Workshops 2000, 2000

A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
Proceedings of the ICALP Workshops 2000, 2000

1999
Graph Transformation for Specification and Programming.
Sci. Comput. Program., 1999

Graphical Represenation and Graph Transformation.
ACM Comput. Surv., 1999

Distributed Graphs and Graph Transformation.
Appl. Categorical Struct., 1999

Adding Visual Rules to Object-Oriented Modeling Techniques.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

AGG: A Tool Environment for Algebraic Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Tool Support for ViewPoint-oriented Software Development.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

Local Views on Distributed Systems and Their Communication.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Parallel High-Level Replacement Systems.
Theor. Comput. Sci., 1997

A Combined Reference Model- and View-Based Approach to System Specification.
Int. J. Softw. Eng. Knowl. Eng., 1997

A View-Oriented Approach to System Modelling Based on Graph Transformation.
Proceedings of the Software Engineering, 1997

1996
Towards Synchronous and Asynchronous Graph Transformations.
Fundam. Informaticae, 1996

Graph Grammars with Negative Application Conditions.
Fundam. Informaticae, 1996

Parallel and distributed graph transformation - formal description and application to communication-based systems.
Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-1636-8, 1996

1995
DIEGO, another step towards a module concept for graph transformation systems.
Electron. Notes Theor. Comput. Sci., 1995

1994
Hierarchically Distributed Graph Transformation.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993
Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Canonical Derivaitons for High-Level Replacement Systems.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1990
Movement of Objects in Configuration Spaces modelled by graph Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990


  Loading...