Andy Schürr

Orcid: 0000-0001-8100-1109

Affiliations:
  • Darmstadt University of Technology, Germany


According to our database1, Andy Schürr authored at least 224 papers between 1987 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
CoRR, 2023

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Proceedings of the Software Engineering 2023, 2023

Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
Proceedings of the Graph Transformation - 16th International Conference, 2023

2022
Graph-Based Specification and Automated Construction of ILP Problems.
Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022

2021
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
Int. J. Softw. Tools Technol. Transf., 2021

Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
Int. J. Softw. Tools Technol. Transf., 2021

Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques.
Softw. Syst. Model., 2021

2020
REACT-ION: A Model-based Runtime Environment for Situation-aware Adaptations.
ACM Trans. Auton. Adapt. Syst., 2020

Model-based software quality assurance tools and techniques presented at FASE 2018.
Int. J. Softw. Tools Technol. Transf., 2020

Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.
J. Object Technol., 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

Real-time-aware reconfiguration decisions for dynamic software product lines.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 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

Automating test schedule generation with domain-specific languages: a configurable, model-driven approach.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

REACT: A Model-Based Runtime Environment for Adapting Communication Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

Enhancing a Communication System with Adaptive Behavior using REACT.
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
Softw. Syst. Model., 2019

Transitions: A Protocol-Independent View of the Future Internet.
Proc. IEEE, 2019

SimSG: Rule-based Simulation using Stochastic Graph Transformation.
J. Object Technol., 2019

Editorial.
Formal Aspects Comput., 2019

Consistency management via a combination of triple graph grammars and linear programming.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

CoalaViz: Supporting Traceability of Adaptation Decisions in Pervasive Communication Systems.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Demo: Visualizing Adaptation Decisions in Pervasive Communication Systems.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 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

Incremental Bidirectional Model Transformation with eMoflon: : IBeX.
Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

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

Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines.
Proceedings of the Managed Software Evolution., 2019

2018
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain.
Art Sci. Eng. Program., 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

Optimal reconfiguration of dynamic software product lines based on performance-influence models.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Mathematical Programming for Anomaly Analysis of Clafer Models.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Model-driven Development of Virtual Network Embedding Algorithms with Model Transformation and Linear Optimization Techniques.
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms.
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques.
Proceedings of the Theory and Practice of Model Transformation, 2018

Graph-Rewriting Petri Nets.
Proceedings of the Graph Transformation - 11th International Conference, 2018

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

A systematic approach to constructing incremental topology control algorithms using graph transformation.
J. Vis. Lang. Comput., 2017

Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
Softw. Syst. Model., 2017

On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models.
Proceedings of the Software Engineering 2017, 2017

Towards complete consistency checks of Clafer models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017

A Look-Ahead Strategy for Rule-Based Model Transformations.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Leveraging Incremental Pattern Matching Techniques for Model Synchronisation.
Proceedings of the Graph Transformation - 10th International Conference, 2017

Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Reasoning about product-line evolution using complex feature model differences.
Autom. Softw. Eng., 2016

CardyGAn: Tool Support for Cardinality-based Feature Models.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Transitions on multiple layers for scalable, energy-efficient and robust wireless video streaming.
Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

TARL: modeling topology adaptations for networking applications.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

FESAS IDE: An Integrated Development Environment for Autonomic Computing.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015
An algorithm for generating model-sensitive search plans for pattern matching on EMF models.
Softw. Syst. Model., 2015

20 Years of Triple Graph Grammars: A Roadmap for Future Research.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Improved Conflict Detection for Graph Transformation with Attributes.
Proceedings of the Proceedings Graphs as Models, 2015

A Systematic Approach and Guidelines to Developing a Triple Graph Grammar.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

On Modularizing Triple Graph Grammars with Rule Refinement.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Topology control with application constraints.
Proceedings of the 40th IEEE Conference on Local Computer Networks, 2015

A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
Proceedings of the Theory and Practice of Model Transformations, 2015

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

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

