3 papers
cs.SE2025
VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
Bassel Rafie, Christian Schindler, Andreas Rausch
Operational Design Domains (ODDs) define the conditions under which an Automated Driving System (ADS) is allowed to operate, while Current Operational Domains (CODs) capture the ac…
cs.SE2025
Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Steffen Herbold, Christoph Knieke, Andreas Rausch +1
Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining for…
cs.SE2025
LLM-Based Design Pattern Detection
Christian Schindler, Andreas Rausch
Detecting design pattern instances in unfamiliar codebases remains a challenging yet essential task for improving software quality and maintainability. Traditional static analysis…