Search the dblp DataBase

Publications of Author

1. Geng-Dian Huang, Farn Wang
   Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:144-158 [Conf]
   
2. Farn Wang, Geng-Dian Huang, Fang Yu
   Symbolic Simulation of Real-Time Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   RTCSA, 2003, pp:595-617 [Conf]
   
3. Farn Wang, Rong-Shiung Wu, Geng-Dian Huang
   Verifying Timed and Linear Hybrid Rule-Systems with RED. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:448-454 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:403-417 [Journal]
   
5. Farn Wang, Geng-Dian Huang, Fang Yu
   TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2006, v:32, n:7, pp:510-526 [Journal]
   
6. Geng-Dian Huang, Bow-Yaw Wang
   Complete SAT-Based Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:51-65 [Conf]
   
7. 
   LTL Model Checking for Recursive Programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. [Citation Graph (, )][DBLP]