Maximum Resilience of Artificial Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Harald Ruess (ATVA, 2017)

Verification of Binarized Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Harald Ruess (CoRR, 2017)

Neural networks for safety-critical applications - Challenges, experiments and perspectives. - Chih-Hong Cheng; Frederik Diehl; Gereon Hinz; Yassine Hamza; Georg Nührenberg; Markus Rickert 001; Harald Ruess; Michael Truong-Le (DATE, 2018)

Towards Dependability Metrics for Neural Networks. - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess; Hirotoshi Yasuoka (MEMOCODE, 2018)

Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). - Chih-Hong Cheng; Georg Nührenberg; Chung-Hao Huang; Harald Ruess (VSTTE, 2018)

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems. - Chih-Hong Cheng; Chung-Hao Huang; Georg Nührenberg (CoRR, 2018)

Runtime Monitoring Neuron Activation Patterns. - Chih-Hong Cheng; Georg Nührenberg; Hirotoshi Yasuoka (DATE, 2019)

nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems. - Chih-Hong Cheng; Chung-Hao Huang; Georg Nührenberg (ICCAD, 2019)