The SCEAS System
Navigation Menu

Search the dblp DataBase


Geng-Dian Huang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002