Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. - Farn Wang; Geng-Dian Hwang; Fang Yu 001 (FORTE, 2003)

TCTL Inevitability Analysis of Dense-Time Systems. - Farn Wang; Geng-Dian Hwang; Fang Yu 001 (CIAA, 2003)

A Simple and Fast Algorithm for Bluetooth Network Formation. - Yuh-Jzer Joung; Geng-Dian Hwang (NETWORKING, 2005)