The Design and Implementation of a Dynamic Verification System of Z. - Jun Wang 039; Yi Zhuang 002; Siru Ni (ICCCS, 2015)

Discrete gbest-guided artificial bee colony algorithm for cloud service composition. - Ying Huo; Yi Zhuang 002; Jingjing Gu; Siru Ni; Yu Xue 003 (Appl. Intell., 2015)

Elite-guided multi-objective artificial bee colony algorithm. - Ying Huo; Yi Zhuang 002; Jingjing Gu; Siru Ni (Appl. Soft Comput., 2015)

Fuzzy trust evaluation based on consistency intensity for cloud services. - Ying Huo; Yi Zhuang 002; Siru Ni (Kybernetes, 2015)

Modeling Dependability Features for Real-Time Embedded Systems. - Siru Ni; Yi Zhuang 002; Zining Cao; Xiangying Kong (IEEE Trans. Dependable Secur. Comput., 2015)

A formal model and risk assessment method for security-critical real-time embedded systems. - Siru Ni; Yi Zhuang 002; Jingjing Gu; Ying Huo (Comput. Secur., 2016)