Xiaowan Huang

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Object Oriented

Software Quality

Business Applications

Software Packages

Top Venues

Int. J. Softw. Tools Technol. Transf.

Formal Methods Syst. Des.

Publications

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. 41 (3) (2012)
Xiaowan Huang, Anu Singh, Scott A. Smolka
Using integer clocks to verify clock-synchronization protocols. Innov. Syst. Softw. Eng. 7 (2) (2011)
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Aspect-Oriented Instrumentation with GCC. RV (2010)
Xiaowan Huang, Anu Singh, Scott A. Smolka
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol. NASA Formal Methods (2010)
Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu
Dynamic Path Reduction for Software Model Checking. IFM (2009)
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka
Open-Source Model Checking. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok
Compiler-assisted software verification using plug-ins. IPDPS (2006)
Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis
Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop (2006)