Tim Kruter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. | Tim Kruter, Adrian Rutle, Yngve Lamo, Harald Knig, Francisco Durn |
| 2024 | BPM | BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. | Tim Kruter, Patrick Stnkel, Adrian Rutle, Yngve Lamo, Harald Knig |
| 2023 | CALCO | Structural Operational Semantics for Heterogeneously Typed Coalgebras. | Harald Knig, Uwe Wolter, Tim Kruter |
| 2021 | MODELS | Towards behavioral consistency in heterogeneous modeling scenarios. | Tim Kruter |