Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models. - Sebastian Weber 001; Jörg Henß; Bahareh Taghavi; Thomas Weber 006; Sebastian Stüber; Adrian Marin; Bernhard Rumpe; Robert Heinrich (ECSA (Tracks and Workshops), 2024)

Semantic Validation for Slingshot Simulator Using MontiArc. - Bahareh Taghavi; Robert Heinrich; Adrian Marin; Bernhard Rumpe; Sebastian Stüber; Sebastian Weber 001 (Softwaretechnik-Trends, 2025)

Modeling the composition of analysis components and automatic constraint checking for semantic soundness. - Bahareh Taghavi; Sebastian Weber 001; Adrian Marin; Bernhard Rumpe; Sebastian Stüber; Jörg Henß; Thomas Weber 006; Robert Heinrich (J. Syst. Softw., 2026)