2 papers
cs.SE2026
A Human-Centred Architecture for Large Language Models-Cognitive Assistants in Manufacturing within Quality Management Systems
Marcos Galdino, Johanna Grahl, Tobias Hamann +2
Large Language Models-Cognitive Assistants (LLM-CAs) can enhance Quality Management Systems (QMS) in manufacturing, fostering continuous process improvement and knowledge managemen…
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…