Xiaowan Huang

11 papers A 1B 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A systematic survey on video frame interpolation: Advances, challenges, and future directions.
Expert Syst. Appl.
Xiaowan Huang, Shaowen Wang, Tao Xu, Zhiquan Feng, Xiaohui Yang
2025 — conf
GLFE: Video Frame Interpolation Forensics via Multi-Scale Global and Local Feature Exploitation.
WIFS
Xiaowan Huang, Tongzhen Si, Xiaohui Yang
2012 J jnl
InterAspect: aspect-oriented instrumentation with GCC.
Formal Methods Syst. Des.
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2012 J jnl
Software monitoring with controllable overhead.
Int. J. Softw. Tools Technol. Transf.
Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011 J jnl
Using integer clocks to verify clock-synchronization protocols.
Innov. Syst. Softw. Eng.
Xiaowan Huang, Anu Singh, Scott A. Smolka
2010 B conf
Aspect-Oriented Instrumentation with GCC.
RV
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2010 — conf
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.
NASA Formal Methods
Xiaowan Huang, Anu Singh, Scott A. Smolka
2009 B conf
Dynamic Path Reduction for Software Model Checking.
IFM
Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu
2006 A conf
Compiler-assisted software verification using plug-ins.
IPDPS
Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok
2006 — conf
Deep Random Search for Efficient Model Checking of Timed Automata.
Monterey Workshop
Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis
2005 — conf
Open-Source Model Checking.
SoftMC@CAV
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka