Tim Kräuter

16 papers A 2B 2Journal 9Unranked 3
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 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
2024 — conf
The Visual Debugger: Past, Present, and Future.
IDE@ICSE
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
2024 J jnl
The Visual Debugger: Past, Present, and Future.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
2024 J jnl
Towards behavioral consistency in heterogeneous modeling scenarios.
CoRR
Tim Kräuter
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 A conf
The Visual Debugger Tool.
ICSME
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
2021 — conf
Towards behavioral consistency in heterogeneous modeling scenarios.
MoDELS (Companion)
Tim Kräuter