most citedNeural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives

7 citations · 9 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2017★ 7 cited

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…

cs.SE2017

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…