Xiaowan Huang, Ph.D.
Affiliations: | 2010 | Computer Science | 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:
"Xiaowan Huang"Parents
Sign in to add mentor| Scott Smolka | grad student | 2010 | SUNY Stony Brook | |
| (Compiler-assisted software model checking and monitoring.) | ||||
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. |
| Huang X, Singh A, Smolka SA. (2011) Using integer clocks to verify clock-synchronization protocols Innovations in Systems and Software Engineering. 7: 119-130 |
| Grosu R, Huang X, Jain S, et al. (2006) Open-source model checking Electronic Notes in Theoretical Computer Science. 144: 27-44 |