Xin Li

21 papers B 2C 3Misc 2Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2021 — conf
Explaining GBDT by Probabilistic Finite-State Automata.
ICCPR
Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng
2021 — conf
Improving Graph Neural Network by Filter Preprocessing.
CSSE
Rui Zhang, Xin Li
2021 — conf
Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping.
PAKDD (3)
Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng
2021 B conf
Local Interpretable Explanations for GBDT.
IJCNN
Xin Qiu, Rui Zhang, Honggang Xu, Xin Li
2021 J jnl
Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning.
IEEE Access
Yuhong Wang, Xin Li
2020 J jnl
Reachability of Patterned Conditional Pushdown Systems.
J. Comput. Sci. Technol.
Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki
2019 J jnl
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.
IEEE Trans. Reliab.
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
2018 J jnl
Formal Analysis of the PKMv3 Protocol.
Mob. Networks Appl.
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
2018 — conf
Generating Permission-Based Security Policies.
DSA
Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby
2018 Misc conf
Modeling and Verification of NLSR Protocol using UPPAAL.
TASE
Yuan Fei, Huibiao Zhu, Xin Li
2017 C conf
A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis.
ICFEM
Xin Li, Mizuhito Ogawa
2014 J jnl
An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems.
Inf. Media Technol.
Hua Vy Le Thanh, Xin Li
2014 Misc conf
Modeling and Verifying the TTCAN Protocol Using Timed CSP.
TASE
Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
2014 — conf
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
APSEC (1)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
2013 J jnl
A Formal Framework for Access Rights Analysis.
CoRR
Xin Li, Hua Vy Le Thanh
2010 C conf
Conditional weighted pushdown systems and applications.
PEPM
Xin Li, Mizuhito Ogawa
2009 — conf
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.
BYTECODE@ETAPS
Xin Li, Mizuhito Ogawa
2009 — conf
Stacking-Based Context-Sensitive Points-to Analysis for Java.
Haifa Verification Conference
Xin Li, Mizuhito Ogawa
2008 B conf
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.
APLAS
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
2006 J jnl
Proxy Certificate Trust List for Grid Computing.
Inf. Media Technol.
Xin Li, Mizuhito Ogawa
2004 C conf
A Lightweight Mutual Authentication Based on Proxy Certificate Trust List.
PDCAT
Xin Li, Mizuhito Ogawa