Tim Kräuter

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Operational Semantics

Past Observations

Temporal Consistency

Behavioral Model

Top Venues

J. Object Technol.

MoDELS (Companion)

Publications

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
The Visual Debugger: Past, Present, and Future. CoRR (2024)
Tim Kräuter
Towards behavioral consistency in heterogeneous modeling scenarios. CoRR (2024)
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)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
The Visual Debugger Tool. ICSME (2022)
Tim Kräuter
Towards behavioral consistency in heterogeneous modeling scenarios. MoDELS (Companion) (2021)