Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences. - Imke Nachmann; Bernhard Rumpe; Max Stachon; Sebastian Stüber (Modellierung, 2022)

On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words. - Christof Löding; Max Philip Stachon (Fundam. Informaticae, 2022)

CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration. - Achim Lindt; Bernhard Rumpe; Max Stachon; Sebastian Stüber (J. Object Technol., 2023)

On Implementing Open World Semantic Differencing for Class Diagrams. - Jan Oliver Ringert; Bernhard Rumpe; Max Stachon (J. Object Technol., 2023)

Navigating the Data Model Divide in Smart Manufacturing: An Empirical Investigation for Enhanced AI Integration. - István Koren; Matthias Jarke; Judith Michael; Malte Heithoff; Leah Tacke genannt Unterberg; Max Stachon; Bernhard Rumpe; Wil M. P. van der Aalst (BPMDS/EMMSAD@CAiSE, 2024)

Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL. - Bernhard Rumpe; Max Stachon; Sebastian Stüber; Valdes Voufo (MoDELS (Companion), 2024)

Towards a Semantically Useful Definition of Conformance with a Reference Model. - Marco Konersmann; Bernhard Rumpe; Max Stachon; Sebastian Stüber; Valdes Voufo (J. Object Technol., 2024)

Methodical and Formally Verified Model-Driven Architecture Refactoring. - Lars Fischer; Hendrik Kausch; Bernhard Rumpe; Max Stachon; Sebastian Stüber; Lucas Wollenhaupt (J. Object Technol., 2025)

Tool-Assisted Conformance Checking to Reference Process Models. - Bernhard Rumpe; Max Stachon; Sebastian Stüber; Valdes Voufo (CoRR, 2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures. - Johanna Grahl; Bernhard Rumpe; Max Stachon; Sebastian Stüber (CoRR, 2025)