Segui
Patrick Stünkel
Patrick Stünkel
Høgskulen på Vestlandet
Email verificata su hvl.no - Home page
Titolo
Citata da
Citata da
Anno
Multimodel correspondence through inter-model constraints
P Stünkel, H König, Y Lamo, A Rutle
Companion Proceedings of the 2nd International Conference on the Art …, 2018
292018
GraphQL Federation: A Model-Based Approach
P Stünkel, O von Bargen, A Rutle, Y Lamo
Journal of Object Technology 19 (2), 2020
232020
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
P Stünkel, H König, Y Lamo, A Rutle
Formal Aspects of Computing 33 (6), 1067-1114, 2021
182021
Towards Multiple Model Synchronization with Comprehensive Systems.
P Stünkel, H König, Y Lamo, A Rutle
FASE, 335-356, 2020
142020
Multi-Model Evolution through Model Repair.
P Stünkel, H König, A Rutle, Y Lamo
J. Object Technol. 20 (1), 1:1-25, 2021
112021
Process Data Science for Workflow Optimization in Digital Pathology: A status report.
P Stünkel, S Leh, F Leh
HEDA@ Petri Nets, 2022
42022
A framework for multi-model consistency management
P Stünkel
Høgskulen på Vestlandet, 2022
32022
Towards multiple model synchronization with comprehensive systems: Extended version
P Stünkel, H König, Y Lamo, A Rutle
Tech. Rep. 1, Fachhochschule für die Wirtschaft (FHDW) Hannover, https …, 2020
32020
Single pushout rewriting in comprehensive systems
H König, P Stünkel
Graph Transformation: 13th International Conference, ICGT 2020, Held as Part …, 2020
32020
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
T Kräuter, P Stünkel, A Rutle, H König, Y Lamo
arXiv preprint arXiv:2407.03965, 2024
12024
The Visual Debugger: Past, Present, and Future
T Krauter, P Stunkel, A Rutle, Y Lamo
Proceedings of the 1st ACM/IEEE Workshop on Integrated Development …, 2024
12024
Intelligent tracing and process improvement of pathology workflows using character recognition
M Hatlem, F Rabbi, P Stünkel, F Leh
CEUR Workshop Proceedings, 2023
12023
Behavioral consistency in multi-modeling
TO Kräuter, H König, A Rutle, Y Lamo, P Stünkel
AITO publication, 2023
12023
Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches
Z Diskin, P Stünkel
Technical Report McSCert report 2021-34, McMaster University. Available at …, 2021
12021
Delta-a Tool for Database Refactoring
L Leitloff, M Schultchen, F Selent, S Sternheim, P Stünkel
Fachhochschule für die Wirtschaft Hannover, 2017
12017
Norsk Informatikkonferanse (NIK) 2024 Forord
P Stünkel, E Kamburjan
Norsk IKT-konferanse for forskning og utdanning, 2024
2024
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
T Kräuter, P Stünkel, A Rutle, Y Lamo, H König
arXiv preprint arXiv:2408.06028, 2024
2024
Runtime Verification of Timed Petri Nets
JIR Jarabo, E Gómez-Martínez, H Kallwies, M Haustein, M Leucker, ...
CEUR Workshop Proceedings 3730, 122-131, 2024
2024
Single pushout rewriting in comprehensive systems of graph-like structures
P Stünkel, H König
Theoretical Computer Science 884, 23-43, 2021
2021
A Roadmap for Multi-Model Consistency Management
P Stünkel, H König, Y Lamo, A Rutle
Workshop on Programming Theory, 67, 2018
2018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20