-
Runtime Verification of Timed Petri Nets
Requeno Jarabo, Jose Ignacio, Gómez-Martínez, Elena, Kallwies, Hannes, Haustein, Melanie, Leucker, Martin, Stolz, Volker (2024)
-
Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition
Hatlem, Markus, Rabbi, Fazle, Stünkel, Patrick, Leh, Friedemann (2023)
-
Kräuter, Tim Oliver, König, Harald, Rutle, Adrian, Lamo, Yngve, Stünkel, Patrick (2023)
-
Process Data Science for Workflow Optimization in Digital Pathology: A status report
Stünkel, Patrick, Leh, Sabine, Leh, Friedemann (2022)
-
A framework for multi-model consistency management
Stünkel, Patrick (2022)
-
Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2021)
-
Stünkel, Patrick, König, Harald (2021)
-
Stünkel, Patrick, König, Harald, Rutle, Adrian, Lamo, Yngve (2021)
-
Towards multiple model synchronization with comprehensive systems: Extended version
Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2020)
-
Stünkel, Patrick, von Bargen, Ole, Rutle, Adrian, Lamo, Yngve (2020)
-
König, Harald, Stünkel, Patrick (2020)
-
Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2020)
-
A Roadmap for Multi-Model Consistency Management
Stünkel, Patrick, König, Harald, Lamo, Yngve, Rutle, Adrian (2018)
-
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)