Tim Kräuter

According to our database, Tim Kräuter authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

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

The Visual Debugger: Past, Present, and Future.

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo

Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

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

Proceedings of the Best Dissertation Award, 2024

2023

Behavioral consistency in multi-modeling.

Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel

J. Object Technol., 2023

Formalization and Analysis of BPMN Using Graph Transformation Systems.

Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo

Proceedings of the Graph Transformation - 16th International Conference, 2023

Structural Operational Semantics for Heterogeneously Typed Coalgebras.

Harald König, Uwe Wolter, Tim Kräuter

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

The Visual Debugger Tool.

Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

2021

Towards behavioral consistency in heterogeneous modeling scenarios.

Tim Kräuter

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021