Publications
Export list as BibTeX file
- November 2019nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving SystemsChih-Hong Cheng, Chung-Hao Huang and Georg Nührenberg
In
Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD),
DetailsBIB
- March 2019Runtime Monitoring Neuron Activation PatternsChih-Hong Cheng, Georg Nührenberg and Hirotoshi Yasuoka
In
Design, Automation & Test in Europe Conference & Exhibition,
pages 300–303,
Florence, Italy,
DetailsURLDOIBIB
- October 2018Towards Dependability Metrics for Neural NetworksChih-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,
DetailsURLDOIBIB
- July 2018Verification 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,
DetailsURLDOIBIB
- March 2018Neural Networks for Safety-Critical Applications - Challenges, Experiments and PerspectivesChih-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,
DetailsDOIBIB
- 2017Maximum Resilience of Artificial Neural NetworksChih-Hong Cheng, Georg Nührenberg and Harald Rueß
In
Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA,
DetailsBIB
