2 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…