24 citations · 96 across the 43 of their papers we have counts for
4 papers · 1 filter
Verification of Binarized Neural Networks via Inter-Neuron Factoring
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang +1
We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks…
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza +5
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingred…
Maximum Resilience of Artificial Neural Networks
Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled…
Automated Analysis of Multi-View Software Architectures
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and…