| 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 | 22 | 2022 |
| 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 | 22 | 2017 |
| 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 | 21 | 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 | 20 | 2019 |
| 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 | 20 | 2018 |
| 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 | 17 | 2020 |
| 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 | 15 | 2020 |
| 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 |
| 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 | 14 | 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 | 12 | 2021 |
| 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 | 12 | 2019 |
| 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 |
| A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties S John, J Kosiol, L Lambers, G Taentzer Software and Systems Modeling 22 (4), 1281-1318, 2023 | 8 | 2023 |
| 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 | 8 | 2022 |
| 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 |
| A multiplicity-preserving crossover operator on graphs H Thölke, J Kosiol Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 7 | 2022 |
| 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 |
| Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars J Kosiol Philipps-Universität Marburg, 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 |
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
