Structural Synthesis for GXW Specifications. - Chih-Hong Cheng; Yassine Hamza; Harald Ruess (CAV (1), 2016)

Automated Analysis of Multi-View Software Architectures. - Chih-Hong Cheng; Yassine Hamza; Harald Ruess (APSEC, 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)