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), November 2019. 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, March 2019. 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, October 2018. 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, July 2018. 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, March 2018. 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, 2017. Details BIB