Login / Signup
Weiran Gao
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 4
Top Topics
Fixpoint
Temporal Logic
Model Checking
Pairwise
Top Venues
SOFL+MSVL
AIPR
Comput. Chem. Eng.
</>
Publications
</>
Xinfeng Shu
,
YanLin Li
,
Weiran Gao
A JPSL Based Model Checking Approach for Java Programs.
SOFL+MSVL
(2022)
Xinfeng Shu
,
Jing Yan
,
Weiran Gao
,
Fan Zhang
Research on Military Equipment Entity Recognition and Knowledge Graph Construction Method Based on ALBERT-Bi-LSTM-CRF.
AIPR
(2021)
Xinfeng Shu
,
Zhenyu Wang
,
Weiran Gao
,
Xiaobing Wang
,
Liang Zhao
An MSVL Based Model Checking Method for Multi-threaded C Programs.
SOFL+MSVL
(2020)
Xinfeng Shu
,
Fengyun Gao
,
Weiran Gao
,
Lili Zhang
,
Xiaobing Wang
,
Liang Zhao
Model Checking Python Programs with MSVL.
SOFL+MSVL
(2019)
Fuzhen Chen
,
Hongfu Qiang
,
Weiran Gao
Coupling of smoothed particle hydrodynamics and finite volume method for two-dimensional spouted beds.
Comput. Chem. Eng.
77 (2015)