3 citations · 3 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
Alexander Lauer, Jens Kosiol, Leen Lambers +1
Conflict and dependency analysis is an important static analysis tool that provides an overview of the potential interactions of (graph) transformation rules. This analysis is base…
cs.SE2019★ 3 cited
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Tr…