Yanjun Wen

According to our database, Yanjun Wen authored at least 8 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Yanjun Wen, Ji Wang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2017

基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch).

Lihua Zhu, Yanjun Wen, Wei Dong

计算机科学, 2017

2016

Analyzing Math Library Functions via Summarization.

Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2013

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.

Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

2012

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

2005

2/3 Alternating Simulation Between Interface Automata.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Reverse Observation Equivalence Between Labelled State Transition Systems.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Proceedings of the Theoretical Aspects of Computing, 2004

Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.

Yanjun Wen, Ji Wang, Zhi-Chang Qi

Proceedings of the Formal Methods and Software Engineering, 2004