JieXiang Kang

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 3

Top Topics

Attention Mechanism

Specification Language

Linear Temporal Logic

Top Venues

ISPA/BDCloud/SocialCom/SustainCom

Publications

Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Xiaohong Chen, Li Han
Model Checking of Spatial Logic. APSEC (2020)
Hongze Wang, Jing Liu, JieXiang Kang, Wei Yin, Haiying Sun, Hui Wang
Feature Envy Detection based on Bi-LSTM with Self-Attention Mechanism. ISPA/BDCloud/SocialCom/SustainCom (2020)
Tengfei Li, Jing Liu, JieXiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen, Hui Wang
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. QRS (2020)