An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. - Tao Sun 002; Linjing Zhang; Huiping Ma (SpaCCS Workshops, 2017)

An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors. - Sun Tao; Linjing Zhang; Huiping Ma (CSCWD, 2018)

Design of ZYNQ-Based Dynamic Configurable Optical Fiber Communication Test Equipment. - Jingchao Zhang; Chuanyue Lv; Huiping Ma (ICSPCC, 2020)

Ultrasonic Measurement Method of Bolt Axial Stress Based on Time Difference Compensation of Coupling Layer Thickness Change. - Enxiao Liu; Yongmeng Liu; Xiao-ming Wang; Huiping Ma; Yuanlin Chen; Chuanzhi Sun; Jiubin Tan (IEEE Trans. Instrum. Meas., 2021)