Max Stachon

11 papers Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
Dynamic Symbolic Execution of Component-and-Connector Models for Semantic Differencing.
Modellierung
Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2025 J jnl
Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures.
CoRR
Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2025 J jnl
Methodical and Formally Verified Model-Driven Architecture Refactoring.
J. Object Technol.
Lars Fischer, Hendrik Kausch, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt
2025 — conf
Semantic Analysis of Domain Model Evolution in Model-Driven Software Development.
MODELS-C
Constantin Buschhaus, Lukas Netz, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2025 J jnl
Tool-Assisted Conformance Checking to Reference Process Models.
CoRR
Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo
2024 — conf
Navigating the Data Model Divide in Smart Manufacturing: An Empirical Investigation for Enhanced AI Integration.
BPMDS/EMMSAD@CAiSE
István Koren, Matthias Jarke, Judith Michael, Malte Heithoff, Leah Tacke genannt Unterberg, Max Stachon, Bernhard Rumpe, Wil M. P. van der Aalst
2024 — conf
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.
MoDELS (Companion)
Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo
2024 J jnl
Towards a Semantically Useful Definition of Conformance with a Reference Model.
J. Object Technol.
Marco Konersmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo
2023 J jnl
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
J. Object Technol.
Achim Lindt, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2023 J jnl
On Implementing Open World Semantic Differencing for Class Diagrams.
J. Object Technol.
Jan Oliver Ringert, Bernhard Rumpe, Max Stachon
2022 — conf
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.
Modellierung
Imke Nachmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber