8 citations · 13 across the 12 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version
Lars König, Jens Kosiol
View-based development is an important technique to manage complexity and facilitate cooperation in the development of modern and complex systems of systems. This approach places h…
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…
math.CT2026
A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs
Jens Kosiol, Steffen Zschaler
We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.