Patrick Stünkel

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Process Improvement

Heterogeneous Database Systems

Top Venues

J. Object Technol.

HEDA@Petri Nets

Publications

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