research
∙
05/15/2023
Causal Analysis for Robust Interpretability of Neural Networks
Interpreting the inner function of neural networks is crucial for the tr...
share
research
∙
12/15/2022
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
Runtime monitoring provides a more realistic and applicable alternative ...
research
∙
12/14/2022
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
Deep Neural Networks (DNN) are becoming increasingly more important in a...
research
∙
02/18/2022
SMC4PEP: Stochastic Model Checking of Product Engineering Processes
Product Engineering Processes (PEPs) are used for describing complex pro...
research
∙
07/23/2020
Towards a Systems Engineering based Automotive Product Engineering Process
Deficit and redundancies in existing automotive product development hind...
research
∙
06/24/2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification
While abstraction is a classic tool of verification to scale it up, it i...
research
∙
04/09/2019
Towards Safety Verification of Direct Perception Neural Networks
We study the problem of safety verification of direct perception neural ...
research
∙
10/20/2017