Zhongye Wang

According to our database, Zhongye Wang authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

2024

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding.

Zhongye Wang, Qinxiang Cao, Yichen Tao

J. Autom. Reason., September, 2024

Compositionality and Observational Refinement for Linearizability with Crashes.

Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, Zhong Shao

Proc. ACM Program. Lang., 2024

A Multi-Scale Feature Extraction Method Based on Improved Transformer for Intrusion Detection.

Lijun Gu, Zhongye Wang

Int. J. Inf. Secur. Priv., 2024

2023

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.

Zhongye Wang, Qinxiang Cao, Yichen Tao

CoRR, 2023

2020

Reentrancy? Yes. Reentrancy Bug? No.

Qinxiang Cao, Zhongye Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020