research
∙
11/16/2018
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems
nn-dependability-kit is an open-source toolbox to support safety enginee...
share
research
∙
09/18/2018
Runtime Monitoring Neuron Activation Patterns
For using neural networks in safety critical domains, it is important to...
research
∙
09/18/2018
Runtime Monitoring Neural Activation Patterns
For using neural networks in safety critical domains, it is important to...
research
∙
06/06/2018
Towards Dependability Metrics for Neural Networks
Neural networks and other data engineered models are instrumental in dev...
research
∙
10/09/2017
Verification of Binarized Neural Networks via Inter-Neuron Factoring
We study the problem of formal verification of Binarized Neural Networks...
research
∙
10/09/2017
Verification of Binarized Neural Networks
We study the problem of formal verification of Binarized Neural Networks...
research
∙
09/04/2017
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
We propose a methodology for designing dependable Artificial Neural Netw...
research
∙
04/28/2017