Geng-Dian Huang

发表

Complete SAT-Based Model Checking for Context-Free Processes

Bow-Yaw Wang, Geng-Dian Huang, 2007, ATVA.

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

Farn Wang, Geng-Dian Huang, Farn Wang, 2008, TestCom/FATES.

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

Farn Wang, Fang Yu, Karsten Wolf, 2004, IEEE Transactions on Software Engineering.

Complete SAT-Based Model Checking for Context-Free Processes

Bow-Yaw Wang, Geng-Dian Huang, 2010, Int. J. Found. Comput. Sci..

Verifying Timed and Linear Hybrid Rule-Systems with RED

Farn Wang, Geng-Dian Huang, Rong-Shiung Wu, 2005, SEKE.

Symbolic Simulation of Real-Time Concurrent Systems

Farn Wang, Fang Yu, Geng-Dian Huang, 2003, RTCSA.

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

Farn Wang, Geng-Dian Huang, 2005, ATVA.

LTL Model Checking for Recursive Programs

Farn Wang, Geng-Dian Huang, Lin-Zan Cai, 2009, ATVA.

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

Farn Wang, Fang Yu, Geng-Dian Huang, 2005, J. Embed. Comput..

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

Farn Wang, Fang Yu, Geng-Dian Huang, 2006, IEEE Transactions on Software Engineering.