4 papers
Reliability of Large Language Models for Design Synthesis: An Empirical Study of Variance, Prompt Sensitivity, and Method Scaffolding
Rabia Iftikhar, Andreas Rausch
Large Language Models (LLMs) are increasingly applied to automate software engineering tasks, including the generation of UML class diagrams from natural language descriptions. Whi…
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…
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…
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…