Yassine Hamza

According to our database, Yassine Hamza authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Neural networks for safety-critical applications - Challenges, experiments and perspectives.

Chih-Hong Cheng, Frederik Diehl, Gereon Hinz, Yassine Hamza, Georg Nührenberg, Markus Rickert, Harald Ruess, Michael Truong-Le

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Automated Analysis of Multi-View Software Architectures.

Chih-Hong Cheng, Yassine Hamza, Harald Ruess

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Structural Synthesis for GXW Specifications.

Chih-Hong Cheng, Yassine Hamza, Harald Ruess

Proceedings of the Computer Aided Verification - 28th International Conference, 2016