Jens Kosiol
Jens Kosiol
E-mail megerősítve itt: mathematik.uni-marburg.de
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
122019
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
102017
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
82018
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
62019
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
62019
Short-Cut Rules
L Fritsche, J Kosiol, A Schürr, G Taentzer
Federation of International Conferences on Software Technologies …, 2018
62018
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
52019
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
5*2018
Exploring Conflict Reasons for Graph Transformation Systems
L Lambers, J Kosiol, D Strüber, G Taentzer
3*
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
22020
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, 100564, 2020
12020
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, 100565, 2020
12020
Graph Consistency as a Graduated Property: Consistency-Sustaining and-Improving Graph Transformations
J Kosiol, D Strüber, G Taentzer, S Zschaler
arXiv preprint arXiv:2005.04162, 2020
12020
Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars
L Fritsche, J Kosiol, A Schürr, G Taentzer
arXiv preprint arXiv:2005.14510, 2020
2020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–14