2014
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling.
Softw. Syst. Model., 2014

A Comparison of Incremental Triple Graph Grammar Tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Rapid Prototyping of Topology Control Algorithms by Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Model Transformations in Practice Workshop (MTiP).
CoRR, 2014

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
Autom., 2014

Staged configuration of dynamic software product lines with complex binding time constraints.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

A Catalogue of Optimization Techniques for Triple Graph Grammars.
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

On the Usage of TGGs for Automated Model Transformation Testing.
Proceedings of the Theory and Practice of Model Transformations, 2014

Developing eMoflon with eMoflon.
Proceedings of the Theory and Practice of Model Transformations, 2014

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

Modularizing Triple Graph Grammars Using Rule Refinement.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

BenchmarX.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Efficient Model Synchronization with View Triple Graph Grammars.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013
Model-driven rapid prototyping with programmed graph transformations.
J. Vis. Lang. Comput., 2013

A Survey of Triple Graph Grammar Tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns.
Proceedings of the Theory and Practice of Model Transformations, 2013

2012
Model-based pairwise testing for feature interaction coverage in software product line engineering.
Softw. Qual. J., 2012

Guest editorial to the special issue on MODELS 2009.
Softw. Syst. Model., 2012

Surveying Rule Inheritance in Model-to-Model Transformation Languages.
J. Object Technol., 2012

Preface.
Fundam. Informaticae, 2012

Gray Box Coverage Criteria for Testing Graph Pattern Matching.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Optimizing Model-Based Software Product Line Testing with Graph Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Reducing feature models to improve runtime adaptivity on resource limited devices.
Proceedings of the 16th International Software Product Line Conference, 2012

A Framework for Bidirectional Model-to-Platform Transformations.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Reduktion von Testsuiten für Software-Produktlinien.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

An Algorithm for Generating Model-Sensitive Search Plans for EMF Models.
Proceedings of the Theory and Practice of Model Transformations, 2012

Efficient Model Synchronization with Precedence Triple Graph Grammars.
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

Unification of Compiled and Interpreter-Based Pattern Matching Techniques.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011
Dagstuhl seminar on bidirectional transformations (BX).
SIGMOD Rec., 2011

D4M, a Self-Adapting Decentralized Derived Data Collection and Monitoring Framework.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Bidirectional Transformation "bx" (Dagstuhl Seminar 11031).
Dagstuhl Reports, 2011

Extending LSCs for Behavioral Signature Modeling.
Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

Traceability Link Evolution with Version Control.
Proceedings of the Software Engineering 2011, 2011

Enhancing FPGA Robustness via Generic Monitoring IP Cores.
Proceedings of the PECCS 2011, 2011

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

A Comparison of Rule Inheritance in Model-to-Model Transformation Languages.
Proceedings of the Theory and Practice of Model Transformations, 2011

Emoflon: leveraging EMF and professional CASE tools.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

A Survey of Model-Based Software Product Lines Testing.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

A Multidimensional Approach for Concurrent Model-Driven Automation Engineering.
Proceedings of the Model-Driven Domain Analysis and Software Development, 2011

2010
Support for Bidirectional Model-to-Text Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Model-Driven Software Product Line Testing: An Integrated Approach.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Featuremodellbasiertes und kombinatorisches Testen von Software-Produktlinien.
Proceedings of the Software Engineering 2010, 2010

Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Extended Triple Graph Grammars with Efficient and Compatible Graph Translators.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Generic and reflective graph transformations for checking and enforcement of modeling guidelines.
J. Vis. Lang. Comput., 2009

Integrated Modeling of Software Product Lines with Feature Models and Classification Trees.
Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), 2009

Architekturgetriebenes Pairwise-Testing für Software Produktlinien.
Proceedings of the Software Engineering 2009, 2009

Model Driven Automation Engineering - Characteristics and Challenges.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Bidirectional Transformations: A Cross-Discipline Perspective.
Proceedings of the Theory and Practice of Model Transformations, 2009

