Research Associate Professor
School of Computer Science and Software Engineering
East China Normal University
Email: ab AT sei.ecnu.edu.cn where a = xin and b = li
Phone: +86 21 62224382
Office: B1116, Science Building
3663 North Zhongshan Road
Shanghai 200062, China
Current Research Projects
- Higher-order model checking and its applications
- Interdisciplinary research in machine learning and law
- Program analysis and verification
Recent Publications
- Zhihao Wang, Xin Li.
Hybrid-TE: Hybrid Translation-based Temporal Knowledge Graph Embedding.
The 31st International Conference on Tools with Artificial Intelligence (ICTAI19).
[author's refined version]
- Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby.
Generating Permission-Based Security Policies.
The 5th International Conference on Dependable Systems and Their Applications (DSA18).
- Yuan Fei, Huibiao Zhu, Xin Li.
Modeling and Verification of NLSR protocol Using UPPAAL.
The 12th International Symposium on Theorectical Aspects of Software Engineering (TASE18).
-
Xin Li. Reachability Analysis of Conditional Pushdown Systems with Patterns.
Oral presentation at the 2nd National conference on formal methods and applications (FMAC17).
- Xin Li, Naoki Kobayashi.
Equivalence-Based Abstraction Refinement for muHORS Model Checking.
The 14th International Symposium on Automated Technology for Verification and Analysis (ATVA16).
[author's long version with fixes]
- Naoki Kobayashi, Xin Li.
Automata-Based Abstraction Refinement for muHORS Model Checking.
The 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS15).
[author's long version]
- Hua Vy Le Thanh, Xin Li.
An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems.
IPSJ Transactions on Programming, 7(4),1-7, 2014.
[author's long version]
Teaching
- Spring 2020, Data Structures and Algorithms (undergraduates)
- Fall 2019, Design and Analysis of Algorithms (master students)
- Fall 2018, Design and Analysis of Algorithms (master students)