Geng-Dian Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2009
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ATVA | LTL Model Checking for Recursive Programs. | Geng-Dian Huang, Lin-Zan Cai, Farn Wang |
| 2007 | ATVA | Complete SAT-Based Model Checking for Context-Free Processes. | Geng-Dian Huang, Bow-Yaw Wang |
| 2005 | ATVA | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. | Geng-Dian Huang, Farn Wang |
| 2005 | SEKE | Verifying Timed and Linear Hybrid Rule-Systems with RED. | Farn Wang, Rong-Shiung Wu, Geng-Dian Huang |
| 2003 | RTCSA | Symbolic Simulation of Real-Time Concurrent Systems. | Farn Wang, Geng-Dian Huang, Fang Yu |