Yassine Hamza

Identifiers

No identifiers captured yet.

Papers (3)

1. Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives cs.SE · 2017 · author #3
2. Automated Analysis of Multi-View Software Architectures cs.SE · 2017 · author #2
3. Structural Synthesis for GXW Specifications cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Chih-Hong Cheng 3 shared papers
• Harald Ruess 3 shared papers
• Frederik Diehl 1 shared papers
• Georg N\"uhrenberg 1 shared papers
• Gereon Hinz 1 shared papers
• Markus Rickert 1 shared papers
• Michael Troung-Le 1 shared papers