Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving. - Shujun Deng; Weimin Wu; Jinian Bian (CSCWD, 2006)

Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. - Shujun Deng; Weimin Wu; Jinian Bian (CSCWD (Selected Papers), 2006)

EHSAT Modeling from Algorithm Description for RTL Model Checking. - Xiaoqing Yang; Jinian Bian; Shujun Deng; Yanni Zhao (ATS, 2007)

EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure. - Shujun Deng; Jinian Bian; Weimin Wu; Xiaoqing Yang; Yanni Zhao (DAC, 2007)

Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints. - Shujun Deng; Zhiqiu Kong; Jinian Bian; Yanni Zhao (ASP-DAC, 2009)

Random stimulus generation with self-tuning. - Yanni Zhao; Jinian Bian; Shujun Deng; Zhiqiu Kong (CSCWD, 2009)

Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory. - Yanni Zhao; Jinian Bian; Shujun Deng; Zhiqiu Kong; Kang Zhao (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Mutation-based diagnostic test generation for hardware design error diagnosis. - Shujun Deng; Kwang-Ting Cheng; Jinian Bian; Zhiqiu Kong (ITC, 2010)

Research of Remote Sensing Image Compression Technology Based on Compressed Sensing. - Tong Yu; Shujun Deng (IGTA, 2015)