Georg Nührenberg

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 12

Top Topics

Safety Analysis

Autonomous Driving

Activation Patterns

Top Venues

Publications

Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. ICCAD (2019)
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
Runtime Monitoring Neuron Activation Patterns. DATE (2019)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. CoRR (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). VSTTE (2018)
Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka
Runtime Monitoring Neuron Activation Patterns. CoRR (2018)
Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
Neural networks for safety-critical applications - Challenges, experiments and perspectives. DATE (2018)
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. CoRR (2018)
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka
Towards Dependability Metrics for Neural Networks. MEMOCODE (2018)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Verification of Binarized Neural Networks. CoRR (2017)
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza, Gereon Hinz, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives. CoRR (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Maximum Resilience of Artificial Neural Networks. ATVA (2017)
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
Maximum Resilience of Artificial Neural Networks. CoRR (2017)