Xiaowan Huang

According to our database, Xiaowan Huang authored at least 11 papers between 2005 and 2026.

Collaborative distances:

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

2026

A systematic survey on video frame interpolation: Advances, challenges, and future directions.

Xiaowan Huang, Shaowen Wang, Tao Xu, Zhiquan Feng, Xiaohui Yang

Expert Syst. Appl., 2026

2025

GLFE: Video Frame Interpolation Forensics via Multi-Scale Global and Local Feature Exploitation.

Xiaowan Huang, Tongzhen Si, Xiaohui Yang

Proceedings of the IEEE International Workshop on Information Forensics and Security, 2025

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