Geng-Dian Huang

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Complete SAT-Based Model Checking for Context-Free Processes.
Int. J. Found. Comput. Sci., 2010

2009
LTL Model Checking for Recursive Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
Proceedings of the Testing of Software and Communicating Systems, 2008

2006
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.
IEEE Trans. Software Eng., 2006

2005
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

2004
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
IEEE Trans. Software Eng., 2004

2003
Symbolic Simulation of Real-Time Concurrent Systems.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003


  Loading...