Yanjun Wen

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 3

Top Topics

Highly Efficient

Top Venues

Sci. China Inf. Sci.

计算机科学

Publications

Yanjun Wen, Ji Wang
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. SOFL+MSVL (2019)
Lihua Zhu, Yanjun Wen, Wei Dong
基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). 计算机科学 44 (11) (2017)
Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen
Analyzing Math Library Functions via Summarization. QRS Companion (2016)
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) (2013)
Yuhua Qi, Xiaoguang Mao, Yanjun Wen, Ziying Dai, Bin Gu
More efficient automatic repair of large-scale programs using weak recompilation. Sci. China Inf. Sci. 55 (12) (2012)
Yanjun Wen, Ji Wang, Zhi-Chang Qi
2/3 Alternating Simulation Between Interface Automata. ICFEM (2005)
Yanjun Wen, Ji Wang, Zhi-Chang Qi
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM (2004)
Yanjun Wen, Ji Wang, Zhi-Chang Qi
Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC (2004)