3 papers
cs.SE2025
Tool-Assisted Conformance Checking to Reference Process Models
Bernhard Rumpe, Max Stachon, Sebastian Stüber +1
Reference models convey best practices and standards. The reference frameworks necessitate conformance checks to ensure adherence to established guidelines and principles, which is…
cs.SE2025
Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
Johanna Grahl, Bernhard Rumpe, Max Stachon +1
In the context of model-driven development, ensuring the correctness and consistency of evolving models is paramount. This paper investigates the application of Dynamic Symbolic Ex…
cs.FL2022
On Minimization and Learning of Deterministic -Automata in the Presence of Don't Care Words
Christof Löding, Max Philip Stachon
We study minimization problems for deterministic -automata in the presence of don't care words. We prove that the number of priorities in deterministic parity automata can be ef…