Xin Li

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 5

Top Topics

Expectation Maximization

Linear Temporal Logic

Compact Data Structure

Matching Algorithm

Top Venues

IEEE Trans. Reliab.

Mob. Networks Appl.

Inf. Media Technol.

IEEE Trans. Ind. Informatics

Publications

Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. Ind. Informatics 18 (7) (2022)
Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. J. Circuits Syst. Comput. 28 (10) (2019)
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23 (1) (2018)
Xin Li, Mizuhito Ogawa
A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. ICFEM (2017)
Hua Vy Le Thanh, Xin Li
An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems. Inf. Media Technol. 9 (4) (2014)
Xin Li, Mizuhito Ogawa
Conditional weighted pushdown systems and applications. PEPM (2010)
Xin Li, Mizuhito Ogawa
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Xin Li, Mizuhito Ogawa
Stacking-Based Context-Sensitive Points-to Analysis for Java. Haifa Verification Conference (2009)
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS (2008)
Xin Li, Mizuhito Ogawa
Proxy Certificate Trust List for Grid Computing. Inf. Media Technol. 1 (1) (2006)
Xin Li, Mizuhito Ogawa
A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. PDCAT (2004)