Yansong Dong

According to our database, Yansong Dong authored at least 6 papers between 2014 and 2024.

Collaborative distances:

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

2024

Neuron importance based verification of neural networks via divide and conquer.

Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan

Neurocomputing, January, 2024

Efficient verification of neural networks based on neuron branching and LP abstraction.

Liang Zhao, Xinmin Duan, Chenglong Yang, Yuehao Liu, Yansong Dong, Xiaobing Wang, Wensheng Wang

Neurocomputing, 2024

Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback.

Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2022

Improving transferability of adversarial examples by saliency distribution and data augmentation.

Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan

Comput. Secur., 2022

2019

A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.

Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng

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

2014

Realization on indoor positioning in basis of reference tag.

Chunwu Yu, Jian Zhang, Yansong Dong, Jian Pan

Int. J. Wavelets Multiresolution Inf. Process., 2014