2 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
Software Process as a Service: Towards A Software Process Ecosystem
Oliver Greulich, Christoph Knieke, Bassel Rafie +2
In large-scale projects operated in regulated environments, standard development processes are employed to meet strict compliance demands. Since such processes are usually complex,…