Tim Kr\"auter

Identifiers

• name variant Tim Kr\"auter 0.60 · backfill

Papers (7)

1. Towards the Coordination and Verification of Heterogeneous Systems with Data and Time cs.SE · 2025 · author #1
2. BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models cs.SE · 2024 · author #1
3. Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models cs.SE · 2024 · author #1
4. Towards behavioral consistency in heterogeneous modeling scenarios cs.SE · 2024 · author #1
5. The Visual Debugger Tool cs.SE · 2024 · author #1
6. The Visual Debugger: Past, Present, and Future cs.SE · 2024 · author #1
7. A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems cs.SE · 2023 · author #1

Mentions

• 2508.12325 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter
• 2311.05243 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter
• 2408.06028 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter
• 2407.03965 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter
• 2404.12941 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter
• 2404.12932 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter
• 2403.03683 #1 · arxiv_oai · confidence 0.70 Tim Kr\"auter

Frequent Coauthors

• Adrian Rutle 6 shared papers
• Yngve Lamo 6 shared papers
• Harald K\"onig 5 shared papers
• Patrick St\"unkel 3 shared papers
• Francisco Dur\'an 1 shared papers