PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Huang, Geng-Dian"

Author of the publication

copydeleteadd this publication to your clipboard
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

, , , , and . IEEE Trans. Software Eng., 30 (6): 403-417 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Jianpei Geng University of Stuttgart

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

 

Other publications of authors with the same name

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering., , and . IEEE Trans. Software Eng., 32 (7): 510-526 (2006)Complete SAT-Based Model Checking for Context-Free Processes., and . Int. J. Found. Comput. Sci., 21 (2): 115-134 (2010)Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol., , and . J. Embedded Computing, 1 (1): 39-56 (2005)Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems., and . ATVA, volume 3707 of Lecture Notes in Computer Science, page 144-158. Springer, (2005)Symbolic Simulation of Real-Time Concurrent Systems., , and . RTCSA, volume 2968 of Lecture Notes in Computer Science, page 595-617. Springer, (2003)Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis., and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 234-249. Springer, (2008)Verifying Timed and Linear Hybrid Rule-Systems with RED., , and . SEKE, page 448-454. (2005)BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction., , , , and . IEEE Trans. Software Eng., 30 (6): 403-417 (2004)Complete SAT-Based Model Checking for Context-Free Processes., and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 51-65. Springer, (2007)LTL Model Checking for Recursive Programs., , and . ATVA, volume 5799 of Lecture Notes in Computer Science, page 382-396. Springer, (2009)