Jens Kosiol
Title
Cited by
Cited by
Year
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
152019
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
152017
OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules
N Nassar, J Kosiol, T Arendt, G Taentzer
International Conference on Graph Transformation, 171-177, 2018
142018
Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules
N Nassar, J Kosiol, T Arendt, G Taentzer
International Conference on Graph Transformation, 177-194, 2019
102019
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
102019
Short-Cut Rules
L Fritsche, J Kosiol, A Schürr, G Taentzer
Federation of International Conferences on Software Technologies …, 2018
102018
Graph Consistency as a Graduated Property
J Kosiol, D Strüber, G Taentzer, S Zschaler
International Conference on Graph Transformation, 239-256, 2020
72020
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs
J Kosiol, L Fritsche, A Schürr, G Taentzer
International Conference on Graph Transformation, 38-54, 2019
72019
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories
J Kosiol, L Fritsche, N Nassar, A Schürr, G Taentzer
International Workshop on Algebraic Development Techniques, 139-153, 2018
7*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
62020
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
42021
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
42020
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
42020
Exploring conflict reasons for graph transformation systems
L Lambers, J Kosiol, D Strüber, G Taentzer
International Conference on Graph Transformation, 75-92, 2019
42019
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
22020
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, 2021
2021
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting
J Kosiol, G Taentzer
International Conference on Graph Transformation, 22-39, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–17