Ruize Tang

Hengfeng WeiSoftware Institute, Nanjing UniversityVerified email at nju.edu.cn
Yu HuangNanjing UniversityVerified email at nju.edu.cn
Xudong SunPh.D. student, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Lingzhi OuyangState Key Laboratory for Novel Software Technology, Nanjing UniversityVerified email at smail.nju.edu.cn
Xiaoxing MaProfessor of Computer Science and Technology, Nanjing UniversityVerified email at nju.edu.cn

Ruize Tang

Verified email at smail.nju.edu.cn - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Jupiter made abstract, and then refined HF Wei, RZ Tang, Y Huang, J Lv Journal of Computer Science and Technology 35, 1343-1364, 2020	1	2020
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration R Tang, X Sun, Y Huang, Y Wei, L Ouyang, X Ma Proceedings of the Nineteenth European Conference on Computer Systems, 736-753, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–2

Citations per year