Geng-Dian Huang

	2010
10		Geng-Dian Huang, Bow-Yaw Wang: Complete SAT-Based Model Checking for Context-Free Processes. Int. J. Found. Comput. Sci. 21(2): 115-134 (2010)
	2009
9		Geng-Dian Huang, Lin-Zan Cai, Farn Wang: LTL Model Checking for Recursive Programs. ATVA 2009: 382-396
	2008
8		Farn Wang, Geng-Dian Huang: Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES 2008: 234-249
	2007
7		Geng-Dian Huang, Bow-Yaw Wang: Complete SAT-Based Model Checking for Context-Free Processes. ATVA 2007: 51-65
	2006
6		Farn Wang, Geng-Dian Huang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32(7): 510-526 (2006)
	2005
5		Geng-Dian Huang, Farn Wang: Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA 2005: 144-158
4		Farn Wang, Rong-Shiung Wu, Geng-Dian Huang: Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454
3		Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embedded Computing 1(1): 39-56 (2005)
	2004
2		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): 403-417 (2004)
	2003
1		Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic Simulation of Real-Time Concurrent Systems. RTCSA 2003: 595-617

Coauthor Index

1	Lin-Zan Cai	[9]
2	Bow-Yaw Wang	[2] [7] [10]
3	Farn Wang	[1] [2] [3] [4] [5] [6] [8] [9]
4	Karsten Wolf (Karsten Schmidt)	[2]
5	Rong-Shiung Wu	[4]
6	Fang Yu	[1] [2] [3] [6]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page