Harald König

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 30

Top Topics

Consistency Checking

Rewriting Systems

Graph Transformation

Top Venues

Formal Aspects Comput.

Publications

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. CoRR (2024)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
The Visual Debugger Tool. CoRR (2024)
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
Formalization and Analysis of BPMN Using Graph Transformation Systems. ICGT (2023)
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. CoRR (2023)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel
Behavioral consistency in multi-modeling. J. Object Technol. 22 (2) (2023)
Harald König, Uwe Wolter, Tim Kräuter
Structural Operational Semantics for Heterogeneously Typed Coalgebras. CALCO (2023)
Harald König, Uwe Wolter
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. TASE (2022)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
The Visual Debugger Tool. ICSME (2022)
Harald König, Uwe Wolter
A General Methodology for Internalising Multi-Level Model Typing. MoDELS (Companion) (2021)
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Formal Aspects Comput. 33 (6) (2021)
Patrick Stünkel, Harald König
Single pushout rewriting in comprehensive systems of graph-like structures. Theor. Comput. Sci. 884 (2021)
Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
Multi-Model Evolution through Model Repair. J. Object Technol. 20 (1) (2021)
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
A query-retyping approach to model transformation co-evolution. Softw. Syst. Model. 19 (5) (2020)
Harald König, Patrick Stünkel
Single Pushout Rewriting in Comprehensive Systems. ICGT (2020)
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
Towards Multiple Model Synchronization with Comprehensive Systems. FASE (2020)
Zinovy Diskin, Harald König, Mark Lawford
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 32 (1) (2020)
Zinovy Diskin, Harald König, Mark Lawford
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput. CoRR (2019)
Zinovy Diskin, Harald König, Mark Lawford
Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 31 (5) (2019)
Harald König, Uwe Wolter
Van Kampen Colimits and Path Uniqueness. Log. Methods Comput. Sci. 14 (2) (2018)
Uwe Wolter, Zinovy Diskin, Harald König
Graph Operations and Free Graph Algebras. Graph Transformation, Specifications, and Nets (2018)
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
Multimodel correspondence through inter-model constraints. Programming (2018)
Zinovy Diskin, Harald König, Mark Lawford
Multiple Model Synchronization with Multiary Delta Lenses. FASE (2018)
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation. ECMFA (2018)
Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
Toward Product Lines of Mathematical Models for Software Model Management. STAF Workshops (2017)
Harald König, Uwe Wolter
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. CALCO (2017)
Harald König, Zinovy Diskin
Efficient Consistency Checking of Interrelated Models. ECMFA (2017)
Harald König, Zinovy Diskin
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. ECMFA (2016)
Zinovy Diskin, Harald König
Incremental Consistency Checking of Heterogeneous Multimodels. STAF Workshops (2016)
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
Algebraic graph transformations with inheritance and abstraction. Sci. Comput. Program. (2015)
Uwe Wolter, Harald König
Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. Appl. Categorical Struct. 23 (3) (2015)
Michael Löwe, Harald König, Christoph Schulz
Polymorphic Single-Pushout Graph Transformation. FASE (2014)
Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
Van Kampen Squares for Graph Transformation. ICGT (2014)
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
Algebraic Graph Transformations with Inheritance. SBMF (2013)
Harald König, Uwe Wolter, Michael Löwe
Characterizing Van Kampen Squares via Descent Data ACCAT (2012)
Christoph Schulz, Michael Löwe, Harald König
Composition of Model Transformations: A Categorical Framework. SBMF (2012)
Harald König, Michael Löwe, Christoph Schulz
Model Transformation and Induced Instance Migration: A Universal Framework. SBMF (2011)
Christoph Schulz, Michael Löwe, Harald König
A categorical framework for the transformation of object-oriented systems: Models and data. J. Symb. Comput. 46 (3) (2011)
Christoph Schulz, Michael Löwe, Harald König
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Michael Löwe, Harald König, Michael Peters, Christoph Schulz
Refactoring Informations Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006)
Michael Löwe, Harald König, Christoph Schulz
Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling (2005)