Symbolic Simulation of Real-Time Concurrent Systems. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (RTCSA, 2003)

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. - Farn Wang; Karsten Schmidt 004; Fang Yu 001; Geng-Dian Huang; Bow-Yaw Wang (IEEE Trans. Software Eng., 2004)

Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. - Geng-Dian Huang; Farn Wang (ATVA, 2005)

Verifying Timed and Linear Hybrid Rule-Systems with RED. - Farn Wang; Rong-Shiung Wu; Geng-Dian Huang (SEKE, 2005)

Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (J. Embed. Comput., 2005)

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (IEEE Trans. Software Eng., 2006)

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. - Farn Wang; Geng-Dian Huang (TestCom/FATES, 2008)

LTL Model Checking for Recursive Programs. - Geng-Dian Huang; Lin-Zan Cai; Farn Wang (ATVA, 2009)

Complete SAT-Based Model Checking for Context-Free Processes. - Geng-Dian Huang; Bow-Yaw Wang (Int. J. Found. Comput. Sci., 2010)