Georg Nührenberg

Publications

Export list as BibTeX file

• November 2019 nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems Chih-Hong Cheng, Chung-Hao Huang and Georg Nührenberg In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), Details BIB
• March 2019 Runtime Monitoring Neuron Activation Patterns Chih-Hong Cheng, Georg Nührenberg and Hirotoshi Yasuoka In Design, Automation & Test in Europe Conference & Exhibition, pages 300–303, Florence, Italy, Details URL DOI BIB
• October 2018 Towards Dependability Metrics for Neural Networks Chih-Hong Cheng, Georg Nührenberg, Harald Rueß and Hirotoshi Yasuoka In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pages 43–46, Details URL DOI BIB
• July 2018 Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang and Harald Rueß In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pages 279–290, Details URL DOI BIB
• March 2018 Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives Chih-Hong Cheng, Frederik Diehl, Gereon Michael Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Rueß and Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1005–1006, Dresden, Germany, Details DOI BIB
• 2017 Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng, Georg Nührenberg and Harald Rueß In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, Details BIB