Max Stachon

According to our database, Max Stachon authored at least 13 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Dynamic Symbolic Execution of Component-and-Connector Models for Semantic Differencing.

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

Proceedings of the Modellierung 2026, Bayreuth, Germany, 2026

Automated Conformance Checking Between Process Models and Their Generalized Reference Process Models.

Judith Michael, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

Proceedings of the Mining a Scientist's Process, 2026

2025

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures.

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

CoRR, August, 2025

Tool-Assisted Conformance Checking to Reference Process Models.

Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

CoRR, August, 2025

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

Semantic Analysis of Domain Model Evolution in Model-Driven Software Development.

Constantin Buschhaus, Lukas Netz, Bernhard Rumpe, Max Stachon, Sebastian Stüber

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

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

Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.

Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

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

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2024

2023

On Implementing Open World Semantic Differencing for Class Diagrams.

Jan Oliver Ringert, Bernhard Rumpe, Max Stachon

J. Object Technol., 2023

CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.

Achim Lindt, Bernhard Rumpe, Max Stachon, Sebastian Stüber

J. Object Technol., 2023

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

Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.

Imke Nachmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber

Proceedings of the Modellierung 2022, 27. Juni - 01. Juli 2022, Hamburg, Deutschland., 2022