Patrick Stünkel

Publications

• BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models

  Tim Oliver Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König (2024)
  CEUR Workshop Proceedings 2024

• The Visual Debugger: Past, Present, and Future

  Tim Oliver Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo (2024)

• Runtime Verification of Timed Petri Nets

  Jose Ignacio Requeno Jarabo, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz (2024)
  CEUR Workshop Proceedings 2024 ;Volum 3730. s. 122-130

• Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition

  Markus Hatlem, Fazle Rabbi, Patrick Stünkel, Friedemann Leh (2023)
  CEUR Workshop Proceedings 2023 ;Volum 3440.

• Behavioral consistency in multi-modeling

  Tim Oliver Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel (2023)
  Journal of Object Technology 2023 ;Volum 22. s. 1-15

Show all