Gabriele Taentzer
Orcid: 0000-0002-3975-5238Affiliations:
- University of Marburg, Germany
According to our database1,
Gabriele Taentzer
authored at least 214 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework.
J. Log. Algebraic Methods Program., January, 2024
2023
ACM J. Data Inf. Qual., September, 2023
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties.
Softw. Syst. Model., August, 2023
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications.
J. Log. Algebraic Methods Program., 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
2022
Sustaining and improving graduated graph consistency: A static analysis of graph transformations.
Sci. Comput. Program., 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the Graph Transformation - 15th International Conference, 2022
2021
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the Software Engineering 2021, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Using Microsoft PowerApps, Mendix and OutSystems in Two Development Scenarios: An Experience Report.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the Graph Transformation - 14th International Conference, 2021
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
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
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
Softw. Syst. Model., 2019
J. Object Technol., 2019
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach.
J. Log. Algebraic Methods Program., 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the Managed Software Evolution., 2019
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
Formal Aspects Comput., 2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
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
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
Comput. Lang. Syst. Struct., 2017
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
Proceedings of the Graph Transformation - 10th International Conference, 2017
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017
2016
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
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016
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
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
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
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
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
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
Proceedings of the Graph Transformation - 8th International Conference, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
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
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
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
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
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
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
Autom. Softw. Eng., 2013
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
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the 13th International Workshop on Principles of Software Evolution, 2013
Proceedings of the Fundamental Approaches to Software Engineering, 2013
Proceedings of the Aspect-Oriented Requirements Engineering, 2013
2012
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the First Workshop on the Analysis of Model Transformations, 2012
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
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
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
Int. J. Softw. Tools Technol. Transf., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
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
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
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
LNCS Trans. Aspect Oriented Softw. Dev., 2009
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the Models in Software Engineering, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Model-Based Software and Data Integration, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
Theor. Comput. Sci., 2007
Softw. Syst. Model., 2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Model Transformations should be Functors.
Bull. EATCS, 2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
Proceedings of the 1st Workshop on Refactoring Tools, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
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
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
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
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
Proceedings of the Fundamental Approaches to Software Engineering, 2006
2005
J. Vis. Lang. Comput., 2005
Proceedings of the International Workshop on Graph and Model Transformation, 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
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005
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
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
Termination of High-Level Replacement Units with Application to Model Transformation.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
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
Proceedings of the Diagrammatic Representation and Inference, 2004
2003
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
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
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
2002
Proceedings of the International Workshop on Graph-Based Tools, 2002
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 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
Proceedings of the Graph Transformation, First International Conference, 2002
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
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 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
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
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
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
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
Proceedings of the Theory and Application of Graph Transformations, 1998
1997
Int. J. Softw. Eng. Knowl. Eng., 1997
Proceedings of the Software Engineering, 1997
1996
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
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995
1994
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
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
1990
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990