Yifei Dong, Ph.D.
Affiliations: | 2003 | Stony Brook University, Stony Brook, NY, United States |
Area:
Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms.Google:
"Yifei Dong"Parents
Sign in to add mentorScott Smolka | grad student | 2003 | SUNY Stony Brook | |
(Performance and usability issues in model checking.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Dong Y, Du X, Holzmann GJ, et al. (2003) Fighting livelock in the GNU i-protocol: A case study in explicit-state model checking International Journal On Software Tools For Technology Transfer. 4: 505-528 |
Cui B, Dong Y, Du X, et al. (1998) Logic programming and model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 1-20 |