Geng-Dian Huang

According to our database, Geng-Dian Huang authored at least 9 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Complete SAT-Based Model Checking for Context-Free Processes.

Geng-Dian Huang, Bow-Yaw Wang

Int. J. Found. Comput. Sci., 2010

2009

LTL Model Checking for Recursive Programs.

Geng-Dian Huang, Lin-Zan Cai, Farn Wang

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.

Farn Wang, Geng-Dian Huang

Proceedings of the Testing of Software and Communicating Systems, 2008

2006

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.

Farn Wang, Geng-Dian Huang, Fang Yu

IEEE Trans. Software Eng., 2006

2005

Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol.

Farn Wang, Geng-Dian Huang, Fang Yu

J. Embed. Comput., 2005

Verifying Timed and Linear Hybrid Rule-Systems with RED.

Farn Wang, Rong-Shiung Wu, Geng-Dian Huang

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.

Geng-Dian Huang, Farn Wang

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang

IEEE Trans. Software Eng., 2004

2003

Symbolic Simulation of Real-Time Concurrent Systems.

Farn Wang, Geng-Dian Huang, Fang Yu

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003