The Timed Abstract State Machine Based Test Data Auto Generation for Embedded Systems. - Zhexi Yao; Tao Zhang 058; Jinbo Wang (DSA, 2017)

SEE Fault Sensitivity Analysis and Security Reinforcement Design for FPGA Circuits Based on Complex Network. - Meng-Ru Wang; Tao Zhang 058; Jin-Bo Wang; Shan Zhou; Lu Kong (IEEE Access, 2020)

Correction to "SEE Fault Sensitivity Analysis and Security Reinforcement Design for FPGA Circuits Based on Complex Network". - Meng-Ru Wang; Tao Zhang 058; Jin-Bo Wang; Shan Zhou; Lu Kong (IEEE Access, 2020)

Optimal Selection of Tests for Fault Diagnosis in Multi-Path System with Time-delay. - Zhexi Yao; Lingchao Zhu; Tao Zhang 058; Jinbo Wang (J. Electron. Test., 2020)

A Space-Time Interactive Visualization Approach for Managing Remote Sensing Data. - Hai-Jun Yu; Sheng-Yang Li; Tao Zhang 058 (J. Inf. Sci. Eng., 2021)