1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2026★ 1 cited
Using weakest application conditions to rank graph transformations for graph repair
Lars Fritsche, Alexander Lauer, Maximilian Kratz +2
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph i…
cs.SE2024
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…