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

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

  Patrick Stünkel, Sabine Leh, Friedemann Leh (2022)
  CEUR Workshop Proceedings 2022 ;Volum 3264.

• A framework for multi-model consistency management

  Patrick Stünkel (2022)
  Høgskulen på Vestlandet

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

  Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle (2021)
  Formal Aspects of Computing 2021 ;Volum 33. s. 1067-1114

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

  Patrick Stünkel, Harald König (2021)
  Theoretical Computer Science 2021 ;Volum 884. s. 23-43

• Multi-Model Evolution through Model Repair

  Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo (2021)
  Journal of Object Technology 2021 ;Volum 20. s. 1-25

• Towards multiple model synchronization with comprehensive systems: Extended version

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

• GraphQL Federation: A Model-Based Approach

  Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo (2020)
  Journal of Object Technology 2020 ;Volum 19.

• Single Pushout Rewriting in Comprehensive Systems

  Harald König, Patrick Stünkel (2020)
  Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12150. s. 91-108

• Towards multiple model synchronization with comprehensive systems

  Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle (2020)
  Lecture Notes in Computer Science (LNCS) 2020 s. 335-356

• A Roadmap for Multi-Model Consistency Management

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

• Multimodel Correspondence through Inter-model Constraints

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

• Multimodel Correspondence through Inter-model Constraints

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