Geng-Dian Huang

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Geng-Dian Huang, Bow-Yaw Wang
Complete SAT-Based Model Checking for Context-Free Processes. Int. J. Found. Comput. Sci. 21 (2) (2010)
Geng-Dian Huang, Lin-Zan Cai, Farn Wang
LTL Model Checking for Recursive Programs. ATVA (2009)
Farn Wang, Geng-Dian Huang
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES (2008)
Geng-Dian Huang, Bow-Yaw Wang
Complete SAT-Based Model Checking for Context-Free Processes. ATVA (2007)
Farn Wang, Geng-Dian Huang, Fang Yu
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32 (7) (2006)
Farn Wang, Geng-Dian Huang, Fang Yu
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embed. Comput. 1 (1) (2005)
Geng-Dian Huang, Farn Wang
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA (2005)
Farn Wang, Rong-Shiung Wu, Geng-Dian Huang
Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE (2005)
Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. 30 (6) (2004)
Farn Wang, Geng-Dian Huang, Fang Yu
Symbolic Simulation of Real-Time Concurrent Systems. RTCSA (2003)