2008
Formalising model transformation rules for UML/MOF 2.
IET Softw., 2008

Generic and reflective graph transformations for the checking and enforcement of modeling guidelines.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Analysis of the Benefits the Peer-to-Peer Paradigm brings to Distributed Agile Software Development.
Proceedings of the Software Engineering 2008, 2008

Towards a Peer-to-Peer Based Global Software Development Environment.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Piki - A Peer-to-Peer based Wiki Engine.
Proceedings of the Proceedings P2P'08, 2008

Formal Definition of MOF 2.0 Metamodel Components and Composition.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

A Meta-model-Driven Tool Integration Development Process.
Proceedings of the Information Systems and e-Business Technologies, 2008

Metamodel-based tool integration with moflon.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Peer-to-Peer Based Version Control.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

15 Years of Triple Graph Grammars.
Proceedings of the Graph Transformations, 4th International Conference, 2008

2007
Entwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien.
Softwaretechnik-Trends, 2007

Bericht über den Workshop.
Softwaretechnik-Trends, 2007

Model transformation in the large.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

WG3: Vergleich und Versionierung von UML-Modellen.
Proceedings of the Software Engineering 2007, 2007

A Comparison of Standard Compliant Ways to Define Domain Specific Languages.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

Development of Tool Extensions with MOFLON.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

MATE - A Model Analysis and Transformation Environment for MATLAB Simulink.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Checking and Enforcement of Modeling Guidelines with Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Metamodeling with MOFLON.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
MDI: A Rule-based Multi-document and Tool Integration Approach.
Softw. Syst. Model., 2006

GXL: A graph-based standard exchange format for reengineering.
Sci. Comput. Program., 2006

View Creation of Meta Models by Using Modified Triple Graph Grammars.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Incremental Graph Pattern Matching: Data Structures and Initial Experiments.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Vervollständigung des Constraint-basierten Assoziationskonzeptes von UML 2.0.
Proceedings of the Modellierung 2006, 2006

Domänenspezifische Integration von Modellierungswerkzeugen mit Sichten.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Temporal Graph Queries to Support Software Evolution.
Proceedings of the Graph Transformations, Third International Conference, 2006

Non-materialized Model View Specification with Triple Graph Grammars.
Proceedings of the Graph Transformations, Third International Conference, 2006

MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations.
Proceedings of the Model Driven Architecture, 2006

2005
Introductory paper.
Softw. Syst. Model., 2005

Benchmarking for Graph Transformation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Model Transformations in Practice Workshop.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005


2004
Introduction.
Int. J. Softw. Tools Technol. Transf., 2004

Integrating Data Flow Equations with UML/Realtime.
Real Time Syst., 2004

Preface.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Tool Integration with Triple Graph Grammars - A Survey.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Codegenerierung für Assoziationen in MOF 2.0.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Multi-Domain Integration with MOF and extended Triple Graph Grammars.
Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

2003
Software Engineering II für Ingenieure: Wartung, Reengineering und Evolution.
Softwaretechnik-Trends, 2003

Generating interactive animations from visual specifications.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

MuSoft: Multimedia in der Softwaretechnik.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2003

On Graphs in Conceptual Engineering Design.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Graph-Based Tools (GraBaTs 2002).
Proceedings of the International Workshop on Graph-Based Tools, 2002

Evaluating UML Extensions for Modeling Real-Time Systems.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

A New Type Checking Approach for OCL Version 2.0?
Proceedings of the Object Modeling with the OCL, 2002

Graph Transformations for Model-based Testing.
Proceedings of the Modellierung 2002, 2002

GraCAD - Graph-Based Tool for Conceptual Design.
Proceedings of the Graph Transformation, First International Conference, 2002

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

Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?
Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001
Adding Graph Transformation Concepts to UML's Constraint Language OCL.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

What are the Most Urgent Research Problems of Component-Based Software Engineering for Resource-Constraint Systems? (Panel).
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

New Type Checking Rules for OCL Expressions.
Proceedings of the Modellierung 2001, 2001

