We stand with Ukraine  

Xiyue Zheng

Orcid: 0009-0007-7298-6998

According to our database1, Xiyue Zheng authored at least 6 papers in 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Reproduction Package for SPIN 2025 Article 'TransVer: A Modular Program-Transformation Framework for Reduction to Reachability'.
[BibTeX]
[DOI]
Dirk Beyer
,
Marek Jankola
,
Marian Lingsch Rosenfeld
,
Tian Xia
,
Xiyue Zheng
Dataset, July, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'.
[BibTeX]
[DOI]
Dirk Beyer
,
Marek Jankola
,
Marian Lingsch Rosenfeld
,
Tian Xia
,
Xiyue Zheng
Dataset, July, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'.
[BibTeX]
[DOI]
Dirk Beyer
,
Marek Jankola
,
Marian Lingsch Rosenfeld
,
Tian Xia
,
Xiyue Zheng
Dataset, April, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reduction to Reachability'.
[BibTeX]
[DOI]
Dirk Beyer
,
Marek Jankola
,
Marian Lingsch Rosenfeld
,
Tian Xia
,
Xiyue Zheng
Dataset, April, 2025

A Modular Program-Transformation Framework for Reducing Specifications to Reachability.
[BibTeX]
[DOI]
Dirk Beyer
,
Marek Jankola
,
Marian Lingsch Rosenfeld
,
Tian Xia
,
Xiyue Zheng
CoRR, January, 2025

TransVer: A Modular Program-Transformation Framework for Reduction to Reachability.
[BibTeX]
[DOI]
Dirk Beyer
,
Marek Jankola
,
Marian Lingsch Rosenfeld
,
Tian Xia
,
Xiyue Zheng
Proceedings of the Model Checking Software - 31st International Symposium, 2025


  Loading...