Adrian Marin, M.Sc. RWTH

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

+49 (241) 80-21346
marin@se-rwth.de

Room 4221, Erweiterungsbau 1


Publications

  1. [BMRS26]
    T. Bursch, A. Marin, B. Rumpe, D. Schmalzing:
    Continuous Verification of Evolving Architecture Models: A Testing Framework for MontiArc.
    In: ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion 2026), ISBN 979-8-4007-2903-4, DOI 10.1145/3837062.3840373, ACM, Málaga, Spain, Oct. 2026.
  2. [TWM+26]
    B. Taghavi, S. Weber, A. Marin, B. Rumpe, S. Stüber, J. Henß, T. Weber, R. Heinrich:
    Modeling the composition of analysis components and automatic constraint checking for semantic soundness.
    In: Journal of Systems and Software (JSS), Volume 231, Art. 112637, DOI 10.1016/j.jss.2025.112637, Elsevier, Jan. 2026.
  3. [THM+25]
    B. Taghavi, R. Heinrich, A. Marin, B. Rumpe, S. Stüber, S. Weber:
    Semantic Validation for Slingshot Simulator Using MontiArc.
    In: Softwaretechnik-Trends Band 45, Heft 1, Gesellschaft für Informatik e.V., Feb. 2025.
  4. [WHT+24]
    S. Weber, J. Henß, B. Taghavi, T. Weber, S. Stüber, A. Marin, B. Rumpe, R. Heinrich:
    Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models.
    In: Software Architecture. ECSA 2024 Tracks and Workshops, A. Ampatzoglou, J. Pérez, B. Buhnova, V. Lenarduzzi, C. C. Venters, U. Zdun, K. Drira, L. Rebelo, D. Di Pompeo, M. Tucci, E. Y. Nakagawa, E. Navarro (Eds.), Volume 14937, pp. 30-38, LNCS, DOI 10.1007/978-3-031-71246-3_4, Springer Nature Switzerland, Cham, Sep. 2024.