We stand with Ukraine  

Xin Li

Orcid: 0000-0002-9114-5955

Affiliations:
  • East China Normal University, Software Engineering Institute, National Trusted Embedded Software Engineering Technology Research Center, Shanghai, China


According to our database1, Xin Li authored at least 2 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems.
[BibTeX]
[DOI]
Xia Mao
,
Xin Li
,
Yanhong Huang
,
Jianqi Shi
,
Yueling Zhang
IEEE Trans. Ind. Informatics, 2022

2019
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.
[BibTeX]
[DOI]
Xin Li
,
Jian Guo
,
Yongxin Zhao
,
Xiaoran Zhu
J. Circuits Syst. Comput., 2019


  Loading...