Jens Kosiol

[homepage]

Jens and I collaborated around formal properties of graph transformations, especially with regards to constraint preservation and consistency improvement. This came out of work on model-driven optimisation.

Research topics

Model-based optimisation

Bringing the power of explicit modelling to optimisation and search

Foundations of model-driven engineering

Laying sound foundations for the field

Research projects

From Models to the ROAR-NET API and Back

ROAR-Net Cost Action Short-Term Scientific Mission

Co-authored papers

Journal Articles

2021

SciCo

Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

Science of Computer Programming 214, 2021

Bib HTML PDF

@article{KosiolEtAl21,
  author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
  title = {Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations},
  journal = {Science of Computer Programming},
  volume = {214},
  year = {2021},
}

Conference and Workshop Papers

2026

A nesting-free normal form for nested conditions in finite lattices of subgraphs

Jens Kosiol, and Steffen Zschaler

In 17th International Workshop on Graph Computation Models (GCM’26), 2026

Bib PDF

@inproceedings{KosiolZschaler26a,
  author = {Kosiol, Jens and Zschaler, Steffen},
  title = {A nesting-free normal form for nested conditions in finite lattices of subgraphs},
  booktitle = {17th International Workshop on Graph Computation Models (GCM'26)},
  year = {2026},
}

Using model-driven techniques for specifying and solving optimisation problems in the healthcare domain: A case study based on the Integrated Healthcare Timetabling Problem

Maximilian Kratz, Jule Pfau, Steffen Zschaler, and 2 more authors

In 1st International Workshop on Model Engineering for Digital Innovation in Healthcare (MEDIC’26), 2026

To appear

Bib

@inproceedings{KratzEtAl26,
  author = {Kratz, Maximilian and Pfau, Jule and Zschaler, Steffen and Kosiol, Jens and Sch{\"u}rr, Andy},
  title = {Using model-driven techniques for specifying and solving optimisation problems in the healthcare domain: A case study based on the Integrated Healthcare Timetabling Problem},
  booktitle = {1st International Workshop on Model Engineering for Digital Innovation in Healthcare ({MEDIC}'26)},
  year = {2026},
  note = {To appear},
}

2023

ICGT

Finding the Right Way to Rome: Effect-oriented Graph Transformation

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

In 16th International Conference on Graph Transformation (ICGT 2023), 2023

Bib HTML PDF

@inproceedings{KosiolEtAl23,
  author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
  title = {Finding the Right Way to {Rome}: Effect-oriented Graph Transformation},
  booktitle = {16th International Conference on Graph Transformation (ICGT 2023)},
  year = {2023},
  doi = {10.1007/978-3-031-36709-0_3},
  url = {https://doi.org/10.1007/978-3-031-36709-0_3}
}

2020

ICGT

Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and 1 more author

In Proc. Int’l Conf. on Graph Transformations (ICGT’20), 2020

Bib HTML PDF

@inproceedings{KosiolEtAl20,
  author = {Kosiol, Jens and Str{\"u}ber, Daniel and Taentzer, Gabriele and Zschaler, Steffen},
  title = {Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations},
  booktitle = {Proc. Int'l Conf. on Graph Transformations (ICGT'20)},
  year = {2020},
  url = {https://doi.org/10.1007/978-3-030-51372-6_14},
  doi = {10.1007/978-3-030-51372-6_14},
}

Technical Reports

2026

arXiv

A note on nested conditions for finite categories of subgraphs

Jens Kosiol, and Steffen Zschaler

2026

Bib HTML PDF

@techreport{KosiolZschaler26,
  author = {Kosiol, Jens and Zschaler, Steffen},
  title = {A note on nested conditions for finite categories of subgraphs},
  howpublished = {Technical Report, arXiv:2601.18376 [math.CT]},
  institution = {arXiv},
  number = {arXiv:2601.18376},
  doi = {10.48550/arXiv.2601.18376},
  url = {https://arxiv.org/abs/2601.18376},
  year = {2026},
}

2025

arXiv

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision

Maximilian Kratz, Steffen Zschaler, Jens Kosiol, and 1 more author

2025

Bib HTML

@techreport{KratzEtAl25,
  author = {Kratz, Maximilian and Zschaler, Steffen and Kosiol, Jens and Taentzer, Gabriele},
  title = {Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision},
  year = {2025},
  eprint = {2510.02002},
  archiveprefix = {arXiv},
  primaryclass = {cs.SE},
  howpublished = {Technical Report, arXiv:2510.02002 [cs.SE]},
  institution = {arXiv},
  number = {arXiv:2510.02002},
  url = {https://arxiv.org/abs/2510.02002},
}