Associate Professor
Patrick Stünkel
Publications
-
Runtime Verification of Timed Petri Nets
-
Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition
-
Behavioral consistency in multi-modeling
-
Process Data Science for Workflow Optimization in Digital Pathology: A status report
-
A framework for multi-model consistency management