Xingtao Ren

According to our database¹, Xingtao Ren authored at least 2 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Verifying the safety properties of distributed systems via mergeable parallelism.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

2021

Verifying the Correctness of Distributed Systems via Mergeable Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021