60 citations · 269 across the 22 of their papers we have counts for
22 papers
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling
Lukas Birkemeyer, Julian Fuchs, Alessio Gambi +1
The SOTIF standard (ISO 21448) requires scenario-based testing to verify and validate Advanced Driver Assistance Systems and Automated Driving Systems but does not suggest any prac…
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review
Lukas Birkemeyer, Christian King, Ina Schaefer
Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver Assistance Systems or Automated Driving Systems. Due to the official launch of the SOTI…
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn +2
A software product line models the variability of highly configurable systems. Complete exploration of all valid configurations (the configuration space) is infeasible as it grows…
QbC: Quantum Correctness by Construction
Anurudh Peduri, Ina Schaefer, Michael Walter
Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of quantum programs has become a major concern. Pioneering research over the past years has p…
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Chico Sundermann, Heiko Raab, Tobias Heß +2
Feature models are commonly used to specify the valid configurations of a product line. In industry, feature models are often complex due to a large number of features and constrai…
Flexible Correct-by-Construction Programming
Tobias Runge, Tabea Bordis, Alex Potanin +2
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a spec…