Jens Kosiol
Orcid: 0000-0003-4733-2777Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
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
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
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
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
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
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