Xiaoqun Du, Ph.D.
Affiliations: | 2000 | Stony Brook University, Stony Brook, NY, United States |
Area:
Logic Programming, Programming Languages, Verification.Google:
"Xiaoqun Du"Parents
Sign in to add mentor| C. R. Ramakrishnan | grad student | 2000 | SUNY Stony Brook | |
| (Tabled resolution and constraints for model checking real-time systems and infinite-state systems.) | ||||
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 |
| Du X, Ramakrishnan CR, Smolka SA. (2000) Real-time verification techniques for untimed systems Electronic Notes in Theoretical Computer Science. 39: 258-272 |
| Du X, Smolka SA, Cleaveland R. (1999) Localmodel checking and protocol analysis International Journal On Software Tools For Technology Transfer. 2: 219-241 |
| 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 |