Thorsten Arendt

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Constructing optimized constraint-preserving application conditions for model transformation rules
Journal of Logical and Algebraic Methods in Programming
2020-07-14Paper
Constructing optimized validity-preserving application conditions for graph transformation rules2020-02-06Paper
Variability-based model transformation: formal foundation and application
Formal Aspects of Computing
2018-02-02Paper
\textit{RuleMerger}: automatic construction of variability-based model transformation rules
Fundamental Approaches to Software Engineering
2016-04-21Paper
Translating essential OCL invariants to nested graph constraints focusing on set operations
Graph Transformation
2015-09-22Paper
From Core OCL invariants to nested graph constraints
Graph Transformation
2014-09-26Paper


Research outcomes over time


This page was built for person: Thorsten Arendt