Xiaowan Huang

According to our database, Xiaowan Huang authored at least 9 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Software monitoring with controllable overhead.

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Int. J. Softw. Tools Technol. Transf., 2012

InterAspect: aspect-oriented instrumentation with GCC.

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Formal Methods Syst. Des., 2012

2011

Using integer clocks to verify clock-synchronization protocols.

Xiaowan Huang, Anu Singh, Scott A. Smolka

Innov. Syst. Softw. Eng., 2011

2010

Aspect-Oriented Instrumentation with GCC.

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Proceedings of the Runtime Verification - First International Conference, 2010

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.

Xiaowan Huang, Anu Singh, Scott A. Smolka

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Dynamic Path Reduction for Software Model Checking.

Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2006

Deep Random Search for Efficient Model Checking of Timed Automata.

Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Compiler-assisted software verification using plug-ins.

Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Open-Source Model Checking.

Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka

Proceedings of the 3rd Workshop on Software Model Checking, 2005