☰

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"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Scott Smolka grad student 2003 SUNY Stony Brook
 (Performance and usability issues in model checking.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

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
See more...