Adrian Marin -

Not registered as user

Name:Adrian Marin

Affiliation:RWTH Aachen University

Contributions

2026

ICMM

Author of Towards Applying Stream-Based Assumption Guarantee Specifications for Runtime Verification within the ICMM 2026-track

2024

ECSA

Author of Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models within the Tools & Demos-track