Max Stachon, M.Sc. RWTH

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

+49 (241) 80-21351
stachon@se-rwth.de

Raum 4225, Erweiterungsbau 1


Research Areas:

Publications at SE:

  1. [FKR+25]
    L. Fischer, H. Kausch, B. Rumpe, M. Stachon, S. Stüber, L. Wollenhaupt:
    Methodical and Formally Verified Model-Driven Architecture Refactoring.
    In: Journal of Object Technology (JOT), R. Jongeling, S. Mosser (Eds.), Volume 24(2), pp. 1-14, DOI 10.5381/jot.2025.24.2.a13, Association Internationale pour les Technologies Objets (AITO), May 2025.
  2. [RSSV24]
    B. Rumpe, M. Stachon, S. Stüber, V. Voufo:
    Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.
    In: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa), MODELS Companion ’24, pp. 1066-1075, DOI 10.1145/3652620.3687818, ACM, Oct. 2024.
  3. [KRS+24]
    M. Konersmann, B. Rumpe, M. Stachon, S. Stüber, V. Voufo:
    Towards a Semantically Useful Definition of Conformance with a Reference Model.
    In: Journal of Object Technology (JOT), Volume 23(3), pp. 1-14, DOI 10.5381/jot.2024.23.3.a5, Association Internationale pour les Technologies Objets (AITO), Jul. 2024.
  4. [KJM+24]
    I. Koren, M. Jarke, J. Michael, M. Heithoff, L. Tacke Genannt Unterberg, M. Stachon, B. Rumpe, W. M. P. van der Aalst:
    Navigating the Data Model Divide in Smart Manufacturing: An Empirical Investigation for Enhanced AI Integration.
    In: Enterprise, Business-Process and Information Systems Modeling, H. van der Aa, D. Bork, R. Schmidt, A. Sturm (Eds.), pp. 275–290, DOI 10.1007/978-3-031-61007-3_21, Springer Nature Switzerland, May 2024.
  5. [RRS23]
    J. O. Ringert, B. Rumpe, M. Stachon:
    On Implementing Open World Semantic Differencing for Class Diagrams.
    In: Journal of Object Technology (JOT), Volume 22(2), pp. 2:1-14, DOI 10.5381/jot.2023.22.2.a11, AITO - Association Internationale pour les Technologies Objets, Jul. 2023.
  6. [LRSS23]
    A. Lindt, B. Rumpe, M. Stachon, S. Stüber:
    CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
    In: Journal of Object Technology (JOT), Volume 22(2), pp. 2:1-14, DOI 10.5381/jot.2023.22.2.a1, AITO - Association Internationale pour les Technologies Objets, Jul. 2023.
  7. [NRSS22]
    I. Nachmann, B. Rumpe, M. Stachon, S. Stüber:
    Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.
    In: Modellierung 2022, pp. 111-127, DOI 10.18420/modellierung2022-016, Gesellschaft für Informatik e.V., Jun. 2022.

Other Publications:

C. Löding, M. Stachon:
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words
In: Fundamenta Informaticae, Volume 189(1), pp.69-91, Jul. 2023.