Follow
Jens Kosiol
Jens Kosiol
Universität Kassel
Verified email at mathematik.uni-marburg.de
Title
Cited by
Cited by
Year
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
202017
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
192018
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
182019
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
182018
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
162022
Graph Consistency as a Graduated Property
J Kosiol, D Strüber, G Taentzer, S Zschaler
International Conference on Graph Transformation, 239-256, 2020
152020
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
152020
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
152019
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
132020
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
112020
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
112019
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
102021
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
102019
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
82019
Exploring conflict reasons for graph transformation systems
L Lambers, J Kosiol, D Strüber, G Taentzer
International Conference on Graph Transformation, 75-92, 2019
72019
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
62022
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
62020
A multiplicity-preserving crossover operator on graphs
H Thölke, J Kosiol
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
52022
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
52022
Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars
J Kosiol
Philipps-Universität Marburg, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20