Quality, Reliability, Security and Robustness in Heterogeneous Systems 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings - Wang, Lei; Wang, Lei; Qiu, Tie; Qiu, Tie; Zhao, Wenbing; Zhao, Wenbing (Springer International Publishing : Imprint: Springer, 2018)