Harald König

47 papers A 2B 11C 1Misc 1Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2025 A conf
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time.
MODELS
Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2025 J jnl
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time.
CoRR
Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán
2024 J jnl
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
Log. Methods Comput. Sci.
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2024 — conf
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
BPM (Demos / Resources Forum)
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König
2024 J jnl
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König
2024 — conf
Bialgebraic Representation of Coordination Frameworks.
WADT
Harald König, Uwe Wolter
2024 J jnl
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo
2024 J jnl
The Visual Debugger Tool.
CoRR
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
2023 J jnl
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
CoRR
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2023 J jnl
Behavioral consistency in multi-modeling.
J. Object Technol.
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel
2023 B conf
Formalization and Analysis of BPMN Using Graph Transformation Systems.
ICGT
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
2023 B conf
Structural Operational Semantics for Heterogeneously Typed Coalgebras.
CALCO
Harald König, Uwe Wolter, Tim Kräuter
2022 Misc conf
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach.
TASE
Harald König, Uwe Wolter
2022 A conf
The Visual Debugger Tool.
ICSME
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
2021 — conf
A General Methodology for Internalising Multi-Level Model Typing.
MoDELS (Companion)
Harald König, Uwe Wolter
2021 J jnl
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.
Formal Aspects Comput.
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2021 J jnl
Multi-Model Evolution through Model Repair.
J. Object Technol.
Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
2021 J jnl
Single pushout rewriting in comprehensive systems of graph-like structures.
Theor. Comput. Sci.
Patrick Stünkel, Harald König
2020 J jnl
A query-retyping approach to model transformation co-evolution.
Softw. Syst. Model.
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
2020 J jnl
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput.
Zinovy Diskin, Harald König, Mark Lawford
2020 B conf
Single Pushout Rewriting in Comprehensive Systems.
ICGT
Harald König, Patrick Stünkel
2020 B conf
Towards Multiple Model Synchronization with Comprehensive Systems.
FASE
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2019 J jnl
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput.
CoRR
Zinovy Diskin, Harald König, Mark Lawford
2019 J jnl
Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput.
Zinovy Diskin, Harald König, Mark Lawford
2018 B conf
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.
ECMFA
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
2018 — conf
Graph Operations and Free Graph Algebras.
Graph Transformation, Specifications, and Nets
Uwe Wolter, Zinovy Diskin, Harald König
2018 — conf
Multimodel correspondence through inter-model constraints.
Programming
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2018 B conf
Multiple Model Synchronization with Multiary Delta Lenses.
FASE
Zinovy Diskin, Harald König, Mark Lawford
2018 J jnl
Van Kampen Colimits and Path Uniqueness.
Log. Methods Comput. Sci.
Harald König, Uwe Wolter
2017 B conf
Being Van Kampen in Presheaf Topoi is a Uniqueness Property.
CALCO
Harald König, Uwe Wolter
2017 B conf
Efficient Consistency Checking of Interrelated Models.
ECMFA
Harald König, Zinovy Diskin
2017 — conf
Toward Product Lines of Mathematical Models for Software Model Management.
STAF Workshops
Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
2016 B conf
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling.
ECMFA
Harald König, Zinovy Diskin
2016 — conf
Incremental Consistency Checking of Heterogeneous Multimodels.
STAF Workshops
Zinovy Diskin, Harald König
2015 J jnl
Algebraic graph transformations with inheritance and abstraction.
Sci. Comput. Program.
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
2015 J jnl
Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi.
Appl. Categorical Struct.
Uwe Wolter, Harald König
2014 B conf
Polymorphic Single-Pushout Graph Transformation.
FASE
Michael Löwe, Harald König, Christoph Schulz
2014 B conf
Van Kampen Squares for Graph Transformation.
ICGT
Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
2013 — conf
Algebraic Graph Transformations with Inheritance.
SBMF
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
2012 — conf
Characterizing Van Kampen Squares via Descent Data
ACCAT
Harald König, Uwe Wolter, Michael Löwe
2012 — conf
Composition of Model Transformations: A Categorical Framework.
SBMF
Christoph Schulz, Michael Löwe, Harald König
2011 J jnl
A categorical framework for the transformation of object-oriented systems: Models and data.
J. Symb. Comput.
Christoph Schulz, Michael Löwe, Harald König
2011 — conf
Model Transformation and Induced Instance Migration: A Universal Framework.
SBMF
Harald König, Michael Löwe, Christoph Schulz
2010 J jnl
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Christoph Schulz, Michael Löwe, Harald König
2006 J jnl
Refactoring Informations Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Michael Löwe, Harald König, Michael Peters, Christoph Schulz
2005 — conf
Algebraic Properties of Interfaces.
Formal Methods in Software and Systems Modeling
Michael Löwe, Harald König, Christoph Schulz
2003 C conf
Optimal coordination of crystallization batch processes using rules and practices of extreme programming.
CCA
Wolfgang Bock, Harald König, Lothar Litz