5 citations · 8 across the 4 of their papers we have counts for
4 papers
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
Tim Kräuter, Patrick Stünkel, Adrian Rutle +2
Many business process models contain control flow errors, such as deadlocks or livelocks, which hinder proper execution. In this paper, we introduce a new tool that can instantaneo…
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
Tim Kräuter, Patrick Stünkel, Adrian Rutle +2
Many business process models have control-flow errors, such as deadlocks, which can hinder proper execution. In this paper, we introduce our new soundness-checking tool that can in…
Towards behavioral consistency in heterogeneous modeling scenarios
Tim Kräuter
Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However,…
The Visual Debugger Tool
Tim Kräuter, Harald König, Adrian Rutle +1
Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is requi…