Rule-based repair of EMF models: Formalization and correctness proof N Nassar, J Kosiol, H Radke Electronic Pre-Proc. Intl. Workshop on Graph Computation Models, 2017 | 20 | 2017 |
Short-Cut Rules: Sequential Composition of Rules Avoiding Unnecessary Deletions L Fritsche, J Kosiol, A Schürr, G Taentzer Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 19 | 2018 |
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach L Lambers, K Born, J Kosiol, D Strüber, G Taentzer Journal of logical and algebraic methods in programming 103, 105-129, 2019 | 18 | 2019 |
OCL2AC: automatic translation of OCL constraints to graph constraints and application conditions for transformation rules N Nassar, J Kosiol, T Arendt, G Taentzer Graph Transformation: 11th International Conference, ICGT 2018, Held as Part …, 2018 | 18 | 2018 |
Sustaining and improving graduated graph consistency: A static analysis of graph transformations J Kosiol, D Strüber, G Taentzer, S Zschaler Science of Computer Programming 214, 102729, 2022 | 17 | 2022 |
Graph Consistency as a Graduated Property J Kosiol, D Strüber, G Taentzer, S Zschaler International Conference on Graph Transformation, 239-256, 2020 | 15 | 2020 |
Generating Large EMF Models Efficiently: A Rule-Based, Configurable Approach N Nassar, J Kosiol, T Kehrer, G Taentzer Fundamental Approaches to Software Engineering: 23rd International …, 2020 | 15 | 2020 |
Efficient Model Synchronization by Automatically Constructed Repair Processes L Fritsche, J Kosiol, A Schürr, G Taentzer International Conference on Fundamental Approaches to Software Engineering …, 2019 | 15 | 2019 |
A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars L Fritsche, J Kosiol, A Möller, A Schürr, G Taentzer Proceedings of the 13th ACM SIGPLAN International Conference on Software …, 2020 | 13 | 2020 |
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars L Fritsche, J Kosiol, A Schürr, G Taentzer International Journal on Software Tools for Technology Transfer 23 (3), 335-368, 2021 | 11 | 2021 |
Constructing optimized constraint-preserving application conditions for model transformation rules N Nassar, J Kosiol, T Arendt, G Taentzer Journal of Logical and Algebraic Methods in Programming 114, 100564, 2020 | 11 | 2020 |
Constructing optimized validity-preserving application conditions for graph transformation rules N Nassar, J Kosiol, T Arendt, G Taentzer Graph Transformation: 12th International Conference, ICGT 2019, Held as Part …, 2019 | 11 | 2019 |
Constructing constraint-preserving interaction schemes in adhesive categories J Kosiol, L Fritsche, N Nassar, A Schürr, G Taentzer Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019 | 10 | 2019 |
Adhesive subcategories of functor categories with instantiation to partial triple graphs J Kosiol, L Fritsche, A Schürr, G Taentzer Graph Transformation: 12th International Conference, ICGT 2019, Held as Part …, 2019 | 8 | 2019 |
Exploring conflict reasons for graph transformation systems L Lambers, J Kosiol, D Strüber, G Taentzer International Conference on Graph Transformation, 75-92, 2019 | 7 | 2019 |
Towards a configurable crossover operator for model-driven optimization S John, J Kosiol, G Taentzer Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 6 | 2022 |
Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs J Kosiol, L Fritsche, A Schürr, G Taentzer Journal of Logical and Algebraic Methods in Programming 115, 100565, 2020 | 6 | 2020 |
A multiplicity-preserving crossover operator on graphs H Thölke, J Kosiol Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 5 | 2022 |
A generic construction for crossovers of graph-like structures G Taentzer, S John, J Kosiol Graph Transformation: 15th International Conference, ICGT 2022, Held as Part …, 2022 | 5 | 2022 |
Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars J Kosiol Philipps-Universität Marburg, 2022 | 5 | 2022 |