معرفی
Associate Professor Patrick Stünkel is affiliated with the Western Norway University of Applied Sciences (HVL) within the Department of Computer Science, Electrical Engineering and Mathematical Sciences. He has taught courses such as ING301: Computer Science and Advanced Programming for Engineers (Spring 2026). His research focuses on Computer Science, particularly in Software Engineering, Formal Methods, and Multi-Modeling.
- Key Research Areas
- Control Flow Analysis for BPMN Models
- Runtime Verification of Timed Petri Nets
- Behavioral Consistency in Multi-Modeling
- Process Data Science in Digital Pathology
- Comprehensive Systems for Multi-Model Consistency
- Publications Trends
- 2024 works emphasize BPMN validation, visual debugging tools, and timed Petri net verification.
- 2023-2022 research explores pathology workflow optimization and multi-model consistency frameworks.
- Earlier works (2017-2020) address graph rewriting, model repair, and database refactoring tools.
۰مقاله منتشرشده
