Georg Nührenberg

According to our database, Georg Nührenberg authored at least 8 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems.

Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg

Proceedings of the International Conference on Computer-Aided Design, 2019

Runtime Monitoring Neuron Activation Patterns.

Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems.

Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg

CoRR, 2018

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper).

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Towards Dependability Metrics for Neural Networks.

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Neural networks for safety-critical applications - Challenges, experiments and perspectives.

Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Verification of Binarized Neural Networks.

Chih-Hong Cheng, Georg Nührenberg, Harald Ruess

CoRR, 2017

Maximum Resilience of Artificial Neural Networks.

Chih-Hong Cheng, Georg Nührenberg, Harald Ruess

Proceedings of the Automated Technology for Verification and Analysis, 2017