Xin Li

According to our database, Xin Li authored at least 21 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning.

Yuhong Wang, Xin Li

IEEE Access, 2021

Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping.

Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2021

Local Interpretable Explanations for GBDT.

Xin Qiu, Rui Zhang, Honggang Xu, Xin Li

Proceedings of the International Joint Conference on Neural Networks, 2021

Explaining GBDT by Probabilistic Finite-State Automata.

Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng

Proceedings of the ICCPR '21: 10th International Conference on Computing and Pattern Recognition, Shanghai, China, October 15, 2021

Improving Graph Neural Network by Filter Preprocessing.

Rui Zhang, Xin Li

Proceedings of the CSSE 2021: 2021 4th International Conference on Computer Science and Software Engineering, Singapore, October 22, 2021

2020

Reachability of Patterned Conditional Pushdown Systems.

Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki

J. Comput. Sci. Technol., 2020

2019

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.

Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He

IEEE Trans. Reliab., 2019

2018

Formal Analysis of the PKMv3 Protocol.

Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2018

Modeling and Verification of NLSR Protocol using UPPAAL.

Yuan Fei, Huibiao Zhu, Xin Li

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Generating Permission-Based Security Policies.

Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2017

A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis.

Xin Li, Mizuhito Ogawa

Proceedings of the Formal Methods and Software Engineering, 2017

2014

An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems.

Hua Vy Le Thanh, Xin Li

Inf. Media Technol., 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.

Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A Formal Framework for Access Rights Analysis.

Xin Li, Hua Vy Le Thanh

CoRR, 2013

2010

Conditional weighted pushdown systems and applications.

Xin Li, Mizuhito Ogawa

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2009

An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.

Xin Li, Mizuhito Ogawa

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

Stacking-Based Context-Sensitive Points-to Analysis for Java.

Xin Li, Mizuhito Ogawa

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2006

Proxy Certificate Trust List for Grid Computing.

Xin Li, Mizuhito Ogawa

Inf. Media Technol., 2006

2004

A Lightweight Mutual Authentication Based on Proxy Certificate Trust List.

Xin Li, Mizuhito Ogawa

Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004