Xiaoshan Liu

According to our database, Xiaoshan Liu authored at least 10 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automatic detection of infeasible paths in large-scale program based on program summaries.

Yukun Dong, Shuqi Wang, Lulu Zhang, Xiaoshan Liu, Shuai Liu

Sci. Comput. Program., 2025

A search-and-fill strategy to code generation for complex software requirements.

Yukun Dong, Lingjie Kong, Lulu Zhang, Shuqi Wang, Xiaoshan Liu, Shuai Liu, Mingcheng Chen

Inf. Softw. Technol., 2025

2024

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems.

Xiaohong Chen, Zhi Jin, Min Zhang, Frédéric Mallet, Xiaoshan Liu, Tingliang Zhou

IEEE Trans. Intell. Transp. Syst., August, 2024

Research on Automatic Proofreading Algorithm for English Translation Based on Neural Networks.

Xiaoshan Liu

Scalable Comput. Pract. Exp., 2024

2020

Formally Verifying Sequence Diagrams for Safety Critical Systems.

Xiaohong Chen, Frédéric Mallet, Xiaoshan Liu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2012

Packings and coverings for four particular graphs each with six vertices and nine edges (λ = 1).

Qingde Kang, Xiaoshan Liu, Huixian Jia

Ars Comb., 2012

2009

Minimum-Congestion Weighted Hypergraph Embedding in a Rings Cycle.

Qi Wang, Xiaoshan Liu, Xiaowei Zheng, Chunlin Li

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Texture analyse based on coefficients' relationship co-occurrence histogram.

Xiaoshan Liu, Qing Liu, Guolan Fu

Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008

A 2-Approximation Algorithm for Weighted Directed Hypergraph Embedding in a cycle.

Qi Wang, Xiuheng Zhao, Xiaowei Zheng, Xiaoshan Liu

Proceedings of the Fourth International Conference on Natural Computation, 2008

2006

Joint Radio Resource Management through Vertical Handoffs in 4G Networks.

Xiaoshan Liu, Victor O. K. Li, Ping Zhang

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006