2 papers
cs.SE2026
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.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…