2015년 一种基于约束求解的Verilog语言静态分析方法 一種基于約束求解的Verilog語言靜態分析方法 일충기우약속구해적Verilog어언정태분석방법

2014년 基于GPU平台的有效字典压缩与解压缩技术 基于GPU平檯的有效字典壓縮與解壓縮技術 기우GPU평태적유효자전압축여해압축기술

2013년 基于SPARDL的模型和程序一致性测试 基于SPARDL的模型和程序一緻性測試 기우SPARDL적모형화정서일치성측시

2007년 一种动态消减时间自动机可达性搜索空间的方法 一種動態消減時間自動機可達性搜索空間的方法 일충동태소감시간자동궤가체성수색공간적방법

2007년 UML行为图驱动的Java程序运行时验证工具 UML行為圖驅動的Java程序運行時驗證工具 UML행위도구동적Java정서운행시험증공구

2006년 时间自动机可达性分析中的状态空间约减技术综述 時間自動機可達性分析中的狀態空間約減技術綜述 시간자동궤가체성분석중적상태공간약감기술종술

2003년 二级C语言理论基础讲评 二級C語言理論基礎講評 이급C어언이론기출강평