According to our database1, Geng-Dian Huang authored at least 9 papers between 2003 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Complete SAT-Based Model Checking for Context-Free Processes.
Int. J. Found. Comput. Sci., 2010
LTL Model Checking for Recursive Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2009
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
Proceedings of the Testing of Software and Communicating Systems, 2008
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.
IEEE Trans. Software Eng., 2006
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol.
J. Embedded Computing, 2005
Verifying Timed and Linear Hybrid Rule-Systems with RED.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2005
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
IEEE Trans. Software Eng., 2004
Symbolic Simulation of Real-Time Concurrent Systems.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003