Jens Kosiol

Orcid: 0000-0003-4733-2777

Affiliations:
  • University of Marburg, Faculty of Mathematics and Computer Science, Germany


According to our database1, Jens Kosiol authored at least 28 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework.
J. Log. Algebraic Methods Program., January, 2024

2023
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties.
Softw. Syst. Model., August, 2023

A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications.
J. Log. Algebraic Methods Program., 2023

Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
CoRR, 2023

Empowering Model Repair: A Rule-Based Approach to Graph Repair Without Side Effects.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Finding the Right Way to Rome: Effect-Oriented Graph Transformation.
Proceedings of the Graph Transformation - 16th International Conference, 2023

Advanced Consistency Restoration with Higher-Order Short-Cut Rules.
Proceedings of the Graph Transformation - 16th International Conference, 2023

2022
Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars.
PhD thesis, 2022

Sustaining and improving graduated graph consistency: A static analysis of graph transformations.
Sci. Comput. Program., 2022

A multiplicity-preserving crossover operator on graphs. Extended version.
CoRR, 2022

A multiplicity-preserving crossover operator on graphs.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Towards a configurable crossover operator for model-driven optimization.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

A Generic Construction for Crossovers of Graph-Like Structures.
Proceedings of the Graph Transformation - 15th International Conference, 2022

2021
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
Int. J. Softw. Tools Technol. Transf., 2021

A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.
Proceedings of the Graph Transformation - 14th International Conference, 2021

2020
Constructing optimized constraint-preserving application conditions for model transformation rules.
J. Log. Algebraic Methods Program., 2020

Double-pushout-rewriting in <i>S</i>-Cartesian functor categories: Rewriting theory and application to partial triple graphs.
J. Log. Algebraic Methods Program., 2020

A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach.
J. Log. Algebraic Methods Program., 2019

Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Exploring Conflict Reasons for Graph Transformation Systems.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs.
Proceedings of the Graph Transformation - 12th International Conference, 2019

Efficient Model Synchronization by Automatically Constructed Repair Processes.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Short-Cut Rules - Sequential Composition of Rules Avoiding Unnecessary Deletions.
Proceedings of the Software Technologies: Applications and Foundations, 2018

OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules.
Proceedings of the Graph Transformation - 11th International Conference, 2018


  Loading...