Patrick Stünkel

Publications

• Runtime Verification of Timed Petri Nets

  Requeno Jarabo, Jose Ignacio, Gómez-Martínez, Elena, Kallwies, Hannes, Haustein, Melanie, Leucker, Martin, Stolz, Volker (2024)
  CEUR Workshop Proceedings 2024 ;Volum 3730. s. 122-130

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

  Hatlem, Markus, Rabbi, Fazle, Stünkel, Patrick, Leh, Friedemann (2023)
  CEUR Workshop Proceedings 2023 ;Volum 3440.

• Behavioral consistency in multi-modeling

  Kräuter, Tim Oliver, König, Harald, Rutle, Adrian, Lamo, Yngve, Stünkel, Patrick (2023)
  Journal of Object Technology 2023 ;Volum 22.(2) s. 1-15

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

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

• A framework for multi-model consistency management

  Stünkel, Patrick (2022)
  Høgskulen på Vestlandet. Isbn: 9788293677994

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

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

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

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

• Multi-Model Evolution through Model Repair

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

• Towards multiple model synchronization with comprehensive systems: Extended version

  Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2020)
  Fachhochschule für die Wirtschaft (FHDW) Hannover.

• GraphQL Federation: A Model-Based Approach

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

• Single Pushout Rewriting in Comprehensive Systems

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

• Towards multiple model synchronization with comprehensive systems

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

• A Roadmap for Multi-Model Consistency Management

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

• Multimodel Correspondence through Inter-model Constraints

  Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2018)
  Association for Computing Machinery (ACM). s. 9-17

• Multimodel Correspondence through Inter-model Constraints

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