Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. - Yanjun Wen; Ji Wang 001; Zhi-Chang Qi (ICFEM, 2004)

Reverse Observation Equivalence Between Labelled State Transition Systems. - Yanjun Wen; Ji Wang 001; Zhi-Chang Qi (ICTAC, 2004)

2/3 Alternating Simulation Between Interface Automata. - Yanjun Wen; Ji Wang 001; Zhi-Chang Qi (ICFEM, 2005)

More efficient automatic repair of large-scale programs using weak recompilation. - Yuhua Qi; Xiaoguang Mao; Yanjun Wen; Ziying Dai; Bin Gu (Sci. China Inf. Sci., 2012)

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. - Xueguang Wu; Yanjun Wen; Liqian Chen; Wei Dong 006; Ji Wang 001 (SERE (Companion), 2013)

Analyzing Math Library Functions via Summarization. - Jiahong Jiang; Liqian Chen; Yanjun Wen; Wei Dong 006; Ling Wen (QRS Companion, 2016)

基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). - Lihua Zhu; Yanjun Wen; Wei Dong 006 (计算机科学, 2017)

Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. - Yanjun Wen; Ji Wang 001 (SOFL+MSVL, 2019)