A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. - Xin Li 010; Mizuhito Ogawa (PDCAT, 2004)

Proxy Certificate Trust List for Grid Computing. - Xin Li 010; Mizuhito Ogawa (Inf. Media Technol., 2006)

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. - Xin Li 010; Daryl Shannon; Indradeep Ghosh; Mizuhito Ogawa; Sreeranga P. Rajan; Sarfraz Khurshid (APLAS, 2008)

Stacking-Based Context-Sensitive Points-to Analysis for Java. - Xin Li 010; Mizuhito Ogawa (Haifa Verification Conference, 2009)

An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. - Xin Li 010; Mizuhito Ogawa (BYTECODE@ETAPS, 2009)

Conditional weighted pushdown systems and applications. - Xin Li 010; Mizuhito Ogawa (PEPM, 2010)

A Formal Framework for Access Rights Analysis. - Xin Li 010; Hua Vy Le Thanh (CoRR, 2013)

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. - Xin Li 010; Yanhong Huang; Jianqi Shi; Jian Guo 005; Huibiao Zhu; Yuanmin Xu (APSEC (1), 2014)

Modeling and Verifying the TTCAN Protocol Using Timed CSP. - Qinwen Ran; Xi Wu 005; Xin Li 010; Jianqi Shi; Jian Guo 005; Huibiao Zhu (TASE, 2014)

An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems. - Hua Vy Le Thanh; Xin Li 010 (Inf. Media Technol., 2014)

A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. - Xin Li 010; Mizuhito Ogawa (ICFEM, 2017)

Generating Permission-Based Security Policies. - Xin Li 010; Hua Vy Le Thanh; Yuxin Deng; Julian Dolby (DSA, 2018)

Modeling and Verification of NLSR Protocol using UPPAAL. - Yuan Fei; Huibiao Zhu; Xin Li 010 (TASE, 2018)

Formal Analysis of the PKMv3 Protocol. - Xiaoran Zhu; Yuanmin Xu; Xin Li 010; Jian Guo 005; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2018)

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. - Xiaoran Zhu; Min Zhang 002; Jian Guo 005; Xin Li 010; Huibiao Zhu; Jifeng He 001 (IEEE Trans. Reliab., 2019)

Reachability of Patterned Conditional Pushdown Systems. - Xin Li 010; Patrick Gardy; Yuxin Deng; Hiroyuki Seki (J. Comput. Sci. Technol., 2020)

Improving Graph Neural Network by Filter Preprocessing. - Rui Zhang 115; Xin Li 010 (CSSE, 2021)

Explaining GBDT by Probabilistic Finite-State Automata. - Yinkai Chen; Rui Zhang 115; Xin Qiu; Xin Li 010; Yuxin Deng (ICCPR, 2021)

Local Interpretable Explanations for GBDT. - Xin Qiu; Rui Zhang 115; Honggang Xu; Xin Li 010 (IJCNN, 2021)

Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. - Zhihao Wang; Honggang Xu; Xin Li 010; Yuxin Deng (PAKDD (3), 2021)

Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning. - Yuhong Wang; Xin Li 010 (IEEE Access, 2021)