Follow
Ruize Tang
Ruize Tang
Ph.D. student, Nanjing University
Verified email at smail.nju.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
32024
Multi-Grained Specifications for Distributed System Model Checking and Verification
L Ouyang, X Sun, R Tang, Y Huang, M Jivrajani, X Ma, T Xu
arXiv preprint arXiv:2409.14301, 2024
12024
Jupiter made abstract, and then refined
HF Wei, RZ Tang, Y Huang, J Lv
Journal of Computer Science and Technology 35, 1343-1364, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–3