8 citations · 13 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Lars Fritsche, Jens Kosiol, Alexander Lauer +2
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation i…
cs.LO2023
Finding the Right Way to Rome: Effect-oriented Graph Transformation
Jens Kosiol, Daniel Strüber, Gabriele Taentzer +1
Many applications of graph transformation require rules that change a graph without introducing new consistency violations. When designing such rules, it is natural to think about…