Tisheng Chen

According to our database, Tisheng Chen authored at least 1 paper in 2009.

Collaborative distances:

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

2009

MODIST: Transparent Model Checking of Unmodified Distributed Systems.

Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009