Patrick Stünkel

16 papers B 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
BPM (Demos / Resources Forum)
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König
2024 J jnl
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König
2024 J jnl
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo
2024 — conf
Runtime Verification of Timed Petri Nets.
PNSE@Petri Nets
José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
2024 — conf
The Visual Debugger: Past, Present, and Future.
IDE@ICSE
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
2024 J jnl
The Visual Debugger: Past, Present, and Future.
CoRR
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
2023 J jnl
Behavioral consistency in multi-modeling.
J. Object Technol.
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel
2023 — conf
Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition.
HEDA@STAF
Markus Hatlem, Fazle Rabbi, Patrick Stünkel, Friedemann Leh
2022 — conf
Process Data Science for Workflow Optimization in Digital Pathology: A status report.
HEDA@Petri Nets
Patrick Stünkel, Sabine Leh, Friedemann Leh
2021 J jnl
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.
Formal Aspects Comput.
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2021 J jnl
Multi-Model Evolution through Model Repair.
J. Object Technol.
Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
2021 J jnl
Single pushout rewriting in comprehensive systems of graph-like structures.
Theor. Comput. Sci.
Patrick Stünkel, Harald König
2020 J jnl
GraphQL Federation: A Model-Based Approach.
J. Object Technol.
Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo
2020 B conf
Single Pushout Rewriting in Comprehensive Systems.
ICGT
Harald König, Patrick Stünkel
2020 B conf
Towards Multiple Model Synchronization with Comprehensive Systems.
FASE
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
2018 — conf
Multimodel correspondence through inter-model constraints.
Programming
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle