research
∙
08/14/2023
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling
The SOTIF standard (ISO 21448) requires scenario-based testing to verify...
share
research
∙
08/04/2023
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review
Scenario-based testing is considered state-of-the-art to verify and vali...
research
∙
07/28/2023
QbC: Quantum Correctness by Construction
Thanks to the rapid progress and growing complexity of quantum algorithm...
research
∙
07/27/2023
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint)
A software product line models the variability of highly configurable sy...
research
∙
06/29/2023
A Query Language for Software Architecture Information (Extended version)
Software maintenance is an important part of a software system's life cy...
research
∙
03/22/2023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Feature models are commonly used to specify the valid configurations of ...
research
∙
11/28/2022
Flexible Correct-by-Construction Programming
Correctness-by-Construction (CbC) is an incremental program construction...
research
∙
08/30/2022
Model-based Fault Classification for Automotive Software
Intensive testing using model-based approaches is the standard way of de...
research
∙
08/04/2022
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
In security-critical software applications, confidential information mus...
research
∙
05/10/2022
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
The semantics of probabilistic languages has been extensively studied, b...
research
∙
04/12/2022
Traits for Correct-by-Construction Programming
We demonstrate that traits are a natural way to support correctness-by-c...
research
∙
08/22/2021
Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages
Automated production systems (aPS) are highly customized systems that co...
research
∙
11/27/2018
