Login / Signup
Xiaoshan Liu
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 2
Top Topics
Automatic Detection
Fault Tolerant
Sequence Diagrams
Safety Critical
Top Venues
TASE
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)