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. [MRS+26]
    J. Michael, B. Rumpe, M. Stachon, S. Stüber, V. Voufo:
    Automated Conformance Checking Between Process Models and Their Generalized Reference Process Models.
    In: Mining a Scientist’s Process: Essays Dedicated to Wil van der Aalst on the Occasion of His 60th Birthday, Mendling, Jan and Leemans, Sander and van Dongen, Boudewijn F. and Reijers, Hajo (Eds.), pp. 525–550, LNCS 16480, ISBN 978-3-032-17618-9, DOI 10.1007/978-3-032-17618-9_35, Springer, Mar. 2026.
  2. [GRSS26]
    J. Grahl, B. Rumpe, M. Stachon, S. Stüber:
    Dynamic Symbolic Execution of Component-and-Connector Models for Semantic Differencing.
    In: Modellierung 2026, Volume P378, pp. 89-105, LNI, DOI 10.18420/modellierung2026-06, GI, Bayreuth, Mar. 2026.
  3. [BNR+25]
    C. Buschhaus, L. Netz, B. Rumpe, M. Stachon, S. Stüber:
    Semantic Analysis of Domain Model Evolution in Model-Driven Software Development.
    In: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 99-103, DOI 10.1109/MODELS-C68889.2025.00023, IEEE, Oct. 2025.
  4. [GRSS25]
    J. Grahl, B. Rumpe, M. Stachon, S. Stüber:
    Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures.
    DOI 10.48550/arXiv.2508.00749, arXiv, Aug. 2025.
  5. [RSSV25]
    B. Rumpe, M. Stachon, S. Stüber, V. Voufo:
    Tool-Assisted Conformance Checking to Reference Process Models.
    DOI 10.48550/arXiv.2508.00738, arXiv, Aug. 2025.
  6. [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, AITO - Association Internationale pour les Technologies Objets, May 2025.
  7. [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.
  8. [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, AITO - Association Internationale pour les Technologies Objets, Jul. 2024.
  9. [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.
  10. [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.
  11. [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.
  12. [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.