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 mentorScott 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 |