Weidong Deng

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Symbolic Model Checking

Conceptual Model

Service Platform

Formal Verification

Top Venues

Comput. Syst. Sci. Eng.

Publications

Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng. 45 (2) (2023)
Weidong Deng, Yun Liu
Chinese Triple Extraction Based on BERT Model. IMCOM (2021)