Harald König

Tim Kräuter

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

The Visual Debugger Tool.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

Single pushout rewriting in comprehensive systems of graph-like structures.

[BibT_eX]

[DOI]

Patrick Stünkel

Theor. Comput. Sci., 2021

Multi-Model Evolution through Model Repair.

[BibT_eX]

[DOI]

J. Object Technol., 2021

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

A General Methodology for Internalising Multi-Level Model Typing.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

A query-retyping approach to model transformation co-evolution.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput.

[BibT_eX]

[DOI]

Mark Lawford

Formal Aspects Comput., 2020

Single Pushout Rewriting in Comprehensive Systems.

[BibT_eX]

[DOI]

Patrick Stünkel

Proceedings of the Graph Transformation - 13th International Conference, 2020

Towards Multiple Model Synchronization with Comprehensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Multiple model synchronization with multiary delta lenses with amendment and K-Putput.

[BibT_eX]

[DOI]

Mark Lawford

Formal Aspects Comput., 2019

2018

Van Kampen Colimits and Path Uniqueness.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Multimodel correspondence through inter-model constraints.

[BibT_eX]

[DOI]

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Multiple Model Synchronization with Multiary Delta Lenses.

[BibT_eX]

[DOI]

Mark Lawford

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Graph Operations and Free Graph Algebras.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Toward Product Lines of Mathematical Models for Software Model Management.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Efficient Consistency Checking of Interrelated Models.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

Being Van Kampen in Presheaf Topoi is a Uniqueness Property.

[BibT_eX]

[DOI]

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Incremental Consistency Checking of Heterogeneous Multimodels.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015

Algebraic graph transformations with inheritance and abstraction.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2015

2014

Van Kampen Squares for Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 7th International Conference, 2014

Polymorphic Single-Pushout Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Algebraic Graph Transformations with Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2012

Characterizing Van Kampen Squares via Descent Data

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Composition of Model Transformations: A Categorical Framework.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

A categorical framework for the transformation of object-oriented systems: Models and data.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Model Transformation and Induced Instance Migration: A Universal Framework.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2006

Refactoring Informations Systems.

[BibT_eX]

[DOI]

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

2005

Algebraic Properties of Interfaces.

[BibT_eX]

[DOI]