Patrick Stünkel

According to our database, Patrick Stünkel authored at least 14 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo

CoRR, 2024

The Visual Debugger: Past, Present, and Future.

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo

Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

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

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König

Proceedings of the Best Dissertation Award, 2024

Runtime Verification of Timed Petri Nets.

José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023

Behavioral consistency in multi-modeling.

Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel

J. Object Technol., 2023

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

Markus Hatlem, Fazle Rabbi, Patrick Stünkel, Friedemann Leh

Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), 2023

2022

Process Data Science for Workflow Optimization in Digital Pathology: A status report.

Patrick Stünkel, Sabine Leh, Friedemann Leh

Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), 2022

2021

Single pushout rewriting in comprehensive systems of graph-like structures.

Patrick Stünkel, Harald König

Theor. Comput. Sci., 2021

Multi-Model Evolution through Model Repair.

Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo

J. Object Technol., 2021

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management.

Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle

Formal Aspects Comput., 2021

2020

GraphQL Federation: A Model-Based Approach.

Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo

J. Object Technol., 2020

Single Pushout Rewriting in Comprehensive Systems.

Harald König, Patrick Stünkel

Proceedings of the Graph Transformation - 13th International Conference, 2020

Towards Multiple Model Synchronization with Comprehensive Systems.

Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2018

Multimodel correspondence through inter-model constraints.

Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018