Formal verification and validation of test methods for complex vehicle safety systems in virtual environments

Third party funded individual grant


Start date : 01.08.2014

End date : 01.08.2017

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Improving System Reliability Assessment of Safety-Critical Systems using Machine Learning Optimization Techniques (2018) Alagöz I, Hoiss T, German R Journal article, Original article Modeling a Classifier for Solving Safety-Critical Binary Classification Tasks (2017) Alagöz I, Hoiss T, German R Conference contribution A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level (2017) Alagöz I, Herpel T, German R Conference contribution