Towards behavioral consistency in heterogeneous modeling scenarios T Kräuter 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 4 | 2021 |
Formalization and analysis of BPMN using graph transformation systems T Kräuter, A Rutle, H König, Y Lamo International Conference on Graph Transformation, 204-222, 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 |
The Visual Debugger Tool T Kräuter, H König, A Rutle, Y Lamo 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 1 | 2022 |
The Visual Debugger: Past, Present, and Future T Kräuter, P Stünkel, A Rutle, Y Lamo | | 2024 |
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems T Kräuter, A Rutle, H König, Y Lamo arXiv preprint arXiv:2311.05243, 2023 | | 2023 |
Structural Operational Semantics for Heterogeneously Typed Coalgebras H König, U Wolter, T Kräuter 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023 | | 2023 |
Towards heterogeneous behavioral model composition T Kräuter, A Rutle, Y Lamo | | |