Hua-Wei Li

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 4

Top Topics

Linear Temporal Logic

Bounded Model Checking

Testing Process

Top Venues

J. Comput. Sci. Technol.

Publications

Ying Zhang, Pengfei Ji, Pan-Wei Zhu, Zebo Peng, Hua-Wei Li, Jian-Hui Jiang
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip. J. Comput. Sci. Technol. 38 (2) (2023)
Wei-Kang Qian, Ke Chen, Wei-Qiang Liu, Hua-Wei Li
Preface. J. Comput. Sci. Technol. 38 (2) (2023)
Yun-Yi Qi, Zi-Hao Guo, Xiao-Tao Guo, Rui-Rui Guan, Bin Luo, Jing-Wu Sun, Ming Wang, Hua-Wei Li, Lin Chen
Evidence for predictions established by phantom sound. NeuroImage 264 (2022)
Hua-Wei Li
Preface. J. Comput. Sci. Technol. 36 (5) (2021)
Yu Hu, Cheng Li, Jia Li, Yinhe Han, Xiao-Wei Li, Wei Wang, Hua-Wei Li, Laung-Terng Wang, Xiaoqing Wen
Test data compression based on clustered random access scan. ATS (2006)