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

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

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 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},
}