Multimodel correspondence through inter-model constraints. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (Programming, 2018)

Towards Multiple Model Synchronization with Comprehensive Systems. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (FASE, 2020)

Single Pushout Rewriting in Comprehensive Systems. - Harald König; Patrick Stünkel (ICGT, 2020)

GraphQL Federation: A Model-Based Approach. - Patrick Stünkel; Ole von Bargen; Adrian Rutle; Yngve Lamo (J. Object Technol., 2020)

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (Formal Aspects Comput., 2021)

Multi-Model Evolution through Model Repair. - Patrick Stünkel; Harald König; Adrian Rutle; Yngve Lamo (J. Object Technol., 2021)

Single pushout rewriting in comprehensive systems of graph-like structures. - Patrick Stünkel; Harald König (Theor. Comput. Sci., 2021)

Process Data Science for Workflow Optimization in Digital Pathology: A status report. - Patrick Stünkel; Sabine Leh; Friedemann Leh (HEDA@Petri Nets, 2022)

Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition. - Markus Hatlem; Fazle Rabbi 001; Patrick Stünkel; Friedemann Leh (HEDA@STAF, 2023)

Behavioral consistency in multi-modeling. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo; Patrick Stünkel (J. Object Technol., 2023)

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 (PNSE@Petri Nets, 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 (BPM (Demos / Resources Forum), 2024)

The Visual Debugger: Past, Present, and Future. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Yngve Lamo (IDE@ICSE, 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)