Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction.

Yanjun Wen Yanjun Wen Ji Wang 0001 Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction. 3-12 2019 SOFL+MSVL https://doi.org/10.1007/978-3-030-41418-4_1 conf/sofl/2019 db/conf/sofl/sofl2019.html#WenW19

Lihua Zhu Yanjun Wen Wei Dong 0006 基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). 64-68 2017 44 计算机科学 11 https://doi.org/10.11896/j.issn.1002-137X.2017.11.010 http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2017.11.010 db/journals/jsjkx/jsjkx44.html#ZhuW018

Jiahong Jiang Liqian Chen Yanjun Wen Wei Dong 0006 Ling Wen Analyzing Math Library Functions via Summarization. 259-264 2016 QRS Companion https://doi.org/10.1109/QRS-C.2016.39 conf/qrs/2016c db/conf/qrs/qrs2016c.html#JiangCWDW16 Xueguang Wu Yanjun Wen Liqian Chen Wei Dong 0006 Ji Wang 0001 Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. 204-210 2013 SERE (Companion) https://doi.org/10.1109/SERE-C.2013.33 conf/ssiri/2013c db/conf/ssiri/sere2013c.html#WuWCDW13

Yuhua Qi Xiaoguang Mao Yanjun Wen Ziying Dai Bin Gu More efficient automatic repair of large-scale programs using weak recompilation. 2785-2799 2012 55 Sci. China Inf. Sci. 12 https://doi.org/10.1007/s11432-012-4741-1 db/journals/chinaf/chinaf55.html#QiMWDG12

Yanjun Wen Ji Wang 0001 Zhi-Chang Qi 2/3 Alternating Simulation Between Interface Automata. 173-187 2005 conf/icfem/2005 ICFEM https://doi.org/10.1007/11576280_13 db/conf/icfem/icfem2005.html#WenWQ05 Yanjun Wen Ji Wang 0001 Zhi-Chang Qi Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. 259-273 https://doi.org/10.1007/978-3-540-30482-1_25 2004 conf/icfem/2004 ICFEM db/conf/icfem/icfem2004.html#WenWQ04 Yanjun Wen Ji Wang 0001 Zhi-Chang Qi Reverse Observation Equivalence Between Labelled State Transition Systems. 204-219 https://doi.org/10.1007/978-3-540-31862-0_16 2004 conf/ictac/2004 ICTAC db/conf/ictac/ictac2004.html#WenWQ04 Liqian Chen Ziying Dai Wei Dong 0006 Bin Gu Jiahong Jiang Xiaoguang Mao Yuhua Qi Zhichang QiZhi-Chang Qi Ji Wang 0001 Ling Wen Xueguang Wu Lihua Zhu