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 | 29 | 2018 |
GraphQL Federation: A Model-Based Approach P Stünkel, O von Bargen, A Rutle, Y Lamo Journal of Object Technology 19 (2), 2020 | 23 | 2020 |
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 | 18 | 2021 |
Towards Multiple Model Synchronization with Comprehensive Systems. P Stünkel, H König, Y Lamo, A Rutle FASE, 335-356, 2020 | 14 | 2020 |
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 | 11 | 2021 |
Process Data Science for Workflow Optimization in Digital Pathology: A status report. P Stünkel, S Leh, F Leh HEDA@ Petri Nets, 2022 | 4 | 2022 |
A framework for multi-model consistency management P Stünkel Høgskulen på Vestlandet, 2022 | 3 | 2022 |
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 | 3 | 2020 |
Single pushout rewriting in comprehensive systems H König, P Stünkel Graph Transformation: 13th International Conference, ICGT 2020, Held as Part …, 2020 | 3 | 2020 |
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 | 1 | 2024 |
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 | 1 | 2024 |
Intelligent tracing and process improvement of pathology workflows using character recognition M Hatlem, F Rabbi, P Stünkel, F Leh CEUR Workshop Proceedings, 2023 | 1 | 2023 |
Behavioral consistency in multi-modeling TO Kräuter, H König, A Rutle, Y Lamo, P Stünkel AITO publication, 2023 | 1 | 2023 |
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 | 1 | 2021 |
Delta-a Tool for Database Refactoring L Leitloff, M Schultchen, F Selent, S Sternheim, P Stünkel Fachhochschule für die Wirtschaft Hannover, 2017 | 1 | 2017 |
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 |