Combining Data Flow Equations with UML/Realtime.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000
UniBw Muenchen.
Softwaretechnik-Trends, 2000

GXL: Toward a Standard Exchange Format.
Proceedings of the Seventh Working Conference on Reverse Engineering, 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

Generic and Polymorphic Graph Transformations-Supporting the Definition of Visual Languages.
Proceedings of the ICALP Workshops 2000, 2000

1999
Computing with Graphs and Graph Transformations.
Softw. Pract. Exp., 1999

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

Leaving the Visual Language Ghetto.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

UML + ROOM as a Standard ADL?
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Summary of the Panel Discussion on Industrial Relevance of Graph Transformation: The Reality and Our Dreams.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

UML, The Future Standard Software Architecture Description Language?
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Integrity Constraints in the Multi-Paradigm Language PROGRESS.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

UML Packages for PROgrammed Graph REwriting Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

Integrity Constraints in the Multi-paradigm Language PROGRES.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Defining and Parsing Visual Languages with Layered Graph Grammars.
J. Vis. Lang. Comput., 1997

Nested Graph Transformation Units.
Int. J. Softw. Eng. Knowl. Eng., 1997

BDL-A Nondeterministic Data Flow Programming Language with Backtracking.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Formal Definition of UML's Package Concept.
Proceedings of the Unified Modeling Language, 1997

Constructing SDEs with the IPSEN meta environment.
Proceedings of the 8th Conference on Software Engineering Environments, 1997

Integration Tools Supporting Development Processes.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Developing Graphical (Software Engineering) Tools with PROGRES.
Proceedings of the Pulling Together, 1997

Programmed Graph Replacement Systems.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Formal Definition and Refinement of UML's Module/Package Concept.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996
Spezifikation und Prototyping graphbasierter Systeme.
Inform. Forsch. Entwickl., 1996

Logic Based Programmed Structure Rewriting Systems.
Fundam. Informaticae, 1996

A graph based framework for the implementation of visual environments.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Specification of Logical Documents and Tools.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

Developing Tools with the PROGRES Environment.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

The Formal Background of PROGRES.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

Introduction to the Specification Language PROGRES.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

Specification in the Large for Graph Grammars.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

Summary and Specification Lessons Learned.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

Specification of Integration Tools.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

Generating Single Document Processing Tools.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

GRAS: A Graph-Oriented Software Engineering Database System.
Proceedings of the Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1996

1995
GRAS, a Graph-Oriented (Software) Engineering Database System.
Inf. Syst., 1995

DIEGO, another step towards a module concept for graph transformation systems.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Encapsulated hierarchical graphs, graph types, and meta types.
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Visual Programming with Graph Rewriting Systems.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

A Graph Grammar Approach to Graphical Parsing.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Graph Grammar Engineering with PROGRES.
Proceedings of the 5th European Software Engineering Conference, 1995

1994
Specification of Graph Translators with Triple Graph Grammars.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994

Programmed Graph Transformations and Graph Transformation Units in GRACE.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

Software Integration Problems and Coupling of Graph Grammar Specifications.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993
Logic Based Structure Rewriting Systems.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992
Building Integrated Software Development Environments Part I: Tool Specification.
ACM Trans. Softw. Eng. Methodol., 1992

1991
Nondeterministic Control Structures for Graph Rewriting Systems.
Proceedings of the 17th International Workshop, 1991

Operationales Spezifizieren mit programmierten Graphersetzungssystemen - formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung.
DUV Informatik, Deutscher Universitätsverlag, ISBN: 978-3-8244-2021-6, 1991

1990
PROGRESS: A VHL-Language Based on Graph Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

A Specification Environment for Graph Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1989

1988
Modellierung und Simulation komplexer Systeme mit PROGRESS.
Proceedings of the Simulationstechnik, 1988

GRAS, A Management System for Graph-Like Documents.
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

1987
A Hybrid Interpreter in a Software Development Environment.
Proceedings of the ESEC '87, 1987


  Loading...