8 citations · 21 across the 5 of their papers we have counts for
8 papers
Security Engineering for ISO 21434
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
The ISO 21434 is a new standard that has been proposed to address the future challenges of automotive cybersecurity. This white paper takes a closer look at the ISO 21434 helping e…
Knowledge as Invariance -- History and Perspectives of Knowledge-augmented Machine Learning
Alexander Sagel, Amit Sahu, Stefan Matthes +5
Research in machine learning is at a turning point. While supervised deep learning has conquered the field at a breathtaking pace and demonstrated the ability to solve inference pr…
Model-Based Safety and Security Engineering
Vivek Nigam, Alexander Pretschner, Harald Ruess
By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid…
Towards Dependability Metrics for Neural Networks
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +2
Artificial neural networks (NN) are instrumental in realizing highly-automated driving functionality. An overarching challenge is to identify best safety engineering practices for…
Verification of Binarized Neural Networks via Inter-Neuron Factoring
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +1
We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks…
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza +5
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingred…