Towards behavioral consistency in heterogeneous modeling scenarios. - Tim Kräuter (MoDELS (Companion), 2021)

The Visual Debugger Tool. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo (ICSME, 2022)

Structural Operational Semantics for Heterogeneously Typed Coalgebras. - Harald König; Uwe Wolter; Tim Kräuter (CALCO, 2023)

Formalization and Analysis of BPMN Using Graph Transformation Systems. - Tim Kräuter; Adrian Rutle; Harald König; Yngve Lamo (ICGT, 2023)

Behavioral consistency in multi-modeling. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo; Patrick Stünkel (J. Object Technol., 2023)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Yngve Lamo; Harald König (BPM (Demos / Resources Forum), 2024)

The Visual Debugger: Past, Present, and Future. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Yngve Lamo (IDE@ICSE, 2024)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Harald König; Yngve Lamo (CoRR, 2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. - Tim Kräuter; Adrian Rutle; Harald König; Yngve Lamo (Log. Methods Comput. Sci., 2024)