Xiaoshan Liu

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 2

Top Topics

Automatic Detection

Sequence Diagrams

Safety Critical

Top Venues

IEEE Trans. Intell. Transp. Syst.

Publications

Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems. IEEE Trans. Intell. Transp. Syst. 25 (8) (2024)
Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu
Formally Verifying Sequence Diagrams for Safety Critical Systems. TASE (2020)
Qingde Kang, Xiaoshan Liu, Huixian Jia
Packings and coverings for four particular graphs each with six vertices and nine edges (λ = 1). Ars Comb. 106 (2012)
Xiaoshan Liu, Qing Liu, Guolan Fu
Texture analyse based on coefficients' relationship co-occurrence histogram. CAD/Graphics (2009)
Qi Wang, Xiaoshan Liu, Xiaowei Zheng, Chunlin Li
Minimum-Congestion Weighted Hypergraph Embedding in a Rings Cycle. CSIE (3) (2009)
Qi Wang, Xiuheng Zhao, Xiaowei Zheng, Xiaoshan Liu
A 2-Approximation Algorithm for Weighted Directed Hypergraph Embedding in a cycle. ICNC (6) (2008)
Xiaoshan Liu, Victor O. K. Li, Ping Zhang
Joint Radio Resource Management through Vertical Handoffs in 4G Networks. GLOBECOM (2006)